blob: 93abb0023cfa9402a9ee0cd7c6c478a00502326e [file] [log] [blame]
Alexey Samsonova0ac3c22014-10-17 22:37:33 +00001// RUN: echo "int extra_global;" > %t.extra-source.cpp
Alexey Samsonov4f319cc2014-07-02 16:54:41 +00002// RUN: echo "global:*blacklisted_global*" > %t.blacklist
Alexey Samsonova0ac3c22014-10-17 22:37:33 +00003// RUN: %clang_cc1 -include %t.extra-source.cpp -fsanitize=address -fsanitize-blacklist=%t.blacklist -emit-llvm -o - %s | FileCheck %s
Reid Kleckner2e1538f2016-10-20 23:11:45 +00004// The blacklist file uses regexps, so Windows path backslashes.
5// RUN: echo "src:%s" | sed -e 's/\\/\\\\/g' > %t.blacklist-src
Alexey Samsonova0ac3c22014-10-17 22:37:33 +00006// RUN: %clang_cc1 -include %t.extra-source.cpp -fsanitize=address -fsanitize-blacklist=%t.blacklist-src -emit-llvm -o - %s | FileCheck %s --check-prefix=BLACKLIST-SRC
Alexey Samsonov4f319cc2014-07-02 16:54:41 +00007
8int global;
Alexey Samsonov4f319cc2014-07-02 16:54:41 +00009int dyn_init_global = global;
Douglas Katzman3ed0f642016-10-14 19:55:09 +000010int __attribute__((no_sanitize("address"))) attributed_global;
Alexey Samsonov4f319cc2014-07-02 16:54:41 +000011int blacklisted_global;
12
13void func() {
14 static int static_var = 0;
Alexey Samsonov4f319cc2014-07-02 16:54:41 +000015 const char *literal = "Hello, world!";
Alexey Samsonov4f319cc2014-07-02 16:54:41 +000016}
17
Douglas Katzman3ed0f642016-10-14 19:55:09 +000018// CHECK: !llvm.asan.globals = !{![[EXTRA_GLOBAL:[0-9]+]], ![[GLOBAL:[0-9]+]], ![[DYN_INIT_GLOBAL:[0-9]+]], ![[ATTR_GLOBAL:[0-9]+]], ![[BLACKLISTED_GLOBAL:[0-9]+]], ![[STATIC_VAR:[0-9]+]], ![[LITERAL:[0-9]+]]}
Duncan P. N. Exon Smithb3a66692014-12-15 19:10:08 +000019// CHECK: ![[EXTRA_GLOBAL]] = !{{{.*}} ![[EXTRA_GLOBAL_LOC:[0-9]+]], !"extra_global", i1 false, i1 false}
20// CHECK: ![[EXTRA_GLOBAL_LOC]] = !{!"{{.*}}extra-source.cpp", i32 1, i32 5}
21// CHECK: ![[GLOBAL]] = !{{{.*}} ![[GLOBAL_LOC:[0-9]+]], !"global", i1 false, i1 false}
22// CHECK: ![[GLOBAL_LOC]] = !{!"{{.*}}asan-globals.cpp", i32 8, i32 5}
23// CHECK: ![[DYN_INIT_GLOBAL]] = !{{{.*}} ![[DYN_INIT_LOC:[0-9]+]], !"dyn_init_global", i1 true, i1 false}
24// CHECK: ![[DYN_INIT_LOC]] = !{!"{{.*}}asan-globals.cpp", i32 9, i32 5}
Douglas Katzman3ed0f642016-10-14 19:55:09 +000025// CHECK: ![[ATTR_GLOBAL]] = !{{{.*}}, null, null, i1 false, i1 true}
Duncan P. N. Exon Smithb3a66692014-12-15 19:10:08 +000026// CHECK: ![[BLACKLISTED_GLOBAL]] = !{{{.*}}, null, null, i1 false, i1 true}
27// CHECK: ![[STATIC_VAR]] = !{{{.*}} ![[STATIC_LOC:[0-9]+]], !"static_var", i1 false, i1 false}
Douglas Katzman3ed0f642016-10-14 19:55:09 +000028// CHECK: ![[STATIC_LOC]] = !{!"{{.*}}asan-globals.cpp", i32 14, i32 14}
Duncan P. N. Exon Smithb3a66692014-12-15 19:10:08 +000029// CHECK: ![[LITERAL]] = !{{{.*}} ![[LITERAL_LOC:[0-9]+]], !"<string literal>", i1 false, i1 false}
Douglas Katzman3ed0f642016-10-14 19:55:09 +000030// CHECK: ![[LITERAL_LOC]] = !{!"{{.*}}asan-globals.cpp", i32 15, i32 25}
Alexey Samsonove7a8ccf2014-07-07 23:34:34 +000031
Douglas Katzman3ed0f642016-10-14 19:55:09 +000032// BLACKLIST-SRC: !llvm.asan.globals = !{![[EXTRA_GLOBAL:[0-9]+]], ![[GLOBAL:[0-9]+]], ![[DYN_INIT_GLOBAL:[0-9]+]], ![[ATTR_GLOBAL:[0-9]+]], ![[BLACKLISTED_GLOBAL:[0-9]+]], ![[STATIC_VAR:[0-9]+]], ![[LITERAL:[0-9]+]]}
Duncan P. N. Exon Smithb3a66692014-12-15 19:10:08 +000033// BLACKLIST-SRC: ![[EXTRA_GLOBAL]] = !{{{.*}} ![[EXTRA_GLOBAL_LOC:[0-9]+]], !"extra_global", i1 false, i1 false}
34// BLACKLIST-SRC: ![[EXTRA_GLOBAL_LOC]] = !{!"{{.*}}extra-source.cpp", i32 1, i32 5}
35// BLACKLIST-SRC: ![[GLOBAL]] = !{{{.*}} null, null, i1 false, i1 true}
36// BLACKLIST-SRC: ![[DYN_INIT_GLOBAL]] = !{{{.*}} null, null, i1 true, i1 true}
Douglas Katzman3ed0f642016-10-14 19:55:09 +000037// BLACKLIST-SRC: ![[ATTR_GLOBAL]] = !{{{.*}}, null, null, i1 false, i1 true}
Duncan P. N. Exon Smithb3a66692014-12-15 19:10:08 +000038// BLACKLIST-SRC: ![[BLACKLISTED_GLOBAL]] = !{{{.*}}, null, null, i1 false, i1 true}
39// BLACKLIST-SRC: ![[STATIC_VAR]] = !{{{.*}} null, null, i1 false, i1 true}
40// BLACKLIST-SRC: ![[LITERAL]] = !{{{.*}} null, null, i1 false, i1 true}