1*7c3d14c8STreehugger Robot // RUN: %clangxx_cfi -o %t1 %s 2*7c3d14c8STreehugger Robot // RUN: %expect_crash %t1 2>&1 | FileCheck --check-prefix=CFI %s 3*7c3d14c8STreehugger Robot 4*7c3d14c8STreehugger Robot // RUN: %clangxx_cfi -DB32 -o %t2 %s 5*7c3d14c8STreehugger Robot // RUN: %expect_crash %t2 2>&1 | FileCheck --check-prefix=CFI %s 6*7c3d14c8STreehugger Robot 7*7c3d14c8STreehugger Robot // RUN: %clangxx_cfi -DB64 -o %t3 %s 8*7c3d14c8STreehugger Robot // RUN: %expect_crash %t3 2>&1 | FileCheck --check-prefix=CFI %s 9*7c3d14c8STreehugger Robot 10*7c3d14c8STreehugger Robot // RUN: %clangxx_cfi -DBM -o %t4 %s 11*7c3d14c8STreehugger Robot // RUN: %expect_crash %t4 2>&1 | FileCheck --check-prefix=CFI %s 12*7c3d14c8STreehugger Robot 13*7c3d14c8STreehugger Robot // RUN: %clangxx -o %t5 %s 14*7c3d14c8STreehugger Robot // RUN: %t5 2>&1 | FileCheck --check-prefix=NCFI %s 15*7c3d14c8STreehugger Robot 16*7c3d14c8STreehugger Robot // RUN: %clangxx_cfi_diag -o %t6 %s 17*7c3d14c8STreehugger Robot // RUN: %t6 2>&1 | FileCheck --check-prefix=CFI-DIAG %s 18*7c3d14c8STreehugger Robot 19*7c3d14c8STreehugger Robot // Tests that the CFI enforcement also applies to virtual destructor calls made 20*7c3d14c8STreehugger Robot // via 'delete'. 21*7c3d14c8STreehugger Robot 22*7c3d14c8STreehugger Robot // REQUIRES: cxxabi 23*7c3d14c8STreehugger Robot 24*7c3d14c8STreehugger Robot #include <stdio.h> 25*7c3d14c8STreehugger Robot #include "utils.h" 26*7c3d14c8STreehugger Robot 27*7c3d14c8STreehugger Robot struct A { 28*7c3d14c8STreehugger Robot virtual ~A(); 29*7c3d14c8STreehugger Robot }; 30*7c3d14c8STreehugger Robot ~A()31*7c3d14c8STreehugger RobotA::~A() {} 32*7c3d14c8STreehugger Robot 33*7c3d14c8STreehugger Robot struct B { 34*7c3d14c8STreehugger Robot virtual ~B(); 35*7c3d14c8STreehugger Robot }; 36*7c3d14c8STreehugger Robot ~B()37*7c3d14c8STreehugger RobotB::~B() {} 38*7c3d14c8STreehugger Robot main()39*7c3d14c8STreehugger Robotint main() { 40*7c3d14c8STreehugger Robot create_derivers<B>(); 41*7c3d14c8STreehugger Robot 42*7c3d14c8STreehugger Robot A *a = new A; 43*7c3d14c8STreehugger Robot break_optimization(a); 44*7c3d14c8STreehugger Robot 45*7c3d14c8STreehugger Robot // CFI: 1 46*7c3d14c8STreehugger Robot // NCFI: 1 47*7c3d14c8STreehugger Robot fprintf(stderr, "1\n"); 48*7c3d14c8STreehugger Robot 49*7c3d14c8STreehugger Robot // CFI-DIAG: runtime error: control flow integrity check for type 'B' failed during virtual call 50*7c3d14c8STreehugger Robot // CFI-DIAG-NEXT: note: vtable is of type '{{(struct )?}}A' 51*7c3d14c8STreehugger Robot delete (B *)a; // UB here 52*7c3d14c8STreehugger Robot 53*7c3d14c8STreehugger Robot // CFI-NOT: {{^2$}} 54*7c3d14c8STreehugger Robot // NCFI: {{^2$}} 55*7c3d14c8STreehugger Robot fprintf(stderr, "2\n"); 56*7c3d14c8STreehugger Robot } 57