llvm-svn: 70380

llvm-svn: 70369

llvm-svn: 70358

on ObjCMessageExpr. This will enable us to use it elsewhere. This should not
change any functionality.

llvm-svn: 70352

to add 'CFMakeCollectable' semantics to a method.

llvm-svn: 70336

llvm-svn: 70313

llvm-svn: 70293

llvm-svn: 70286

add "Looping back to the head of the loop" diagnostic for loops.

llvm-svn: 70285

'objc_ownership_cfrelease'. These are the 'release' equivalents of
'objc_ownership_retain' and 'objc_ownership_cfretain' respectively.

llvm-svn: 70235

treated as "not owned" objects.

llvm-svn: 70232

as 'objc_ownership_cfretain' except that the method acts like a CFRetain instead
of a [... retain] (important in GC modes). Checker support is wired up, but
currently only for Objective-C message expressions (not function calls).

llvm-svn: 70218

llvm-svn: 70155

llvm-svn: 70144

llvm-svn: 70105

users to specify that a method's argument is visibly retained (reference count
incremented).

llvm-svn: 70008

llvm-svn: 70002

involving an NSAnimation object delegating its release to a delegate method.

llvm-svn: 69992

change.

llvm-svn: 69985

delegates. When a reference counted object is passed as to a 'void*' argument to
a method stop tracking the reference count.

llvm-svn: 69984

llvm-svn: 69983

- Fix summary lookup for class methods to now use the (optional)
  ObjCInterfaceDecl associated with a message expression. This removes a
  long-standing FIXME.
- Partial fix for <rdar://problem/6062730> by stop tracking objects that
  are passed to [NSObject performSelector].  These methods are often used
  for delegates, which the analyzer doesn't reason about well yet.

llvm-svn: 69982

functionality change.

llvm-svn: 69936

llvm-svn: 69929

This was preventing the checker from tracking return objects referenced by 'id'.

llvm-svn: 69922

object references as tracked objects.

llvm-svn: 69915

extend the number of objects tracked by the retain/release checker by assuming
that all class and instance methods should follow Cocoa object "getter" and
"alloc/new" conventions.

llvm-svn: 69908

target addresses.

llvm-svn: 69900

when popping location contexts.

llvm-svn: 69898

pieces for location contexts.

llvm-svn: 69895

methods, class methods, and property implementations) and instead
place all of these entities into the DeclContext.

This eliminates more linear walks when looking for class or instance
methods and should make PCH (de-)serialization of ObjCDecls trivial
(and lazy).

llvm-svn: 69849

indicate whether or not the range represents an absolute range or should be
extended by lexing to the end of the token.

llvm-svn: 69834

llvm-svn: 69824

context.

llvm-svn: 69823

- Remove stale assertion that was breaking the test suite.
- When popping location contexts, only add a control-flow piece for fileID
  locations.

llvm-svn: 69814

starts from the first character of the first statement.

llvm-svn: 69813

character instead of the entire range for the IfStmt, ForStmt, etc. We may
gradually refine these ranges later, but basically terminator ranges just refer
to the first keyword.

llvm-svn: 69812

llvm-svn: 69754

some refactoring I did recently to StoreManager.

StoreManager::CastRegion: Handle casts to void* by stripping TypedViewRegions.

llvm-svn: 69751

Fix: <rdar://problem/6777209> false Dereference of null pointer in loop: pointer increment/decrement preserves non-nullness

When the StoreManager doesn't reason well about pointer-arithmetic, propagate
the non-nullness constraint on a pointer value when performing pointer
arithmetic uisng ++/--.

llvm-svn: 69741