clang/test/CodeGenCXX/cfi-ignorelist.cpp

   1 // RUN: %clang_cc1 -triple %itanium_abi_triple -fvisibility=hidden -fms-extensions -fsanitize=cfi-vcall -emit-llvm -o - %s | FileCheck --check-prefix=CHECK --check-prefix=NOBL %s
   2
   3 // Check that ignore listing cfi and cfi-vcall work correctly
   4 // RUN: echo "[cfi-vcall]" > %t.vcall.txt
   5 // RUN: echo "type:std::*" >> %t.vcall.txt
   6 // RUN: %clang_cc1 -triple %itanium_abi_triple -fvisibility=hidden -fms-extensions -fsanitize=cfi-vcall -fsanitize-ignorelist=%t.vcall.txt -emit-llvm -o - %s | FileCheck --check-prefix=CHECK --check-prefix=NOSTD %s
   7 //
   8 // RUN: echo "[cfi]" > %t.cfi.txt
   9 // RUN: echo "type:std::*" >> %t.cfi.txt
  10 // RUN: %clang_cc1 -triple %itanium_abi_triple -fvisibility=hidden -fms-extensions -fsanitize=cfi-vcall -fsanitize-ignorelist=%t.cfi.txt -emit-llvm -o - %s | FileCheck --check-prefix=CHECK --check-prefix=NOSTD %s
  11
  12 // Check that ignore listing non-vcall modes does not affect vcalls
  13 // RUN: echo "[cfi-icall|cfi-nvcall|cfi-cast-strict|cfi-derived-cast|cfi-unrelated-cast]" > %t.other.txt
  14 // RUN: echo "type:std::*" >> %t.other.txt
  15 // RUN: %clang_cc1 -triple %itanium_abi_triple -fvisibility=hidden -fms-extensions -fsanitize=cfi-vcall -fsanitize-ignorelist=%t.other.txt -emit-llvm -o - %s | FileCheck --check-prefix=CHECK --check-prefix=NOBL %s
  16
  17 struct S1 {
  18   virtual void f();
  19 };
  20
  21 namespace std {
  22
  23 struct S2 {
  24   virtual void f();
  25 };
  26
  27 }
  28
  29 // CHECK: define{{.*}}s1f
  30 // NOBL: llvm.type.test
  31 // NOSTD: llvm.type.test
  32 void s1f(S1 *s1) {
  33   s1->f();
  34 }
  35
  36 // CHECK: define{{.*}}s2f
  37 // NOBL: llvm.type.test
  38 // NOSTD-NOT: llvm.type.test
  39 void s2f(std::S2 *s2) {
  40   s2->f();
  41 }