are now running properly from within CMake.

llvm-svn: 82755

Turn on 'RegionStore' as the default store manager both for 'clang --analyze' and 'scan-build'.  Leave 'BasicStore' as the default store manager in 'clang-cc'.  While there are still known warts with RegionStore, it's ready to be tested by general users.

llvm-svn: 82752

llvm-svn: 82751

llvm-svn: 82749

value-dependent. Audit (and fixed) all calls to
Expr::isNullPointerConstant() to provide the correct behavior with
value-dependent expressions. Fixes PR5041 and a crash in libstdc++
<locale>.

In the same vein, properly compute value- and type-dependence for
ChooseExpr. Fixes PR4996.

llvm-svn: 82748

llvm-svn: 82747

Who would have thought that empty classes were so tricky? Handle cases where an empty virtual base class needs to be moved aside because it conflicts with the first field.

llvm-svn: 82746

for a ObjC class with an ivar of weak self type.

llvm-svn: 82745

llvm-svn: 82744

Fix <rdar://problem/7249327> by allowing silent conversions between signed and unsigned integer values for symbolic values.  This is an intermediate solution (i.e. hack) until we support extension/truncation of symbolic integers.

llvm-svn: 82737

llvm-svn: 82736

llvm-svn: 82735

llvm-svn: 82733

complete (or, possibly causing template instantiation).

Test this via some explicit specializations of member functions.

llvm-svn: 82732

llvm-svn: 82730

first implementation recognizes when a function declaration is an
explicit function template specialization (based on the presence of a
template<> header), performs template argument deduction + ambiguity
resolution to determine which template is being specialized, and hooks

There are many caveats here:
  - We completely and totally drop any explicitly-specified template
  arguments on the floor
  - We don't diagnose any of the extra semantic things that we should
  diagnose. 
  - I haven't looked to see that we're getting the right linkage for
  explicit specializations

On a happy note, this silences a bunch of errors that show up in
libstdc++'s <iostream>, although Clang still can't get through the
entire header.

llvm-svn: 82728

llvm-svn: 82726

llvm-svn: 82725

(objc GC's API).

llvm-svn: 82724

llvm-svn: 82718

llvm-svn: 82706

Type hierarchy.  Demote 'volatile' to extended-qualifier status.  Audit our
use of qualifiers and fix a few places that weren't dealing with qualifiers
quite right;  many more remain.

llvm-svn: 82705

wpa is an experiment, don't build it by default, it adds to build times due to everything it links in.

llvm-svn: 82704

llvm-svn: 82703

have the iterators and operator[] handle the traversal of statements, as they
are stored in reverse order. Tests show this has no real performance impact, but
it does simply the CFG construction logic and will make it slightly easier to
change the allocation strategy for CFGBlocks (as we have fewer copies).

llvm-svn: 82702

visible in the log.

llvm-svn: 82688

llvm-svn: 82687

Fix crash in RegionStoreManager::Bind() by using 'getAs<PointerType>()' instead of 'cast<PointerType>()' (to handle pointer typedefs).

llvm-svn: 82686

llvm-svn: 82682

handled correctly.
 - <rdar://problem/7247671> Function arguments incorrect when function returns a
   struct on i386 w/ llvm-g++ and clang

llvm-svn: 82681

The issue was a discrepancy between how RegionStoreManager::Bind() and
RegionStoreManager::Retrieve() derived the "key" for the first element
of a symbolic region.

llvm-svn: 82680

llvm-svn: 82679

llvm-svn: 82678

llvm-svn: 82672

in a reference initialization diagnostic.

llvm-svn: 82671

llvm-svn: 82666

llvm-svn: 82665

initializing a reference class.

llvm-svn: 82664

lookup in a member access expression always start a
nested-name-specifier. Additionally, rank names that start
nested-name-specifiers after other names.

llvm-svn: 82663

llvm-svn: 82650