maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
346,921 Commits 23 Branches 0 Tags 2.2 GiB
Commit Graph

117 Commits

Author SHA1 Message Date
John McCall 7decc9e4ea Calculate the value kind of an expression when it's created and 
store it on the expression node.  Also store an "object kind",
which distinguishes ordinary "addressed" l-values (like
variable references and pointer dereferences) and bitfield,
@property, and vector-component l-values.

Currently we're not using these for much, but I aim to switch
pretty much everything calculating l-valueness over to them.
For now they shouldn't necessarily be trusted.

llvm-svn: 119685
 2010-11-18 06:31:45 +00:00
John McCall 07bb19667a Simplify some complex emission and implement correct semantics for 
assignment to volatiles in C.  This in effect reverts some of mjs's
work in and around r72572.  Basically, the C++ standard is quite
clear, except that it lies about volatile behavior approximating
C's, whereas the C standard is almost actively misleading.

llvm-svn: 119344
 2010-11-16 10:08:07 +00:00
John McCall 8d69a2160e Add a new expression kind, OpaqueValueExpr, which is useful for 
certain internal type-checking procedures as well as for representing
certain implicitly-generated operations.  Uses to follow.

llvm-svn: 119289
 2010-11-15 23:31:06 +00:00
Fariborz Jahanian 681c0754d9 Eliminate usage of ObjCSuperExpr used for 
'super' as receiver of property or a setter/getter
methods. //rdar: //8525788

llvm-svn: 116483
 2010-10-14 16:04:05 +00:00
Douglas Gregor e572b068ab Fix classification of statement expressions. 
llvm-svn: 113917
 2010-09-15 01:37:48 +00:00
Fariborz Jahanian 805b74ea30 RHS of property expression assignment requires 
copy initialization before passing it to 
a setter. Fixes radar 8427922.

llvm-svn: 113885
 2010-09-14 23:02:38 +00:00
Douglas Gregor 4e4425030a Eliminate the default case in the expression-classification code, so 
that we're sure to keep it updated when new expression kinds
emerge. Also fixes a few little bugs in the classification of
expressions.

llvm-svn: 113864
 2010-09-14 21:51:42 +00:00
Fariborz Jahanian e89d03f619 property reference expression used on lhs of assignment 
follows objective's semantics and is not overload'able
with an assignment operator. Fixes a crash and a missing
diagnostics. Radar 8379892.

llvm-svn: 113555
 2010-09-09 23:01:10 +00:00
John McCall 8d08b9b408 Propagate whether an id-expression is the immediate argument of 
an '&' expression from the second caller of ActOnIdExpression.

Teach template argument deduction that an overloaded id-expression
doesn't give a valid type for deduction purposes to a non-static
member function unless the expression has the correct syntactic
form.

Teach ActOnIdExpression that it shouldn't try to create implicit
member expressions for '&function', because this isn't a        
permitted form of use for member functions.

Teach CheckAddressOfOperand to diagnose these more carefully.
Some of these cases aren't reachable right now because earlier
diagnostics interrupt them.

llvm-svn: 112258
 2010-08-27 09:08:28 +00:00
John McCall e302792b61 GCC didn't care for my attempt at API compatibility, so brute-force everything 
to the new constants.

llvm-svn: 112047
 2010-08-25 11:45:40 +00:00
John McCall 2536c6da0e More incremental progress towards not including Expr.h in Sema.h. 
llvm-svn: 112044
 2010-08-25 10:28:54 +00:00
Sebastian Redl c57d34bc35 Update ImplicitCastExpr to be able to represent an XValue. 
llvm-svn: 108807
 2010-07-20 04:20:21 +00:00
Douglas Gregor 747eb7840a Reinstate the fix for PR7556. A silly use of isTrivial() was 
suppressing copies of objects with trivial copy constructors.

llvm-svn: 107857
 2010-07-08 06:14:04 +00:00
Douglas Gregor e182370eda Revert r107828 and r107827, the fix for PR7556, which seems to be 
breaking bootstrap on Linux.

llvm-svn: 107837
 2010-07-07 23:37:33 +00:00
Douglas Gregor 6df2b8c3ac Rename CXXZeroInitValueExpr to CXXScalarValueInitExpr, to reflect its 
newly-narrowed scope. No functionality change.

llvm-svn: 107828
 2010-07-07 22:43:56 +00:00
Chandler Carruth 8337ba6303 Prefer llvm_unreachable(...) to assert(false && ...). This is important as 
without it we might exit a non-void function without returning.

llvm-svn: 107106
 2010-06-29 00:23:11 +00:00
Sebastian Redl f9463106b3 Introduce Expr::Classify and Expr::ClassifyModifiable, which determine the classification of an expression under the C++0x taxology (value category). Reimplement isLvalue and isModifiableLvalue using these functions. No regressions in the test suite from this, and my rough performance check doesn't show any regressions either. 
llvm-svn: 107007
 2010-06-28 15:09:07 +00:00