llvm-svn: 85876

llvm-svn: 85875

llvm-svn: 85868

llvm-svn: 85867

Fixes: <rdar://problem/7358899>
llvm-svn: 85864

Remove GRExprEngine::CheckerVisitLocation().  It was only called in one place, so we inlined it in to GRExprEngine::EvalLocation().

llvm-svn: 85838

llvm-svn: 85652

llvm-svn: 85651

llvm-svn: 85645

llvm-svn: 85642

llvm-svn: 85618

llvm-svn: 85597

llvm-svn: 85596

Move all logic for the null dereference checker from GRExprEngineInternalChecks.cpp to a separate .cpp file.

llvm-svn: 85595

can get the correct base lvalue.
Revert r85578.

llvm-svn: 85579

This fixes the crash reported in PR 5316.

llvm-svn: 85578

llvm-svn: 85497

small test case to show we handle dereferences of undefined values.

llvm-svn: 85492

by Zhongxing Xu.  RemoveDeadBindings() would falsely prune
SymbolicRegions from the store that wrapped derived symbols whose
liveness could only be determined after scanning the store.

llvm-svn: 85484

Add a CheckLocation() interface to Checker.
Now ImplicitNullDeref nodes are cached in NullDerefChecker.
More cleanups follow.

llvm-svn: 85471

Switch a few ugly switch-on-string-literal constructs to use the new
llvm::StringSwitch.

llvm-svn: 85461

Unused ivars checker: also check methods in categories that are defined in the same translation unit.  Fixes <rdar://problem/6260004>.

llvm-svn: 85442

categories as well (WIP). No functionality change yet.

llvm-svn: 85423

Patch by Simone Pellegrini.

llvm-svn: 85386

warnings. Eventually we need a way to import externally defined functions
summaries.

llvm-svn: 85092

qualified reference to a declaration that is not a non-static data
member or non-static member function, e.g., 

  namespace N { int i; }
  int j = N::i;

Instead, extend DeclRefExpr to optionally store the qualifier. Most
clients won't see or care about the difference (since
QualifierDeclRefExpr inherited DeclRefExpr). However, this reduces the
number of top-level expression types that clients need to cope with,
brings the implementation of DeclRefExpr into line with MemberExpr,
and simplifies and unifies our handling of declaration references.

Extended DeclRefExpr to (optionally) store explicitly-specified
template arguments. This occurs when naming a declaration via a
template-id (which will be stored in a TemplateIdRefExpr) that,
following template argument deduction and (possibly) overload
resolution, is replaced with a DeclRefExpr that refers to a template
specialization but maintains the template arguments as written.

llvm-svn: 84962

llvm-svn: 84824

llvm-svn: 84757

llvm-svn: 84697

llvm-svn: 84695

AnalysisManager periodically cleanup its AnalysisContextManager and LocationContextManager objects,
as they don't need to forever retain all the CFGs ever created when analyzing a file.

llvm-svn: 84684

region when doing lazy value retrieval of an ivar.

This fixes: <rdar://problem/7312221>

llvm-svn: 84584

retain/release checker: allow 'new', 'copy', 'alloc', 'init' prefix to start before '_' when determining Cocoa fundamental rule.

Fixes: <rdar://problem/7265711>
llvm-svn: 84569

are updated.

llvm-svn: 84447

 - strcmp -> ==
 - OS.write(II->getName() ...) -> OS << II->getNameStr()
 - Avoid std::string concatenation
 - Use getNameStr().str() when an std::string is really needed.

llvm-svn: 84437

llvm-svn: 84436

llvm-svn: 84398

llvm-svn: 84342

llvm-svn: 84341

llvm-svn: 84340