1b529744cShyeongyukim // RUN: %clang -cc1 -enable-noundef-analysis -emit-llvm -o - %s | FileCheck %s -check-prefix ENABLED
2b529744cShyeongyukim // RUN: %clang -cc1 -no-enable-noundef-analysis -emit-llvm -o - %s | FileCheck %s -check-prefix DISABLED
3b529744cShyeongyukim 
4b529744cShyeongyukim union u1 {
5b529744cShyeongyukim   int val;
6b529744cShyeongyukim };
7b529744cShyeongyukim 
8b529744cShyeongyukim struct s1 {
9b529744cShyeongyukim   int val;
10b529744cShyeongyukim };
11b529744cShyeongyukim 
12b529744cShyeongyukim int indirect_callee_int(int a) { return a; }
13b529744cShyeongyukim union u1 indirect_callee_union(union u1 a) {
14b529744cShyeongyukim   return a;
15b529744cShyeongyukim }
16b529744cShyeongyukim 
17b529744cShyeongyukim static int sink;
18b529744cShyeongyukim 
19b529744cShyeongyukim static void examineValue(int x) { sink = x; }
20b529744cShyeongyukim 
21b529744cShyeongyukim // ENABLED-LABEL: @main(
22*5333447aShyeongyukim // ENABLED:    [[CALL:%.*]] = call noundef {{.*}}i32 @_Z19indirect_callee_inti(i32 noundef {{.*}}0)
23b529744cShyeongyukim // ENABLED:    [[CALL1:%.*]] = call i32 @_Z21indirect_callee_union2u1(i32 {{.*}})
24b529744cShyeongyukim // ENABLED:    [[CALL2:%.*]] = call noalias noundef nonnull i8* @_Znwm(i64 noundef 4) #[[ATTR4:[0-9]+]]
25b529744cShyeongyukim // ENABLED:    call void @_ZL12examineValuei(i32 noundef {{.*}})
26b529744cShyeongyukim // DISABLED-LABEL: @main(
27*5333447aShyeongyukim // DISABLED:    [[CALL:%.*]] = call {{.*}}i32 @_Z19indirect_callee_inti(i32 {{.*}}0)
28b529744cShyeongyukim // DISABLED:    [[CALL1:%.*]] = call i32 @_Z21indirect_callee_union2u1(i32 {{.*}})
29b529744cShyeongyukim // DISABLED:    [[CALL2:%.*]] = call noalias nonnull i8* @_Znwm(i64 4) #[[ATTR4:[0-9]+]]
30b529744cShyeongyukim // DISABLED:    call void @_ZL12examineValuei(i32 {{.*}})
31b529744cShyeongyukim int main() {
32b529744cShyeongyukim   indirect_callee_int(0);
33b529744cShyeongyukim   indirect_callee_union((union u1){0});
34b529744cShyeongyukim 
35b529744cShyeongyukim   auto s = new s1;
36b529744cShyeongyukim   examineValue(s->val);
37b529744cShyeongyukim 
38b529744cShyeongyukim   return 0;
39b529744cShyeongyukim }
40