1 // RUN: %clang_cc1 -fsanitize=address -emit-llvm -o - %s | FileCheck %s
2 
3 // Test ignorelist functionality.
4 // RUN: echo "src:%s=init" | sed -e 's/\\/\\\\/g' > %t-file.ignorelist
5 // RUN: echo "type:PODWithCtorAndDtor=init" > %t-type.ignorelist
6 // RUN: echo "type:NS::PODWithCtor=init" >> %t-type.ignorelist
7 // RUN: %clang_cc1 -fsanitize=address -fsanitize-ignorelist=%t-file.ignorelist -emit-llvm -o - %s | FileCheck %s --check-prefix=IGNORELIST
8 // RUN: %clang_cc1 -fsanitize=address -fsanitize-ignorelist=%t-type.ignorelist -emit-llvm -o - %s | FileCheck %s --check-prefix=IGNORELIST
9 
10 struct PODStruct {
11   int x;
12 };
13 PODStruct s1;
14 
15 struct PODWithDtor {
16   ~PODWithDtor() { }
17   int x;
18 };
19 PODWithDtor s2;
20 
21 struct PODWithCtorAndDtor {
22   PODWithCtorAndDtor() { }
23   ~PODWithCtorAndDtor() { }
24   int x;
25 };
26 PODWithCtorAndDtor s3;
27 
28 namespace NS {
29 class PODWithCtor {
30 public:
31   PODWithCtor() {}
32 };
33 
34 const volatile PODWithCtor array[5][5];
35 }
36 
37 // Check that ASan init-order checking ignores structs with trivial default
38 // constructor.
39 // CHECK: !llvm.asan.globals = !{![[GLOB_1:[0-9]+]], ![[GLOB_2:[0-9]+]], ![[GLOB_3:[0-9]+]], ![[GLOB_4:[0-9]+]]
40 // CHECK: ![[GLOB_1]] = !{%struct.PODStruct* {{.*}}, i1 false, i1 false}
41 // CHECK: ![[GLOB_2]] = !{%struct.PODWithDtor* {{.*}}, i1 false, i1 false}
42 // CHECK: ![[GLOB_3]] = !{%struct.PODWithCtorAndDtor* {{.*}}, i1 true, i1 false}
43 // CHECK: ![[GLOB_4]] = !{{{.*}}class.NS::PODWithCtor{{.*}}, i1 true, i1 false}
44 
45 // IGNORELIST: !llvm.asan.globals = !{![[GLOB_1:[0-9]+]], ![[GLOB_2:[0-9]+]], ![[GLOB_3:[0-9]+]], ![[GLOB_4:[0-9]+]]}
46 // IGNORELIST: ![[GLOB_1]] = !{%struct.PODStruct* {{.*}}, i1 false, i1 false}
47 // IGNORELIST: ![[GLOB_2]] = !{%struct.PODWithDtor* {{.*}}, i1 false, i1 false}
48 // IGNORELIST: ![[GLOB_3]] = !{%struct.PODWithCtorAndDtor* {{.*}}, i1 false, i1 false}
49 // IGNORELIST: ![[GLOB_4]] = !{{{.*}}class.NS::PODWithCtor{{.*}}, i1 false, i1 false}
50