- Rename SetSVal to BindLoc
- Add BindDecl
- Add BindExpr

GRState:
- Environment now binds to Stmt* instead of Expr*.  This is needed for processing ObjCForCollectionStmt (essentially the declaration of the the 'element' variable can have an SVal attached to it).
- BindDecl no longer accepts Expr* for the initialization value; use SVal* instead.

llvm-svn: 59152

StoreManager::BindDecl now takes an SVal* for the initialization value instead of an Expr* (which can be null).  Lazy symbolication of conjured symbols is now the sole responsibility of GRExprEngine.

llvm-svn: 59151

- Added support for ObjCForCollectionStmt
- Fixed bug where expression values would be always set to uninitialized when loops were involved

llvm-svn: 59076

llvm-svn: 59075

Introduce a single AST node SizeOfAlignOfExpr for all sizeof and alignof expressions, both of values and types.

llvm-svn: 59057

llvm-svn: 59053

llvm-svn: 59015

llvm-svn: 58985

Implement RegionStoreManager::RemoveDeadBindings(). This prunes several false warning caused by removal of symbolic constraints. Currently we just mark all symbols live. Further optimization for dead binding removal needed.

llvm-svn: 58982

Print integer value instead of raw pointer. This is a hack to be fixed by migrating the output in analyzer to llvm::raw_ostream.

llvm-svn: 58965

llvm-svn: 58956

llvm-svn: 58886

available, things get much simplified.

One addition is that CompoundLiteralExpr can appear both in rvalue and lvalue
context.

llvm-svn: 58837

llvm-svn: 58833

llvm-svn: 58771

llvm-svn: 58758

Add a new expression class, ObjCSuperExpr, to handle the Objective-C 'super'. Remove ObjCThis from PredefinedExpr

llvm-svn: 58698

llvm-svn: 58666

llvm-svn: 58597

llvm-svn: 58596

- Prepare AnonPointeeRegioin for later use.

llvm-svn: 58595

   sets the whole struct to Unknown. Then we cannot assume the V passed to
   BindStruct() is always a CompoundVal. When it is an UnknownVal, we call
   BindStructToVal(UnknownVal).

2. Change the signature of InitializeStructToUndefined() to BindStructToVal()
   to reuse the code.

llvm-svn: 58564

llvm-svn: 58553

llvm-svn: 58552

llvm-svn: 58551

Comment out invalid assertion.  I'm leaving it in the code for now as a reminder to produce a test case.

llvm-svn: 58510

Simplify interface. We can get canonical type from the base region directly. No need for an extra type argument.

llvm-svn: 58507

llvm-svn: 58506

llvm-svn: 58504

etc more generic. For some targets, long may not be equal to pointer size. For
example: PIC16 has int as i16, ptr as i16 but long as i32.

Also fixed a few build warnings in assert() functions in CFRefCount.cpp,
CGDecl.cpp, SemaDeclCXX.cpp and ParseDeclCXX.cpp.

llvm-svn: 58501

llvm-svn: 58496

llvm-svn: 58495

Implement load from struct region. Instead of returning an UnknownVal(), we create a CompoundVal by loading from each field of the struct.

llvm-svn: 58494

llvm-svn: 58492

llvm-svn: 58487

llvm-svn: 58479

Enhance path-sensitive return-of-stack-address check to print out the line number of a compound literal (whose address is being returned) instead of printing out the hex representation of the pointer address of the CompoundLiteralExpr.

llvm-svn: 58478

llvm-svn: 58469

llvm-svn: 58468

Distinguish between self.X = ... where self.X is a property reference and self.X is an implicit call to setX.

llvm-svn: 58462