Still some refactoring to do.

llvm-svn: 90830

diagnostics (specifically, that any extension in a compiler-reserved namespace
shouldn't trigger a diagnostic).

llvm-svn: 90826

llvm-svn: 90825

or non-record aggregate members.

It might be worth spending some time to optimize this code (and the parallel
code for copy constructors) to memcpy in larger chunks, rather than copying
one member at a time.  Not sure exactly how beneficial that would be, but
it seems like could help for large classes with, for example, a vtable pointer
forcing the generation of a copy constructor.

llvm-svn: 90823

llvm-svn: 90822

llvm-svn: 90821

No need to add tail padding if the resulting LLVM struct type will have the same size as the final record size.

llvm-svn: 90820

(Yes, I do intend to commit some tests for this.)

llvm-svn: 90818

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: 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

(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

llvm-svn: 90735

llvm-svn: 90732

llvm-svn: 90731