maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

PCH: fix a crash caused by a circular deserialization dependency 

We started by trying to deserialize decltype(func-param) in a trailing return
type, which causes the function parameter decl to be deserialized, which pulls
in the function decl, which pulls the function type, which pulls the same
decltype() in the return type, and then we crashed.

llvm-svn: 197644
This commit is contained in:
Dmitri Gribenko 2013-12-19 02:05:20 +00:00
parent 092ab4a9fe
commit b353ee1808
2 changed files with 54 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
clang/lib/Serialization/ASTReaderDecl.cpp
View File

@ -356,11 +356,14 @@ void ASTDeclReader::Visit(Decl *D) {
}
void ASTDeclReader::VisitDecl(Decl *D) {
if (D->isTemplateParameter()) {
if (D->isTemplateParameter() || D->isTemplateParameterPack() ||
isa<ParmVarDecl>(D)) {
// We don't want to deserialize the DeclContext of a template
// parameter immediately, because the template parameter might be
// used in the formulation of its DeclContext. Use the translation
// unit DeclContext as a placeholder.
// parameter or of a parameter of a function template immediately. These
// entities might be used in the formulation of its DeclContext (for
// example, a function parameter can be used in decltype() in trailing
// return type of the function). Use the translation unit DeclContext as a
// placeholder.
GlobalDeclID SemaDCIDForTemplateParmDecl = ReadDeclID(Record, Idx);
GlobalDeclID LexicalDCIDForTemplateParmDecl = ReadDeclID(Record, Idx);
Reader.addPendingDeclContextInfo(D,

47
clang/test/PCH/cxx-templates.h
View File

@ -311,3 +311,50 @@ namespace local_extern {
return sizeof(arr);
}
}
namespace rdar15468709a {
template<typename> struct decay {};
template<typename FooParamTy> auto foo(FooParamTy fooParam) -> decltype(fooParam);
template<typename BarParamTy> auto bar(BarParamTy barParam) -> decay<decltype(barParam)>;
struct B {};
void crash() {
B some;
bar(some);
}
}
namespace rdar15468709b {
template<typename> struct decay {};
template<typename... Foos> int returnsInt(Foos... foos);
template<typename... FooParamTy> auto foo(FooParamTy... fooParam) -> decltype(returnsInt(fooParam...));
template<typename... BarParamTy> auto bar(BarParamTy... barParam) -> decay<decltype(returnsInt(barParam...))>;
struct B {};
void crash() {
B some;
bar(some);
}
}
namespace rdar15468709c {
template<typename> struct decay {};
template<class... Foos> int returnsInt(Foos... foos);
template<typename FooParamTy> void foo(FooParamTy fooParam) { decltype(fooParam) a; }
template<typename BarParamTy> auto bar(BarParamTy barParam) -> decay<decltype(barParam)>;
struct B {};
void crash() {
B some;
bar(some);
}
}