[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineExperimentalChecks.h -> lib/StaticAnalyzer/Checkers/ExperimentalChecks.h

llvm-svn: 125122

[analyzer] lib/StaticAnalyzer/Checkers/ExprEngineInternalChecks.h -> lib/StaticAnalyzer/Checkers/InternalChecks.h

llvm-svn: 125121

A common pattern in classes with multiple initializers is to put the
subclass's common initialization bits into a static function that receives
the value of 'self', e.g:

   if (!(self = [super init]))
     return nil;
   if (!(self = _commonInit(self)))
     return nil;

It was reported that 'self' was not set to the result of [super init].
Until we can use inter-procedural analysis, in such a call, transfer the
ObjCSelfInitChecker flags associated with 'self' to the result of the call.

Fixes rdar://8937441 & http://llvm.org/PR9094

llvm-svn: 124940

llvm-svn: 124822

on, as well as more reliably limiting invalid references to locals from
nested scopes.

llvm-svn: 124721

llvm-svn: 124680

llvm-svn: 124674

Wire up attributes 'ns_consumed' and 'cf_consumed' in the static analyzer's ObjC retain/release checker.

llvm-svn: 124386

llvm-svn: 124376

llvm-svn: 124364

llvm-svn: 124363

llvm-svn: 124360

[analyzer] Enable the self-init checker under command-line option '-analyzer-check-objc-self-init' which by default
is enabled by the driver for '--analyze'.

llvm-svn: 124266

llvm-svn: 124263

llvm-svn: 124249

about them yet.  Fixes crash reported in PR 9049.

llvm-svn: 124228

by ExplodedNodes.  This leads to about a 4-8%
reduction in memory footprint when analyzing
functions in sqlite3.

llvm-svn: 124214

for a block capturing the value of an uninitialized
variable.

llvm-svn: 124212

We translate property accesses to obj-c messages by simulating "loads" or "stores" to properties
using a pseudo-location SVal kind (ObjCPropRef).

Checkers can now reason about obj-c messages for both explicit message expressions and implicit
messages due to property accesses.

llvm-svn: 124161

[analyzer] Introduce ExprEngine::VisitObjCMessage for handling general ObjCMessages (both message expressions and property access)
and use it in ExprEngine::VisitObjCMessageExpr.

llvm-svn: 124160

[analyzer] Introduce ObjCMessage which represents both explicit ObjC message expressions and implicit
messages that are sent for handling properties in dot syntax.

Replace all direct uses of ObjCMessageExpr in the checkers and checker interface with ObjCMessage.

llvm-svn: 124159

[analyzer] Simplify GetReceiverType function in BasicObjCFoundationChecks.cpp; no functionality change.

llvm-svn: 124157

llvm-svn: 124093

and methods defined within 'namespace X { ... }'.

llvm-svn: 123921

thousand other things which were (generally inadvertantly) relying on that.

llvm-svn: 123814

-Wint-to-pointer-cast.

llvm-svn: 123719

Joerg Sonnenberger!

llvm-svn: 123669

that captures the substitution of a non-type template argument pack
for a non-type template parameter pack within a pack expansion that
cannot be fully expanded. This follows the approach taken by
SubstTemplateTypeParmPackType.

llvm-svn: 123506

Found by clang static analyzer.

llvm-svn: 123485

llvm-svn: 123460

llvm-svn: 123459

the case where the called function has fewer
formal arguments than actual arguments.  This
fixes a crash in the analyzer when doing
function call inlining.

Patch by Zhenbo Xu!

llvm-svn: 123458

llvm-svn: 123395

dead stores within nested assignments.  I have
never seen an actual bug found by this specific
warning, and it can lead to many false positives.

llvm-svn: 123394

getting the base region. This makes the RemoveDeadBindings() correct.

llvm-svn: 123375

since the bindings are purged after they are set up. Need to investigate
RemoveDeadBindings algorithm.

llvm-svn: 123374

a struct value to a symbolic index into array.
RegionStore can't actually reason about this,
so we were getting bogus warnings about loading
uninitialized values from the array.  The solution
is invalidate the entire array when we cannot
represent the binding explicitly.

Fixes <rdar://problem/8848957>

llvm-svn: 123368

and 'getBasePredecessor()' to 'getPredecessor()'.

Also remove a unneeded save-and-restore of
node builder's tag field.

llvm-svn: 123363

node builder's 'HasGeneratedNode' field.

llvm-svn: 123362

the node builder's "tag" ivar (which we would
like to remove).

llvm-svn: 123361