mirror of
https://github.com/Gericom/teak-llvm.git
synced 2025-06-26 06:48:51 -04:00
f623c96260
We have a new flavor of exception specification, EST_Uninstantiated. A function type with this exception specification carries a pointer to a FunctionDecl, and the exception specification for that FunctionDecl is instantiated (if needed) and used in the place of the function type's exception specification. When a function template declaration with a non-trivial exception specification is instantiated, the specialization's exception specification is set to this new 'uninstantiated' kind rather than being instantiated immediately. Expr::CanThrow has migrated onto Sema, so it can instantiate exception specs on-demand. Also, any odr-use of a function triggers the instantiation of its exception specification (the exception specification could be needed by IRGen). In passing, fix two places where a DeclRefExpr was created but the corresponding function was not actually marked odr-used. We used to get away with this, but don't any more. Also fix a bug where instantiating an exception specification which refers to function parameters resulted in a crash. We still have the same bug in default arguments, which I'll be looking into next. This, plus a tiny patch to fix libstdc++'s common_type, is enough for clang to parse (and, in very limited testing, support) all of libstdc++4.7's standard headers. llvm-svn: 154886
19 lines
527 B
C++
19 lines
527 B
C++
// RUN: %clang_cc1 -std=c++11 -verify -emit-llvm %s -o - | FileCheck %s
|
|
|
|
template<typename T> void f() noexcept(sizeof(T) == 4);
|
|
|
|
void g() {
|
|
// CHECK: declare void @_Z1fIiEvv() nounwind
|
|
f<int>();
|
|
// CHECK: declare void @_Z1fIA2_iEvv()
|
|
f<int[2]>();
|
|
// CHECK: declare void @_Z1fIfEvv() nounwind
|
|
void (*f1)() = &f<float>;
|
|
// CHECK: declare void @_Z1fIdEvv()
|
|
void (*f2)() = &f<double>;
|
|
// CHECK: declare void @_Z1fIA4_cEvv() nounwind
|
|
(void)&f<char[4]>;
|
|
// CHECK: declare void @_Z1fIcEvv()
|
|
(void)&f<char>;
|
|
}
|