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

llvm-svn: 58446

Pretty-printing for SVals now mainly uses llvm::raw_ostream.  We have an adapter for std::ostream, but this will be removed in the future.

llvm-svn: 58445

llvm-svn: 58444

Added pretty-printing for nonloc::CompoundSVal.

llvm-svn: 58442

llvm-svn: 58441

llvm-svn: 58440

CompoundVal now uses an ImmutableList<SVal> to store its set of SVals.  This change was motivated by the need to allow state-splitting in GRExprEngine::VisitInitListExpr.  As a side-benefit, we no longer need to perform any copies of SVals when creating a CompoundSVal, and the profiling of CompoundSVal is now constant time.

llvm-svn: 58437

Fix PR 2978 false positive for missing release in -dealloc of an ivar retained via a property and then released by assigning nil to that property:

  http://llvm.org/bugs/show_bug.cgi?id=2978

llvm-svn: 58431

llvm-svn: 58422

 - SetSVal(GRState*, Loc, SVal) => BindLoc
 - SetSVal(GRState*, Expr*, SVal) => BindExpr 

llvm-svn: 58421

llvm-svn: 58419

llvm-svn: 58418

llvm-svn: 58417

llvm-svn: 58410

llvm-svn: 58373

The attached patch adds additional checks to -warn-objc-missing-dealloc. It checks that all ivars which are used in implementation of synthesized properties are either

a) released in dealloc if the property has retain" or "copy" attribute OR
b) not released in dealloc if the property has "assign" attribute

llvm-svn: 58363

llvm-svn: 58362

BindDecl better describes what the function does:
  - Bind the VarDecl to its memory region
  - Bind the memory region to some initial value.

llvm-svn: 58359

llvm-svn: 58331

llvm-svn: 58322

llvm-svn: 58321