llvm-svn: 43479

llvm-svn: 43478

llvm-svn: 43477

Remove a bunch of TODO's that have been done for quite some time...

llvm-svn: 43476

This commit contains lot's of small tweaks to how we pass around and store SourceLocation's for interfaces/protocols/categories/implementations.

llvm-svn: 43475

of VariableArrayTypes that appear in TypedefDecls.

for example:

  typedef int T[x][x];

the StmtIterator will iterate over "x" and "x" as subexpressions of
the DeclStmt for T.

llvm-svn: 43474

where the decl would always be non-NULL.  Moved the check to after the
block to properly tidy up the iterator's state.

llvm-svn: 43473

llvm-svn: 43472

of VariableTypeArray types that appear in DeclStmts.

Removed operator-- from StmtIterator.  operator-- added undesired
complexity, and we have no consumers of it.

llvm-svn: 43471

llvm-svn: 43470

iterator of a CompountStmt instead of relying on StmtIterators.

llvm-svn: 43469

lowering load and store instructions.

llvm-svn: 43468

llvm-svn: 43467

of just printing to cerr.

llvm-svn: 43466

transformation. Previously, it's restricted by ensuring the number of load uses
is one. Now the restriction is loosened up by allowing setcc uses to be
"extended" (e.g. setcc x, c, eq -> setcc sext(x), sext(c), eq).

llvm-svn: 43465

llvm-svn: 43464

llvm-svn: 43463

llvm-svn: 43462

llvm-svn: 43461

llvm-svn: 43460

constant to an unsigned int.  We now just directly assign the literal 0.

llvm-svn: 43459

slightly more succinct.

Introduced VariableArrayType* within StmtIteratorBase to (soon)
support iteration over the size expressions of variable length arrays.

llvm-svn: 43455

llvm-svn: 43454

Moved a dependent predicate in an if statement to be an assertion
within the if statement body.

llvm-svn: 43453

llvm-svn: 43452

should emit warnings.

llvm-svn: 43451

"x == x" and "x != x".  We emit a warning for these since they always evaluate
to a constant value and often indicate a logical error.

Added test case for this check.

llvm-svn: 43450

an unimplemented work  and continue.

llvm-svn: 43449

(x) == x  is the treated the same as x == x.

llvm-svn: 43448

errors for cases such as "x == x".

Added test case to test this feature.

llvm-svn: 43447

llvm-svn: 43446

llvm-svn: 43445

llvm-svn: 43444

llvm-svn: 43443

don't model their dependences on allocas correctly.  This fixes
PR1745.

llvm-svn: 43442

llvm-svn: 43441

if statements.  This implements Sema/if-empty-body.c:f3, silencing
a bogus secondary warning.  It also improve the location info for
the nullstmts created for recovery purposes.

llvm-svn: 43440

llvm-svn: 43439

Add a first attempt at dominator information for MBB's.  Use with caution: this has been tested to compile.  It has not yet been confirmed to generate correct analysis.

llvm-svn: 43438

eat the terminating ;.  Fix one place where it did, allowing this
to compile without error:

struct x {
 int a;
 union {
  int b;
  float c;
 };

 int d;
};

This reduces diagnostics on PR1750 from 33 to 27.

llvm-svn: 43437