Add RegionStore test case that shows that floating point values are also implicitly tracked for undefined values.  (test case for <rdar://problem/6811085>).

llvm-svn: 89538

for -output-pch=.

llvm-svn: 89534

BasicStore.  In this example, BasicStore would lose information about
the pointer in path after '*path++', causing the analyzer to falsely
flag a null dereference.  This addresses <rdar://problem/7191542>.

llvm-svn: 89533

"typename" parameter to distinguish between non-type and type template
parameters. Fixes the actual bug in PR5559.

llvm-svn: 89532

Restructure DereferenceChecker slightly to handle caching out when we would report a null dereference more than once.

llvm-svn: 89526

Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker also handled undefined receivers in message expressions.

llvm-svn: 89524

llvm-svn: 89520

More checker refactoring.  Passing undefined values in a message expression is now handled by UndefinedArgChecker.

llvm-svn: 89519

llvm-svn: 89517

llvm-svn: 89514

llvm-svn: 89513

definition of a member template (or a member thereof). Fixes PR5566.

llvm-svn: 89512

llvm-svn: 89508

Switch CompilerInvocation::CreateFromArgs to take const char** arguments until Driver itself switches to StringRef.

llvm-svn: 89503

llvm-svn: 89502

llvm-svn: 89501

llvm-svn: 89499

llvm-svn: 89498

llvm-svn: 89497

llvm-svn: 89494

name 'T' is looked up in the expression

  t.~T()

Previously, we weren't looking into the type of "t", and therefore
would fail when T actually referred to an injected-class-name. Fixes
PR5530.

llvm-svn: 89493

llvm-svn: 89492

b->foo), don't look through pointers unless we have an -> operator.

llvm-svn: 89480

than tweaking existing ASTs, since we were (*gasp*) stomping on ASTs
within templates. I'm glad we found this little stick of TNT early...

llvm-svn: 89475

llvm-svn: 89469

llvm-svn: 89467

llvm-svn: 89465

llvm-svn: 89464

llvm-svn: 89462

UINT<n>_C(v) macros. 

llvm-svn: 89461

and UINT<n>_MAX defintions.

llvm-svn: 89460

uint<n>_t definitions.

llvm-svn: 89459

llvm-svn: 89457

driver.cpp:211: warning: ISO C++ forbids zero-size array 'argv'

llvm-svn: 89455

llvm-svn: 89453

llvm-svn: 89451

llvm-svn: 89450

Add simple static analyzer checker to check for sending 'release', 'retain', etc. directly to a class.  Fixes <rdar://problem/7252064>.

llvm-svn: 89449

Unused ivar checker: ivars referenced by lexically nested functions should not be flagged as unused.  Fixes <rdar://problem/7254495>.

llvm-svn: 89448

llvm-svn: 89447