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

PR17615: A delegating constructor initializer is a full-expression. Don't 

forget to clean up temporaries at the end of it.

llvm-svn: 194213
This commit is contained in:
Richard Smith 2013-11-07 18:45:03 +00:00
parent faed9c671e
commit 9ff62af3aa
2 changed files with 16 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
clang/lib/AST/ExprConstant.cpp
View File

@ -3623,8 +3623,11 @@ static bool HandleConstructorCall(SourceLocation CallLoc, const LValue &This,
// If it's a delegating constructor, just delegate. // If it's a delegating constructor, just delegate.
if (Definition->isDelegatingConstructor()) { if (Definition->isDelegatingConstructor()) {
CXXConstructorDecl::init_const_iterator I = Definition->init_begin(); CXXConstructorDecl::init_const_iterator I = Definition->init_begin();
if (!EvaluateInPlace(Result, Info, This, (*I)->getInit())) {
return false; FullExpressionRAII InitScope(Info);
if (!EvaluateInPlace(Result, Info, This, (*I)->getInit()))
return false;
}
return EvaluateStmt(Result, Info, Definition->getBody()) != ESR_Failed; return EvaluateStmt(Result, Info, Definition->getBody()) != ESR_Failed;
} }

11
clang/test/SemaCXX/constant-expression-cxx1y.cpp
View File

@ -887,3 +887,14 @@ namespace Bitfields {
} }
static_assert(test(), ""); static_assert(test(), "");
} }
namespace PR17615 {
struct A {
int &&r;
constexpr A(int &&r) : r(static_cast<int &&>(r)) {}
constexpr A() : A(0) {
(void)+r; // expected-note {{outside its lifetime}}
}
};
constexpr int k = A().r; // expected-error {{constant expression}} expected-note {{in call to}}
}