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

llvm-svn: 46257

noticing this!

llvm-svn: 46256

llvm-svn: 46255

llvm-svn: 46253

llvm-svn: 46252

- Add Sema::CheckStringLiteralInit, Sema::IsStringLiteralInit.
- Use previous hooks to simplify Sema::CheckInitializerTypes()...

llvm-svn: 46235

llvm-svn: 46234

llvm-svn: 46233

a method.

llvm-svn: 46232

Add a predicate/getter when checking for incomplete array types ("[]").

llvm-svn: 46231

llvm-svn: 46230

llvm-svn: 46212

llvm-svn: 46196

llvm-svn: 46185

Fix two bugs with an @throw that doesn't have a statement.
- ObjCAtThrowStmt::getSourceRange() needs to check if it has a statement (and not go "boom":-)
- RewriteTest::RewriteObjCThrowStmt() needs to generate refer to the current exception. 

llvm-svn: 46184

llvm-svn: 46183

llvm-svn: 46182

Sema::FinalizeDeclaratorGroup(): Tighten up the tentative definition rule when dealing with arrays.

Bug submitted by Eli.

llvm-svn: 46179

Assert that the type of the cast is equal to the _unqualified_ type of the subexpression. Fixes a problem spotted by Nuno Lopes.

llvm-svn: 46158

llvm-svn: 46155

use ImmutableMap::SlimFind(), which returns the correct value.

Added pruning of dead block-level expressions and Decls from our value map
using liveness information.

llvm-svn: 46154

dead at an assignment without taking into account if the variable was used in
the RHS of the assignment.

llvm-svn: 46153

Sema::FinalizeDeclaratorGroup()...make sure we emit an diagnostic for tentative definitions with incomplete types. Touch up all test cases that are effected.

llvm-svn: 46152

the position *before* a statement, regardless of whether we are doing a
forward or backwards analysis.

llvm-svn: 46151

is because GNU-style Statement-expressions cause the last statement in the
statement-expression to act like an expression.

We now have two notions: block-level statements and block-level expressions.

The former are all Stmt* that appear in the list of statements in CFGBlocks. The
latter is the subset of the former; these block-level statements are used as
subexpressions somewhere in the AST. CFG::isBlockExpr() returns true for the
latter, not the former (previously isBlockExpr() always returned true for
non-Expr Stmt*).

Modified the LiveVariables analysis to also track liveness state for block-level
expressions (using the updated definition of block-level expressions).

Modified the dataflow solver so that when it records values for block-level
statements, it records the dataflow value *before* the transfer function for a
Stmt* is evaluated (not after). This is more in sync in what clients will want.

Modified CFGStmtVisitor to record the current block-level statement.

llvm-svn: 46143

llvm-svn: 46141

Improve diagnostic wording...

llvm-svn: 46138