clang/test/CodeGenCXX/ubsan-function-noexcept.cpp

   1 // RUN: %clang_cc1 -std=c++17 -fsanitize=function -emit-llvm -triple x86_64-linux-gnu %s -o - | FileCheck %s
   2
   3 // Check that typeinfo recorded in function prolog doesn't have "Do" noexcept
   4 // qualifier in its mangled name.
   5 // CHECK: [[PROXY:@.*]] = private unnamed_addr constant ptr @_ZTIFvvE
   6 // CHECK: define{{.*}} void @_Z1fv() #{{.*}} !func_sanitize ![[FUNCSAN:.*]] {
   7 void f() noexcept {}
   8
   9 // CHECK: define{{.*}} void @_Z1gPDoFvvE
  10 void g(void (*p)() noexcept) {
  11   // Check that reference typeinfo at call site doesn't have "Do" noexcept
  12   // qualifier in its mangled name, either.
  13   // CHECK: icmp eq ptr %{{.*}}, @_ZTIFvvE, !nosanitize
  14   p();
  15 }
  16
  17 // CHECK: ![[FUNCSAN]] = !{i32 846595819, ptr [[PROXY]]}