41 lines · c
1// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 42// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -O2 -Wno-missing-declarations -emit-llvm -o - %s | FileCheck %s3 4struct foo {5 int x,y,z;6 struct bar {7 int count;8 int array[] __attribute__((counted_by(count)));9 };10};11 12void init(void * __attribute__((pass_dynamic_object_size(0))));13 14// CHECK-LABEL: define dso_local void @test1(15// CHECK-SAME: ptr noundef [[P:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {16// CHECK-NEXT: entry:17// CHECK-NEXT: [[ARRAY:%.*]] = getelementptr inbounds nuw i8, ptr [[P]], i64 418// CHECK-NEXT: tail call void @init(ptr noundef nonnull [[ARRAY]], i64 noundef -1) #[[ATTR2:[0-9]+]]19// CHECK-NEXT: ret void20//21void test1(struct bar *p) {22 init(p->array);23}24 25struct mux {26 int count;27 int array[] __attribute__((counted_by(count)));28};29 30struct bux { struct mux x; };31 32// CHECK-LABEL: define dso_local void @test2(33// CHECK-SAME: ptr noundef [[P:%.*]]) local_unnamed_addr #[[ATTR0]] {34// CHECK-NEXT: entry:35// CHECK-NEXT: tail call void @init(ptr noundef [[P]], i64 noundef -1) #[[ATTR2]]36// CHECK-NEXT: ret void37//38void test2(struct bux *p) {39 init(p);40}41