getBaseRegion will be used in another method.

llvm-svn: 86649

Patch by Victor Zverovich!

llvm-svn: 86638

ArrayType>()) does not instantiate. Update all callers that used this
unsafe feature to use the appropriate ASTContext::getAs*ArrayType method.

llvm-svn: 86596

llvm-svn: 86595

llvm-svn: 86538

llvm-svn: 86537

llvm-svn: 86536

llvm-svn: 86535

llvm-svn: 86533

llvm-svn: 86532

llvm-svn: 86529

llvm-svn: 86528

llvm-svn: 86527

llvm-svn: 86523

checker does not build sink nodes. Because svaluator computes an unknown value
for the subtraction now.

llvm-svn: 86517

llvm-svn: 86504

llvm-svn: 86479

llvm-svn: 86464

Use SaveAndRestore to simplify logic in LiveVariables::runOnAllBlocks().  Patch by Kovarththanan Rajaratnam!

llvm-svn: 86343

Remove Checker::CheckType() (and instead using CheckerVisitor::PreVisitDeclStmt()), and refactor VLASizeChecker to have only one Checker subclass (not two) and to not use the node builders directly (and instead use the newer CheckerContext).

llvm-svn: 86329

Make the VLASizeChecker implementation private, and its creation only known to GRExprEngineInternalChecks.cpp.

llvm-svn: 86292

llvm-svn: 86288

Sentence-case bug type, and pull tests from region-only-test.c into misc-ps-region.store.m (removing an extra unneeded test file).  Also add a bunch of FIXME comments for future enhancements.

llvm-svn: 86282

llvm-svn: 86260

llvm-svn: 86252

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