| // RUN: %clang_cc1 -triple arm64-darwin -enable-noundef-analysis -emit-llvm -o - %s | FileCheck %s -check-prefix ENABLED |
| // RUN: %clang_cc1 -triple arm64-darwin -no-enable-noundef-analysis -emit-llvm -o - %s | FileCheck %s -check-prefix DISABLED |
| |
| union u1 { |
| int val; |
| }; |
| |
| struct s1 { |
| int val; |
| }; |
| |
| int indirect_callee_int(int a) { return a; } |
| union u1 indirect_callee_union(union u1 a) { |
| return a; |
| } |
| |
| static int sink; |
| |
| static void examineValue(int x) { sink = x; } |
| |
| // ENABLED-LABEL: @main( |
| // ENABLED: [[CALL:%.*]] = call noundef {{.*}}i32 @_Z19indirect_callee_inti(i32 noundef {{.*}}0) |
| // ENABLED: [[CALL1:%.*]] = call i32 @_Z21indirect_callee_union2u1(i64 {{.*}}) |
| // ENABLED: [[CALL2:%.*]] = call noalias noundef nonnull ptr @_Znwm(i64 noundef 4) #[[ATTR4:[0-9]+]] |
| // ENABLED: call void @_ZL12examineValuei(i32 noundef {{.*}}) |
| // DISABLED-LABEL: @main( |
| // DISABLED: [[CALL:%.*]] = call {{.*}}i32 @_Z19indirect_callee_inti(i32 {{.*}}0) |
| // DISABLED: [[CALL1:%.*]] = call i32 @_Z21indirect_callee_union2u1(i64 {{.*}}) |
| // DISABLED: [[CALL2:%.*]] = call noalias nonnull ptr @_Znwm(i64 4) #[[ATTR4:[0-9]+]] |
| // DISABLED: call void @_ZL12examineValuei(i32 {{.*}}) |
| int main() { |
| indirect_callee_int(0); |
| indirect_callee_union((union u1){0}); |
| |
| auto s = new s1; |
| examineValue(s->val); |
| |
| return 0; |
| } |
