diff options
| author | Richard Smith <richard-llvm@metafoo.co.uk> | 2014-07-31 23:46:44 +0000 |
|---|---|---|
| committer | Richard Smith <richard-llvm@metafoo.co.uk> | 2014-07-31 23:46:44 +0000 |
| commit | 6de7a247824b4d15e97c551a919410cbce90a24f (patch) | |
| tree | 217dfefa68c7c49319cbe2c2bc8a725a293d033c /clang/test/Modules/cxx-irgen.cpp | |
| parent | b7e2f6015ae8fe44580ed242a0bca9c0001612ac (diff) | |
| download | bcm5719-llvm-6de7a247824b4d15e97c551a919410cbce90a24f.tar.gz bcm5719-llvm-6de7a247824b4d15e97c551a919410cbce90a24f.zip | |
[modules] Maintain an AST invariant across module load/save: if any declaration
of a function has a resolved exception specification, then all declarations of
the function do.
We should probably improve the AST representation to make this implicit (perhaps
only store the exception specification on the canonical declaration), but this
fixes things for now.
The testcase for this (which used to assert) also exposes the actual bug I was
trying to reduce here: we sometimes fail to emit the body of an imported
special member function definition. Fix for that to follow.
llvm-svn: 214458
Diffstat (limited to 'clang/test/Modules/cxx-irgen.cpp')
| -rw-r--r-- | clang/test/Modules/cxx-irgen.cpp | 30 |
1 files changed, 29 insertions, 1 deletions
diff --git a/clang/test/Modules/cxx-irgen.cpp b/clang/test/Modules/cxx-irgen.cpp index 4c61a3a3583..eea6b316e3f 100644 --- a/clang/test/Modules/cxx-irgen.cpp +++ b/clang/test/Modules/cxx-irgen.cpp @@ -13,10 +13,38 @@ CtorInit<int> x; // CHECK-DAG: define available_externally hidden {{signext i32|i32}} @_ZN1SIiE1gEv({{.*}} #[[ALWAYS_INLINE:.*]] align int a = S<int>::g(); -// CHECK-DAG: define available_externally {{signext i32|i32}} @_ZN1SIiE1fEv({{.*}} #[[ALWAYS_INLINE]] align int b = h(); // CHECK-DAG: define linkonce_odr {{signext i32|i32}} @_Z3minIiET_S0_S0_(i32 int c = min(1, 2); +namespace ImplicitSpecialMembers { + // CHECK-LABEL: define {{.*}} @_ZN22ImplicitSpecialMembers1DC2EOS0_( + // CHECK: call {{.*}} @_ZN22ImplicitSpecialMembers1AC1ERKS0_( + // CHECK-LABEL: define {{.*}} @_ZN22ImplicitSpecialMembers1DC2ERKS0_( + // CHECK: call {{.*}} @_ZN22ImplicitSpecialMembers1AC1ERKS0_( + // CHECK-LABEL: define {{.*}} @_ZN22ImplicitSpecialMembers1CC2EOS0_( + // CHECK: call {{.*}} @_ZN22ImplicitSpecialMembers1AC1ERKS0_( + // CHECK-LABEL: define {{.*}} @_ZN22ImplicitSpecialMembers1CC2ERKS0_( + // CHECK: call {{.*}} @_ZN22ImplicitSpecialMembers1AC1ERKS0_( + // CHECK-LABEL: define {{.*}} @_ZN22ImplicitSpecialMembers1BC2EOS0_( + // CHECK: call {{.*}} @_ZN22ImplicitSpecialMembers1AC1ERKS0_( + // CHECK-LABEL: define {{.*}} @_ZN22ImplicitSpecialMembers1BC2ERKS0_( + // FIXME CHECK-NOT: call {{.*}} @_ZN22ImplicitSpecialMembers1AC1ERKS0_( + + extern B b1; + B b2(b1); + B b3(static_cast<B&&>(b1)); + + extern C c1; + C c2(c1); + C c3(static_cast<C&&>(c1)); + + extern D d1; + D d2(d1); + D d3(static_cast<D&&>(d1)); +} + +// CHECK: define available_externally {{signext i32|i32}} @_ZN1SIiE1fEv({{.*}} #[[ALWAYS_INLINE]] align + // CHECK: attributes #[[ALWAYS_INLINE]] = {{.*}} alwaysinline |
