value into their own respective subclasses of Checker (and put them in .cpp files where their
implementation details are hidden from GRExprEngine).

llvm-svn: 86215

Minor cleanup: use BuiltinBug (which will soon be renamed) for DeferenceChecker and friends so that they always report the same bug type.

llvm-svn: 86208

llvm-svn: 86127

an "assign expression", representing the expressions where the value
binding occurs and the assignment takes place respectively.  These are
largely syntactic clues for better error reporting.

llvm-svn: 86084

llvm-svn: 86015

llvm-svn: 86004

Catch uses of undefined values when they are used in assignment, thus catching such bugs closer to the source.

llvm-svn: 86003

llvm-svn: 85996

Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*, and modify GRExprEngine::EvalBind() to handle decl initialization as well.  This paves the way for adding "checker" visitation in EvalBind().

llvm-svn: 85983

Change GRTransferFuncs::RegisterChecks() to take a GRExprEngine& instead of a BugReporter&.  This paves the way for pulling some of the retain/release checker into a "Checker" class.

llvm-svn: 85971

Merge NullDerefChecker.[h,cpp] and UndefDerefChecker.[h,cpp].  They are essentially two parts of the same check.

llvm-svn: 85911

llvm-svn: 85898

Split it to two checkers, one for undefined size, 
the other for zero size, so that we don't need to query the size
when emitting the bug report.

llvm-svn: 85895

llvm-svn: 85887

Move 'static inline' functions GetNullarySelector() and GetUnarySelector() from CFRefCount.cpp to ASTContext.h.  These functions are likely to be generally useful.

llvm-svn: 85886

llvm-svn: 85883

llvm-svn: 85879

llvm-svn: 85877

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