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

structure that can contain several maps, not just one.

llvm-svn: 46744

Type*'s can change as types are refined, so we can't use them as a stable key in
the map.  Decls don't change, so use them instead.

This patch was written by Anders, but he's too shy to commit it himself :)

llvm-svn: 46743

llvm-svn: 46742

llvm-svn: 46740

Update outdated comment.

llvm-svn: 46737

Handle padding fields while initializing struct (fix PR 1962)

llvm-svn: 46736

to a cell is being held.

llvm-svn: 46735

llvm-svn: 46734

llvm-svn: 46732

__builtin_choose.

llvm-svn: 46731

llvm-svn: 46722

created for GRConstants.  Moved instances of ValueManager and SymbolManager
inside this class.  The goal is to gradually separate more of the state
management from the state transformation.

llvm-svn: 46721

llvm-svn: 46708

llvm-svn: 46692

qualifiers use the __attribute__((address_space(id))) syntax.

llvm-svn: 46691