clang/test/CodeGenCXX/ubsan-unreachable.cpp

   1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -o - %s -fsanitize=unreachable | FileCheck %s
   2
   3 void abort() __attribute__((noreturn));
   4
   5 // CHECK-LABEL: define{{.*}} void @_Z14calls_noreturnv()
   6 void calls_noreturn() {
   7   // Check absence (ptr) of call site attributes (including noreturn)
   8   // CHECK: call void @_Z5abortv(){{[^#]*}}
   9   abort();
  10
  11   // CHECK: __ubsan_handle_builtin_unreachable
  12   // CHECK: unreachable
  13 }
  14
  15 struct A {
  16   // CHECK: declare void @_Z5abortv() [[EXTERN_FN_ATTR:#[0-9]+]]
  17
  18   // CHECK-LABEL: define linkonce_odr void @_ZN1A5call1Ev
  19   void call1() {
  20     // CHECK: call void @_ZN1A16does_not_return2Ev({{.*}}){{[^#]*}}
  21     does_not_return2();
  22
  23     // CHECK: __ubsan_handle_builtin_unreachable
  24     // CHECK: unreachable
  25   }
  26
  27   // Test static members. Checks are below after `struct A` scope ends.
  28   static void does_not_return1() __attribute__((noreturn)) {
  29     abort();
  30   }
  31
  32   // CHECK-LABEL: define linkonce_odr void @_ZN1A5call2Ev
  33   void call2() {
  34     // CHECK: call void @_ZN1A16does_not_return1Ev(){{[^#]*}}
  35     does_not_return1();
  36
  37     // CHECK: __ubsan_handle_builtin_unreachable
  38     // CHECK: unreachable
  39   }
  40
  41   // Test calls through pointers to non-static member functions.
  42   typedef void (A::*MemFn)() __attribute__((noreturn));
  43
  44   // CHECK-LABEL: define linkonce_odr void @_ZN1A5call3Ev
  45   void call3() {
  46     MemFn MF = &A::does_not_return2;
  47     // CHECK: call void %{{[0-9]+\(.*}}){{[^#]*}}
  48     (this->*MF)();
  49
  50     // CHECK: __ubsan_handle_builtin_unreachable
  51     // CHECK: unreachable
  52   }
  53
  54   // Test regular members.
  55   // CHECK-LABEL: define linkonce_odr void @_ZN1A16does_not_return2Ev({{.*}})
  56   // CHECK-SAME: [[USER_FN_ATTR:#[0-9]+]]
  57   void does_not_return2() __attribute__((noreturn)) {
  58     // CHECK: call void @_Z5abortv(){{[^#]*}}
  59     abort();
  60
  61     // CHECK: call void @__ubsan_handle_builtin_unreachable
  62     // CHECK: unreachable
  63
  64     // CHECK: call void @__ubsan_handle_builtin_unreachable
  65     // CHECK: unreachable
  66   }
  67 };
  68
  69 // CHECK-LABEL: define linkonce_odr void @_ZN1A16does_not_return1Ev()
  70 // CHECK-SAME: [[USER_FN_ATTR]]
  71 // CHECK: call void @_Z5abortv(){{[^#]*}}
  72
  73 void force_irgen() {
  74   A a;
  75   a.call1();
  76   a.call2();
  77   a.call3();
  78 }
  79
  80 // `noreturn` should be removed from functions and call sites
  81 // CHECK-LABEL: attributes
  82 // CHECK-NOT: [[USER_FN_ATTR]] = { {{.*noreturn.*}} }
  83 // CHECK-NOT: [[EXTERN_FN_ATTR]] = { {{.*noreturn.*}} }