]> granicus.if.org Git - clang/commit
Unlike in C++03, a constant-expression is not an unevaluated operand in C++11.
authorRichard Smith <richard-llvm@metafoo.co.uk>
Tue, 20 Dec 2011 02:08:33 +0000 (02:08 +0000)
committerRichard Smith <richard-llvm@metafoo.co.uk>
Tue, 20 Dec 2011 02:08:33 +0000 (02:08 +0000)
commitf6702a3927147655206ae729a84339c4fda4c651
tree8ce5a4586e757043987e0dcf0f523cea068f4812
parent9490ab433deef70105d817616928d700f87642d9
Unlike in C++03, a constant-expression is not an unevaluated operand in C++11.
Split out a new ExpressionEvaluationContext flag for this case, and don't treat
it as unevaluated in C++11. This fixes some crash-on-invalids where we would
allow references to class members in potentially-evaluated constant expressions
in static member functions, and also fixes half of PR10177.

The fix to PR10177 exposed a case where template instantiation failed to provide
a source location for a diagnostic, so TreeTransform has been tweaked to supply
source locations when transforming a type. The source location is still not very
good, but MarkDeclarationsReferencedInType would need to operate on a TypeLoc to
improve it further.

Also fix MarkDeclarationReferenced in C++98 mode to trigger instantiation for
static data members of class templates which are used in constant expressions.
This fixes a link-time problem, but we still incorrectly treat the member as
non-constant. The rest of the fix for that issue is blocked on PCH support for
early-instantiated static data members, which will be added in a subsequent
patch.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@146955 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Sema/Sema.h
lib/Parse/ParseExpr.cpp
lib/Sema/SemaDeclCXX.cpp
lib/Sema/SemaExpr.cpp
lib/Sema/SemaExprMember.cpp
lib/Sema/SemaTemplateInstantiateDecl.cpp
lib/Sema/SemaType.cpp
lib/Sema/TreeTransform.h
test/CXX/expr/expr.prim/expr.prim.general/p12-0x.cpp
test/CodeGenCXX/vla.cpp
test/SemaCXX/PR10177.cpp [new file with mode: 0644]