llvm-svn: 71362

llvm-svn: 71361

pointee type is scalar type, create element region regardless with the sizes
of types.

llvm-svn: 71360

TypedViewRegion usage in region store.

llvm-svn: 71359

convert it to the first element region.
Also do not assume the array region is typed.

llvm-svn: 71358

region. In the future we may set the cast-to type as the same time. But for
now, we simply leave it as it is.

llvm-svn: 71357

llvm-svn: 71356

Modify getLValueElement accordingly. Now we don't require base region 
to be a typed region. Do not create TypedViewRegion when base region is 
symbolic or alloca region. We can do so because each element region has 
its type information.

llvm-svn: 71355

pointer-based condition.  This fixes PR3171.

llvm-svn: 71354

RegionStoreManager::CastRegion(). This case should be subsumed by others.

llvm-svn: 71353

into.

llvm-svn: 71352

LLVM.

llvm-svn: 71350

will make it more obvious what it represents, and stop
it being confused with the StoreSize.

llvm-svn: 71349

llvm-svn: 71348

Use 16 bit arithmetic while retrieving the address of callee's frame during indirect function calls, and set pclath before every call to retrieve the frame address.

llvm-svn: 71323

  SymbolRegionRValue => SymbolRegionValue
  SymExpr::RegionRValue => SymExpr::RegionValueKind

llvm-svn: 71322

TypedRegion::getValueType().

llvm-svn: 71321

llvm-svn: 71312

'cf_returns_retained'.

llvm-svn: 71311

llvm-svn: 71309

ns_returns_retained, but do not include the other ownership attributes
we previously had.

llvm-svn: 71308

'autorelease'.

llvm-svn: 71307

GRStmtNodeBuilder::generateNode() where the HasGeneratedNode flag
wouldn't properly be set.

llvm-svn: 71306

llvm-svn: 71305

 RValueType => ObjectType
 LValueType => LocationType

No functionality change.

llvm-svn: 71304

now until ready).

llvm-svn: 71303

llvm-svn: 71302

llvm-svn: 71301

and we also want to tell which message is actually 
being sent.

llvm-svn: 71296

test index.

llvm-svn: 71295

llvm-svn: 71291

llvm-svn: 71290

llvm-svn: 71288

overflow checks.

llvm-svn: 71284

EvalEndPath. This sets the stage for handling autorelease counts.

llvm-svn: 71283

llvm-svn: 71282

llvm-svn: 71281

llvm-svn: 71280

llvm-svn: 71279

llvm-svn: 71278