llvm-svn: 46801

static variables outside functions.

llvm-svn: 46800

llvm-svn: 46799

tag decl after it has been completed

llvm-svn: 46798

llvm-svn: 46797

Removed lval::SymIntConstraintVal; wrappers for symbolic constraints are not lvalues (only integers that evaluate to !0 or 0).

llvm-svn: 46796

symbols (for constant integers).

llvm-svn: 46795

ValueState no longer inherits FoldingSetNode (not needed).
Removed redundant operator= implementation for ValueState (it simply did the default behavior).

llvm-svn: 46794

using the bump-pointer allocator and a placed new; we accidentally allocated
a ValueStateImpl* instead, causing an overrun when we did a placed new().

llvm-svn: 46793

eliminating a bunch of forwarding methods and generally 
simplifying things.

llvm-svn: 46792

level code in clang.  This is a cleanup, but does implement "-o" for 
-emit-llvm.  One effect of this is that "clang foo.c -emit-llvm" will now
emit into foo.ll instead of stdout.  Use "clang foo.c -emit-llvm -o -" or 
"clang < foo.c -emit-llvm" to get the old behavior.

llvm-svn: 46791

This action will add constraints to the possible values of a symbol.
Still needs to be debugged.

llvm-svn: 46789

llvm-svn: 46788

Sema::ActOnTranslationUnitScope.  The various ObjC pieces at the top
of Sema.cpp should be moved into SemaObjC or something.

llvm-svn: 46787

llvm-svn: 46786

llvm-svn: 46785

llvm-svn: 46784

llvm-svn: 46783

Add a FIXME to clarify previous commit/experiment.

llvm-svn: 46782

llvm-svn: 46780

llvm-svn: 46779

nonlval::SymIntConstraintVal.

Reworked transfer function for '==' and '!=' for LValues to return
SymIntConstraintVal when comparing a symbol with a constant.

llvm-svn: 46778

llvm-svn: 46777

llvm-svn: 46774

llvm-svn: 46772

contraint between a symbol and an integer constant.

llvm-svn: 46771

This noticeably cleans up the naming of these classes.

llvm-svn: 46770

transfer function evaluation that represent constraints between symbolic values
and constant integers.

llvm-svn: 46769

Fix Parser::ParseObjCTryStmt() to allow for trailing @-keyword statements/expressions.

This bug fix is the result of not having 2-token lookahead to recognize specific @-keywords.

llvm-svn: 46768

llvm-svn: 46766

llvm-svn: 46762

for buffers for RValues and States.

llvm-svn: 46759

Added a "ConstantNotEq" map to ValueState (and added necessary typedefs and factory objects to ValueStateManager).

llvm-svn: 46758

llvm-svn: 46756

llvm-svn: 46755

llvm-svn: 46754

llvm-svn: 46752

llvm-svn: 46751

llvm-svn: 46750

simplify the code and generally make it more robust.

llvm-svn: 46745