llvm-svn: 58473

Add compound literal with empty initializer (just to test the analyzer handles it).

llvm-svn: 58470

llvm-svn: 58469

llvm-svn: 58468

Add method that will be invoked using the dot-syntax just to test that the missing -dealloc checker handles it.

llvm-svn: 58467

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

llvm-svn: 58462

!!!!!!!!!! Warning !!!!!!!!!!!!!!!
If you already have created a solution with cmake, you will need to manually open to the new one.

llvm-svn: 58461

llvm-svn: 58459

optimizations accordingly.

llvm-svn: 58457

llvm-svn: 58456

type for the shift amount type.  Add a check
that shifts and rotates use the type returned
by getShiftAmountTy for the amount.  This
exposed some problems in CellSPU and PPC,
which have already been fixed.

llvm-svn: 58455

llvm-svn: 58453

llvm-svn: 58452

(i32 for PPC, not i8).  Correct this, and some
formatting while there.

llvm-svn: 58451

function.
 - This explicitly models the costs for functions which should
   "always" or "never" be inlined. This fixes bugs where such costs
   were not previously respected.

llvm-svn: 58450

getShiftAmountTy (i32 in the case of CellSPU).

llvm-svn: 58449

llvm-svn: 58447

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

llvm-svn: 58443

Added pretty-printing for nonloc::CompoundSVal.

llvm-svn: 58442

llvm-svn: 58441

llvm-svn: 58440

llvm-svn: 58439

Add iterator/reverse_iterator to InitListExpr for iteration over the subexpressions of an initializer list.  This is basically the same as child_iterator except reverse iteration is possible (which will be used by GRExprEngine::VisitInitListExpr).

llvm-svn: 58438

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

llvm-svn: 58436

llvm-svn: 58435

Patch by Jay Foad.

llvm-svn: 58434

llvm-svn: 58433

llvm-svn: 58432

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: 58430

llvm-svn: 58429

Now this:

@interface Test
{
  void (^ivar)(void);
}
- (void)name;
@end

@implementation Test
- (void)name {
  ivar = ^{ printf("hello\n"); }; // ((struct Test_IMPL *)self)->ivar = (void (*)(void))&__name_block_impl_0((void *)__name_block_func_0);
  ivar(); // ((void (*)(struct __block_impl *))((struct __block_impl *)((struct Test_IMPL *)self)->ivar)->FuncPtr)((struct __block_impl *)((struct Test_IMPL *)self)->ivar); 
}

llvm-svn: 58428

llvm-svn: 58427

One will only see an effect if legalizetype is not active.  Will move
support to LegalizeType soon.

llvm-svn: 58426

llvm-svn: 58422

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

llvm-svn: 58421