RValueType => ObjectType
 LValueType => LocationType

No functionality change.

llvm-svn: 71304

now until ready).

llvm-svn: 71303

llvm-svn: 71301

llvm-svn: 71290

llvm-svn: 71288

EvalEndPath. This sets the stage for handling autorelease counts.

llvm-svn: 71283

llvm-svn: 71280

'autorelease'. This isn't used yet to flag errors.

llvm-svn: 71244

llvm-svn: 71216

incomplete, do not compute its size and return the original region.

llvm-svn: 71213

llvm-svn: 71206

llvm-svn: 71205

llvm-svn: 71202

implicitly be changed to unsigned values in GRSimpleVals.cpp. This can happen
when the comparison involves logic in specialized transfer functions (e.g.,
OSAtomicCompareAndSwap).

llvm-svn: 71200

other changes.  Instead of repeatedly checking for GC mode when
getting the return effect, just do this computation once.

llvm-svn: 71193

- Rename 'ns_returns_owned' -> 'ns_returns_retained'.
- Rename 'cf_returns_owned' -> 'cf_returns_retained'.

llvm-svn: 71182

analysis introspection) when we computed an lvalue.  This shouldn't
effect the current analysis results in any way.

llvm-svn: 71169

llvm-svn: 71135

'BugReporterVisitor'. This simplifies callbacks from BugReporter to BugReports
(via VisitNode). It also lays the foundation for arbitrary visitor "call backs"
that can be registered to a BugReporterContext as a PathDiagnostic is
constructed. These call backs can help operate as separate "experts" that can
work on constructed pieces of a PathDiagnostic for which they possess special
knowledge.

llvm-svn: 71121

- Update the old StoreManager::CastRegion to strip off 'ElementRegions' when
  casting to void* (Zhongxing: please validate)
- Pass-by-reference argument invalidation logic in CFRefCount.cpp:
  - Strip ElementRegions when the ElementRegion is just a 'raw data' view
    on top of the underlying typed region.

llvm-svn: 71094

 - add a static function getTypeWidth(), which computes the width of a type
   with the help of TargetInfo.
 - no-outofbounds.c now passes for region store.

llvm-svn: 71080

llvm-svn: 71076

future we would create ElementRegion directly on top of typeless regions.

llvm-svn: 71075

llvm-svn: 71074

llvm-svn: 71060

RegionStore.

This CastRegion() performs casts according to the kind of the region being 
cast instead of the type that is cast to.

llvm-svn: 71058

start of 'do' and '@synchronized' statements.

llvm-svn: 71038

about Exprs that are not consumed and fix where the loop iteration diagnostic
goes.

llvm-svn: 71027

llvm-svn: 70990

llvm-svn: 70952

llvm-svn: 70946

llvm-svn: 70943

llvm-svn: 70940

llvm-svn: 70897

control-flow expressions as dead.

llvm-svn: 70887

'==' and '!=' (some code in the '!=' was not replicated in the '==' code,
causing some constraints to get lost).

llvm-svn: 70885

'objc_ownership_cfretain' -> 'cf_ownership_retain'
'objc_ownership_cfrelease' -> 'cf_ownership_release'

Motivation: Core Foundation objects can be used in isolation from Objective-C,
and this forces users to reason about the separate semantics of CF objects. More
Sema support pending.

llvm-svn: 70884

retain checker: Add checker support for FunctionDecl ownership annotations.  Need to add Sema support.

llvm-svn: 70873

separate method.

llvm-svn: 70870

llvm-svn: 70869