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

  not in the current directory. This doesn't work with VPATH builds in
  autotooled builds.
- ccc now creates object files without an extension.
- Return exit code 1 if code > 255.

Patch by Torok!

llvm-svn: 46689

*mapped* onto errors.

llvm-svn: 46686

llvm-svn: 46685

llvm-svn: 46675

scope.  This is part of the fix for PR1966

llvm-svn: 46669

ocu vectors should not treat bitcasts from int <-> vector as a splat
unless it is of the element type.

llvm-svn: 46664

llvm-svn: 46663