clang/test/CodeGen/asan-globals.cpp

   1 // RUN: echo "int extra_global;" > %t.extra-source.cpp
   2 // RUN: echo "global:*ignorelisted_global*" > %t.ignorelist
   3 // RUN: %clang_cc1 -include %t.extra-source.cpp -fsanitize=address -fsanitize-ignorelist=%t.ignorelist -emit-llvm -o - %s | FileCheck %s --check-prefixes=CHECK,GLOBS,ASAN
   4 // RUN: %clang_cc1 -include %t.extra-source.cpp -fsanitize=kernel-address -fsanitize-ignorelist=%t.ignorelist -emit-llvm -o - %s | FileCheck %s --check-prefixes=CHECK,GLOBS,KASAN
   5 // The ignorelist file uses regexps, so Windows path backslashes.
   6 // RUN: echo "src:%s" | sed -e 's/\\/\\\\/g' > %t.ignorelist-src
   7 // RUN: %clang_cc1 -include %t.extra-source.cpp -fsanitize=address -fsanitize-ignorelist=%t.ignorelist-src -emit-llvm -o - %s | FileCheck %s --check-prefix=IGNORELIST-SRC
   8 // RUN: %clang_cc1 -include %t.extra-source.cpp -fsanitize=kernel-address -fsanitize-ignorelist=%t.ignorelist-src -emit-llvm -o - %s | FileCheck %s --check-prefix=IGNORELIST-SRC
   9
  10 int global;
  11 int dyn_init_global = global;
  12 int __attribute__((no_sanitize("address"))) attributed_global;
  13 int __attribute__((disable_sanitizer_instrumentation)) disable_instrumentation_global;
  14 int ignorelisted_global;
  15 extern int __attribute__((no_sanitize("address"))) external_global;
  16
  17 int __attribute__((section("__DATA, __common"))) sectioned_global; // KASAN - ignore globals in a section
  18 extern "C" {
  19 int __special_global; // KASAN - ignore globals with __-prefix
  20 }
  21
  22 void func() {
  23   static int static_var = 0;
  24   const char *literal = "Hello, world!";
  25   external_global = 1;
  26 }
  27
  28 // GLOBS:     @{{.*}}extra_global{{.*}} ={{.*}} global
  29 // GLOBS-NOT: no_sanitize_address
  30 // GLOBS:     @{{.*}}global{{.*}} ={{.*}} global
  31 // GLOBS-NOT: no_sanitize_address
  32 // GLOBS:     @{{.*}}dyn_init_global{{.*}} ={{.*}} global {{.*}}, sanitize_address_dyninit
  33 // GLOBS-NOT: no_sanitize_address
  34
  35 // GLOBS:     @{{.*}}attributed_global{{.*}} ={{.*}} global {{.*}} no_sanitize_address
  36 // GLOBS:     @{{.*}}disable_instrumentation_global{{.*}} ={{.*}} global {{.*}} no_sanitize_address
  37 // GLOBS:     @{{.*}}ignorelisted_global{{.*}} ={{.*}} global {{.*}} no_sanitize_address
  38
  39 // ASAN:     @{{.*}}sectioned_global{{.*}} ={{.*}} global { i32, [28 x i8] }{{.*}}, align 32
  40 // ASAN-NOT: no_sanitize_address
  41 // ASAN:     @{{.*}}__special_global{{.*}} ={{.*}} global { i32, [28 x i8] }{{.*}}, align 32
  42 // ASAN-NOT: no_sanitize_address
  43
  44 /// Note: No attribute is added by the IR pass, but the type didn't change, so
  45 /// that checks our assertions that the globals didn't get instrumented.
  46 // KASAN:    @{{.*}}sectioned_global{{.*}} ={{.*}} global i32 {{.*}}
  47 // KASAN:    @{{.*}}__special_global{{.*}} ={{.*}} global i32 {{.*}}
  48
  49 // GLOBS:     @{{[^ ]*}}static_var{{[^ ]*}} ={{.*}} global {{.*}}
  50 // GLOBS-NOT: no_sanitize_address
  51 // GLOBS:     @{{.*}} = {{.*}}c"Hello, world!\00"
  52 // GLOBS-NOT: no_sanitize_address
  53
  54 // GLOBS: @{{.*}}external_global{{.*}} ={{.*}} no_sanitize_address
  55
  56 /// Without -fasynchronous-unwind-tables, ctor and dtor get the uwtable attribute.
  57 // CHECK-LABEL: define internal void @asan.module_ctor() #[[#ATTR:]] {
  58 // ASAN-NEXT: call void @__asan_init
  59 // ASAN-NEXT: call void @__asan_version_mismatch_check
  60 // KASAN-NOT: call void @__asan_init
  61 // KASAN-NOT: call void @__asan_version_mismatch_check
  62 // ASAN-NEXT: call void @__asan_register_globals({{.*}}, i{{32|64}} 7)
  63 // KASAN-NEXT: call void @__asan_register_globals({{.*}}, i{{32|64}} 5)
  64 // CHECK-NEXT: ret void
  65
  66 // CHECK:      define internal void @asan.module_dtor() #[[#ATTR]] {
  67 // CHECK-NEXT: call void @__asan_unregister_globals
  68 // CHECK-NEXT: ret void
  69
  70 // CHECK: attributes #[[#ATTR]] = { nounwind }
  71
  72 /// If -fasynchronous-unwind-tables, set the module flag "uwtable". ctor/dtor
  73 /// will thus get the uwtable attribute.
  74 // RUN: %clang_cc1 -emit-llvm -fsanitize=address -funwind-tables=2 -o - %s | FileCheck %s --check-prefixes=UWTABLE
  75 // UWTABLE: define internal void @asan.module_dtor() #[[#ATTR:]] {
  76 // UWTABLE: attributes #[[#ATTR]] = { nounwind uwtable }
  77 // UWTABLE: ![[#]] = !{i32 7, !"uwtable", i32 2}
  78
  79 // IGNORELIST-SRC:     @{{.*}}extra_global{{.*}} ={{.*}} global
  80 // IGNORELIST-SRC-NOT: no_sanitize_address
  81 // IGNORELIST-SRC:     @{{.*}}global{{.*}} ={{.*}} global {{.*}} no_sanitize_address
  82 // IGNORELIST-SRC:     @{{.*}}dyn_init_global{{.*}} ={{.*}} global {{.*}} no_sanitize_address
  83 // IGNORELIST-SRC:     @{{.*}}attributed_global{{.*}} ={{.*}} global {{.*}} no_sanitize_address
  84 // IGNORELIST-SRC:     @{{.*}}disable_instrumentation_global{{.*}} ={{.*}} global {{.*}} no_sanitize_address
  85 // IGNORELIST-SRC:     @{{.*}}ignorelisted_global{{.*}} ={{.*}} global {{.*}} no_sanitize_address
  86 // IGNORELIST-SRC:     @{{.*}}sectioned_global{{.*}} ={{.*}} global {{.*}} no_sanitize_address
  87 // IGNORELIST-SRC:     @{{.*}}__special_global{{.*}} ={{.*}} global {{.*}} no_sanitize_address
  88 // IGNORELIST-SRC:     @{{.*}}static_var{{.*}} ={{.*}} global {{.*}} no_sanitize_address
  89 // IGNORELIST-SRC:     @{{.*}} ={{.*}} c"Hello, world!\00"{{.*}} no_sanitize_address
  90 // IGNORELIST-SRC:     @{{.*}}external_global{{.*}} ={{.*}} no_sanitize_address