Add a FIXME to commit r45784. Thanks mrs!

llvm-svn: 45790

Fix Sema::ActOnDeclarator() to call MergeFunctionDecl for function decls that aren't in scope. Since C functions are in a flat namespace, we need to give them special treatment (when compared with variables and typedefs).

llvm-svn: 45789

so that nodes can be marked as representing an infeasible program point. This
flag lets the path-sensitive solver know that no successors should be generated
for such nodes.

llvm-svn: 45788

llvm-svn: 45787

BExpr*** and ***BExpr respectively. These edges represent program locations
between the entrance/exit of a block and Block-level Expressions.

Also added ***SExpr and SExpr*** ProgramEdges to represent the locations in the
program between the evaluation of subexpressions and block-level expressions.

llvm-svn: 45786

code restructuring.  (new files will be introduced shortly)

llvm-svn: 45785

Fix ASTContext::typesAreCompatible to allow for int/enum compatibility (C99 6.7.2.2p4).
Fix Sema::MergeFunctionDecl to allow for function type compatibility (by using the predicate on ASTContext). Function types don't have to be identical to be compatible...

llvm-svn: 45784

Clean up StrongPHIElimination a bit, and add some more comments to the internal structures.  There's
still more work to do on this front.

llvm-svn: 45783

Teach Sema::ActOnCompoundLiteral about constraint C99 6.5.2.5p3.

llvm-svn: 45782

llvm-svn: 45781

llvm-svn: 45780

truncating.  This allows us to compile:
 void foo() {
  static _Bool foo = 4;
}

into:
@foo1 = internal global i8 1
instead of:
@foo1 = internal global i8 4

llvm-svn: 45779

This fixes a crash reported by Seo Sanghyeon

llvm-svn: 45778

llvm-svn: 45777

llvm-svn: 45776

llvm-svn: 45775

llvm-svn: 45774

llvm-svn: 45773

llvm-svn: 45772

llvm-svn: 45771

llvm-svn: 45770

llvm-svn: 45769

llvm-svn: 45768

llvm-svn: 45767

llvm-svn: 45766

Teach Expr::isConstantExpr() about CompoundLiterals.

llvm-svn: 45764

llvm-svn: 45763

void test(long long *P) { *P ^= 1; }

into just:

_test:
	movl	4(%esp), %eax
	xorl	$1, (%eax)
	ret

instead of code like this:

_test:
	movl	4(%esp), %ecx
        xorl    $1, (%ecx)
	movl	4(%ecx), %edx
	movl	%edx, 4(%ecx)
	ret

llvm-svn: 45762

llvm-svn: 45760

llvm-svn: 45759

llvm-svn: 45758

Made the ctor for ImmutableMap to construct a map from an AVL tree public.

llvm-svn: 45756

llvm-svn: 45752

llvm-svn: 45750

llvm-svn: 45749

This is currently not set by anything.

llvm-svn: 45748

constant propagation analysis.

llvm-svn: 45747

on 64-bit builds.  Analysis and original patch
by Török Edwin.  Code audit found another place
with the same problem, also fixed here.

llvm-svn: 45746

llvm-svn: 45745

llvm-svn: 45744