mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-28 04:16:06 +00:00
cc42df4a30
Summary: For a static object with a nontrivial destructor, clang generates an initializer function (__cxx_global_var_init) which registers that object's destructor using __cxa_atexit. However some ABIs (ARM, WebAssembly) use destructors that return 'this' instead of having void return (which does not match the signature of function pointers passed to __cxa_atexit). This results in undefined behavior when the destructors are called. All the calling conventions I know of on ARM can tolerate this, but WebAssembly requires the signatures of indirect calls to match the called function. This patch disables that direct registration of destructors for ABIs that have this-returning destructors. Subscribers: aemerson, jfb, cfe-commits, dschuff Differential Revision: http://reviews.llvm.org/D19275 llvm-svn: 269085
59 lines
1.9 KiB
C++
59 lines
1.9 KiB
C++
// RUN: %clang_cc1 %s -triple=armv7-apple-darwin10 -emit-llvm -o - -fexceptions -fcxx-exceptions | FileCheck %s
|
|
|
|
// Check that we annotate all compiler-synthesized runtime calls and
|
|
// functions with the actual ABI-determined CC. This usually doesn't
|
|
// matter as long as we're internally consistent (and the LLVM-default
|
|
// CC is consistent with the real one), but it's possible for user
|
|
// translation units to define these runtime functions (or, equivalently,
|
|
// for us to get LTO'ed with such a translation unit), and then the
|
|
// mismatch will kill us.
|
|
//
|
|
// rdar://12818655
|
|
|
|
// CHECK: [[A:%.*]] = type { double }
|
|
|
|
namespace test0 {
|
|
struct A {
|
|
double d;
|
|
A();
|
|
~A();
|
|
};
|
|
|
|
A global;
|
|
// CHECK-LABEL: define internal void @__cxx_global_var_init()
|
|
// CHECK: call [[A]]* @_ZN5test01AC1Ev([[A]]* @_ZN5test06globalE)
|
|
// CHECK-NEXT: call i32 @__cxa_atexit(void (i8*)* @__cxx_global_array_dtor, i8* null, i8* @__dso_handle) [[NOUNWIND:#[0-9]+]]
|
|
// CHECK-NEXT: ret void
|
|
|
|
// CHECK-LABEL: define internal void @__cxx_global_array_dtor(i8*)
|
|
// CHECK: call [[A]]* @_ZN5test01AD1Ev([[A]]* @_ZN5test06globalE)
|
|
// CHECK-NEXT: ret void
|
|
|
|
}
|
|
|
|
// CHECK: declare i32 @__cxa_atexit(void (i8*)*, i8*, i8*) [[NOUNWIND]]
|
|
|
|
namespace test1 {
|
|
void test() {
|
|
throw 0;
|
|
}
|
|
|
|
// CHECK-LABEL: define void @_ZN5test14testEv()
|
|
// CHECK: [[T0:%.*]] = call i8* @__cxa_allocate_exception(i32 4) [[NOUNWIND]]
|
|
// CHECK-NEXT: [[T1:%.*]] = bitcast i8* [[T0]] to i32*
|
|
// CHECK-NEXT: store i32 0, i32* [[T1]]
|
|
// CHECK-NEXT: call void @__cxa_throw(i8* [[T0]], i8* bitcast (i8** @_ZTIi to i8*), i8* null) [[NORETURN:#[0-9]+]]
|
|
// CHECK-NEXT: unreachable
|
|
}
|
|
|
|
// CHECK: declare i8* @__cxa_allocate_exception(i32)
|
|
|
|
// CHECK: declare void @__cxa_throw(i8*, i8*, i8*)
|
|
|
|
// CHECK-LABEL: define internal void @_GLOBAL__sub_I_runtimecc.cpp()
|
|
// CHECK: call void @__cxx_global_var_init()
|
|
|
|
|
|
// CHECK: attributes [[NOUNWIND]] = { nounwind }
|
|
// CHECK: attributes [[NORETURN]] = { noreturn }
|