llvm-project/clang/lib/Sema
John McCall c07a0c7e48 Change the representation of GNU ?: expressions to use a different expression
class and to bind the shared value using OpaqueValueExpr.  This fixes an
unnoticed problem with deserialization of these expressions where the
deserialized form would lose the vital pointer-equality trait;  or rather,
it fixes it because this patch also does the right thing for deserializing
OVEs.

Change OVEs to not be a "temporary object" in the sense that copy elision is
permitted.

This new representation is not totally unawkward to work with, but I think
that's really part and parcel with the semantics we're modelling here.  In
particular, it's much easier to fix things like the copy elision bug and to
make the CFG look right.

I've tried to update the analyzer to deal with this in at least some          
obvious cases, and I think we get a much better CFG out, but the printing
of OpaqueValueExprs probably needs some work.

llvm-svn: 125744
2011-02-17 10:25:35 +00:00
..
AnalysisBasedWarnings.cpp Don't suggest -Wuninitialized fixits for uninitialized enum types. 2011-02-05 01:18:18 +00:00
AttributeList.cpp OpenCL: add support for __kernel, kernel keywords and EXTENSION, 2011-02-14 01:42:53 +00:00
CMakeLists.txt CMake: LLVM_NO_RTTI must be obsolete now! 2011-02-10 09:15:32 +00:00
CodeCompleteConsumer.cpp Implement code completion results for the Objective-C Key-Value Coding 2011-02-17 00:22:45 +00:00
DeclSpec.cpp Reject forbidden storage class specifiers in OpenCL. Patch by George Russell! 2011-02-11 19:59:54 +00:00
IdentifierResolver.cpp Rename DeclContext::getLookupContext to getRedeclContext and change its semantics slightly. No functionality change in the absence of inline namespaces. Also, change a few places where inline namespaces actually make a difference to be prepared for them. 2010-08-31 00:36:30 +00:00
JumpDiagnostics.cpp Step #1/N of implementing support for __label__: split labels into 2011-02-17 07:39:24 +00:00
Makefile BUILD_ARCHIVE is the default for libraries, no need to set it. 2010-07-18 00:14:47 +00:00
Sema.cpp Step #1/N of implementing support for __label__: split labels into 2011-02-17 07:39:24 +00:00
SemaAccess.cpp Handle delayed access in local declarations. PR9229. 2011-02-15 22:51:53 +00:00
SemaAttr.cpp Move support for "#pragma STDC FP_CONTRACT" to Parser; add Sema actions 2011-02-14 01:42:35 +00:00
SemaCXXCast.cpp Don't crash on hierarchy static_casts which appear in variable initializers. 2011-02-14 23:21:33 +00:00
SemaCXXScopeSpec.cpp Change QualType::getTypePtr() to return a const pointer, then change a 2011-01-19 06:33:43 +00:00
SemaChecking.cpp Change the representation of GNU ?: expressions to use a different expression 2011-02-17 10:25:35 +00:00
SemaCodeComplete.cpp I will not hold on to temporary StringRefs. 2011-02-17 03:19:26 +00:00
SemaDecl.cpp Step #1/N of implementing support for __label__: split labels into 2011-02-17 07:39:24 +00:00
SemaDeclAttr.cpp When parsing an out-of-line member function declaration, we must delay 2011-02-14 07:13:47 +00:00
SemaDeclCXX.cpp Save a copy expression for non-trivial copy constructions of catch variables. 2011-02-16 08:02:54 +00:00
SemaDeclObjC.cpp Check for deprecated implementation unconditionally. 2011-02-16 00:30:31 +00:00
SemaExceptionSpec.cpp Added missing IgnoreParens(). 2010-12-14 22:11:44 +00:00
SemaExpr.cpp Change the representation of GNU ?: expressions to use a different expression 2011-02-17 10:25:35 +00:00
SemaExprCXX.cpp Change the representation of GNU ?: expressions to use a different expression 2011-02-17 10:25:35 +00:00
SemaExprObjC.cpp Improve diagnostics when property names an object type of 2011-02-17 01:26:14 +00:00
SemaInit.cpp When initializing struct members, the important thing is that the "initializing" expression is 2011-02-01 00:52:10 +00:00
SemaLookup.cpp When searching for visible declarations (e.g., for code completion), 2011-02-16 01:39:26 +00:00
SemaObjCProperty.cpp Improve the diagnostic for -Wcustom-atomic-properties. Suggestion by Fariborz! 2011-01-31 23:20:03 +00:00
SemaOverload.cpp Use hasSameType in one more, hopefully, last place. 2011-02-13 20:11:42 +00:00
SemaStmt.cpp Step #1/N of implementing support for __label__: split labels into 2011-02-17 07:39:24 +00:00
SemaTemplate.cpp Tweak my fix for PR8748, and update the incorrect PR number in the test case. 2011-02-04 12:22:53 +00:00
SemaTemplateDeduction.cpp Fix whitespace. 2011-01-27 07:10:08 +00:00
SemaTemplateInstantiate.cpp Teach the evaluation of the __is_convertible_to trait to translate 2011-01-27 22:31:44 +00:00
SemaTemplateInstantiateDecl.cpp Change the context correctly when instantiating a static data member definition. 2011-02-14 20:37:25 +00:00
SemaTemplateVariadic.cpp Null initialize a few variables flagged by 2011-01-23 17:04:59 +00:00
SemaType.cpp OpenCL: semantic analysis support for cl_khr_fp64 extension 2011-02-15 19:46:23 +00:00
TargetAttributesSema.cpp Triple::MinGW64 is deprecated and removed. We can use Triple::MinGW32 instead. 2011-02-17 08:51:38 +00:00
TargetAttributesSema.h Remove Sema.h's dependency on DeclCXX.h. 2010-08-25 07:42:41 +00:00
TreeTransform.h Change the representation of GNU ?: expressions to use a different expression 2011-02-17 10:25:35 +00:00
TypeLocBuilder.h Make TypeLocBuilder an implementation detail of Sema. Nobody else should be using it 2010-12-02 00:05:49 +00:00