llvm-svn: 90817

Patch by Nicola Gigante!

llvm-svn: 90814

llvm-svn: 90812

Add clang-cc option '-analyzer-opt-analyze-nested-blocks' to treat block literals as an entry point for analyzer checks.

llvm-svn: 90810

- Refactor the MemRegion hierarchy to distinguish between different StackSpaceRegions for locals and parameters.
- VarRegions for "captured" variables now have the BlockDataRegion as their super region (except those passed by reference)
- Add transfer function support to GRExprEngine for BlockDeclRefExprs.

This change also supports analyzing blocks as an analysis entry point
(top-of-the-stack), which required pushing more context-sensitivity
around in the MemRegion hierarchy via the use of LocationContext
objects.  Functionally almost everything is the same, except we track
LocationContexts in a few more areas and StackSpaceRegions now refer
to a StackFrameContext object.  In the future we will need to modify
MemRegionManager to allow multiple StackSpaceRegions in flight at once
(for the analysis of multiple stack frames).

llvm-svn: 90809

llvm-svn: 90808

llvm-svn: 90800

llvm-svn: 90799

llvm-svn: 90796

(fixes radar 7447251).

llvm-svn: 90795

llvm-svn: 90794

llvm-svn: 90786

llvm-svn: 90780

llvm-svn: 90778

claim it in Driver.cpp instead of Tools.cpp.

llvm-svn: 90777

(fixes radar 7442244).

llvm-svn: 90773

llvm-svn: 90772

llvm-svn: 90769

llvm-svn: 90758

llvm-svn: 90757

llvm-svn: 90756

handler to this interface.
GRExprEngine::CheckerEvalCall() will return true if one of the checkers has
processed the node. In the future this might return void when we have some 
default checker.

llvm-svn: 90755

Instantiated or specialized class templates never have a key function. This (and the previous check-in) fixes PR5557.

llvm-svn: 90753

Rework how virtual member functions are marked. If a class has no key function, we now wait until the end of the translation unit to mark its virtual member functions as references. This lays the groundwork for fixing PR5557.

llvm-svn: 90752

llvm-svn: 90751

llvm-svn: 90750

llvm-svn: 90749

(although it does pass regression tests).

llvm-svn: 90747

more accurate.

llvm-svn: 90746

llvm-svn: 90745

but the results are imperfect.

For posterity, I did:

cat <<EOF > $cmdfile
s/DeclaratorInfo/TypeSourceInfo/g
s/DInfo/TInfo/g
s/TypeTypeSourceInfo/TypeSourceInfo/g
s/SourceTypeSourceInfo/TypeSourceInfo/g
EOF

find lib -name '*.cpp' -not -path 'lib/Parse/*' -exec sed -i '' -f $cmdfile '{}' \;
find lib -name '*.h' -exec sed -i '' -f $cmdfile '{}' \;
find include -name '*.h' -not -path 'include/clang/Parse/*' -not -path 'include/clang/Basic/*' -exec sed -i '' -f $cmdfile '{}' \;

llvm-svn: 90743

pointed out by Charles Davis.

llvm-svn: 90736

llvm-svn: 90735

llvm-svn: 90734

llvm-svn: 90733

llvm-svn: 90732

llvm-svn: 90731

This time with a fix to bail out when in a dependent context.

llvm-svn: 90730

llvm-svn: 90729

subsequent code which depends on a complete type does the right thing.

llvm-svn: 90727