llvm-svn: 46370

llvm-svn: 46368

in an initializer list.

llvm-svn: 46367

handles message sends with typenames to start with.

llvm-svn: 46366

llvm-svn: 46365

llvm-svn: 46364

ParseObjCMessageExpressionBody method.

llvm-svn: 46363

llvm-svn: 46362

include the assignment expressions whose result (as in the value of the
expression) is used by other expressions.

llvm-svn: 46361

llvm-svn: 46358

llvm-svn: 46353

llvm-svn: 46343

Replace Sema::CheckVariableInitList, CheckConstantInitList, and CheckForCharArrayInitializer with CheckInitializerListTypes. The new routine now supports struct/union initializers.

This is a modified version of a patch by Eli Friedman. This version passes all of the clang tests and supports vectors:-)

Note that Eli and I are still unsatisfied the implementation of CheckInitializerListTypes(). We'd like to find a more elegant implementation. Nevertheless, this is a complex part of the standard (and may be hard to simplify). Since the complexity is localized to this routine, we can iterate without too much disruption:-)

llvm-svn: 46339

llvm-svn: 46336

line of the file, in the common case where a file ends with a newline.

llvm-svn: 46335

llvm-svn: 46330

information is not separated into a "base" and "sub" type. Eventually the
value-tracking logic will know about LValues and RValues, but not about
specialized LValues and RValues; separating the "kind" information into bits
indicating whether an ExprValue is an LValue or an RValue from the bits that
specify the actual value type makes this separation easier.

llvm-svn: 46329

Exclude vectors from Type::isScalar() predicate.

llvm-svn: 46328

llvm-svn: 46327

llvm-svn: 46326

llvm-svn: 46323

a Stmt* is a block-level expression when we INSERT a value into the map, and
not also when we QUERY a value.

llvm-svn: 46321

the value map as if the expressions were non-block-level expressions.

llvm-svn: 46319

we falsely constructed an APInt to represent the constant '1' instead of
using an APSInt (which has a sign).

llvm-svn: 46317

Added some workarounds for loss of signess information on some APSInt
operations. Considering the best route to integrate these into APSInt directly.
(FIXME's in GRConstants.cpp).

llvm-svn: 46310

llvm-svn: 46300

Added initial support for integer casting operations to GRConstants.

llvm-svn: 46298

llvm-svn: 46294

Added "multiplication" support for equality sets.

llvm-svn: 46289

llvm-svn: 46288

error instead of subtly with a mysterious one.

llvm-svn: 46287

causing problems with Dot.

llvm-svn: 46285

llvm-svn: 46284

diagnose, and took even longer to fix. It has to do with rewriting of a message
receiver which is an 'ivar' reference. Fix, however, is to remove a code which
was not doing the right thing and no longer needed.

llvm-svn: 46279

abstract "L-values" and "R-values" when doing value tracking, and expanding
constant tracking to encompass tracking disjunctive sets of possible constants.
Further, the tree-walking is more efficient, as we don't blindly recurse the
tree if we won't generate new states.

llvm-svn: 46278

llvm-svn: 46274

llvm-svn: 46268

llvm-svn: 46260

llvm-svn: 46259

llvm-svn: 46258