Move all logic for the null dereference checker from GRExprEngineInternalChecks.cpp to a separate .cpp file.

llvm-svn: 85595

llvm-svn: 85594

llvm-svn: 85589

llvm-svn: 85588

can get the correct base lvalue.
Revert r85578.

llvm-svn: 85579

This fixes the crash reported in PR 5316.

llvm-svn: 85578

llvm-svn: 85576

Get throws limping along, still a bunch of FIXMEs. Too bad we don't support catching anything yet :)

llvm-svn: 85574

llvm-svn: 85565

llvm-svn: 85560

llvm-svn: 85555

used in a conditional expression by finding the most-derived common
super class of the two and qualifies the resulting type by the
intersection of the protocl qualifier list of the two objective-c
pointer types. ( this is continuation of radar 7334235).

llvm-svn: 85554

llvm-svn: 85552

arrays.

llvm-svn: 85550

template instantiation.

llvm-svn: 85545

llvm-svn: 85538

We may need to instantiate a class template specialization as part of a derived-to-base pointer case

llvm-svn: 85532

llvm-svn: 85529

- change ObjCCategoryImplDecl::getCategoryClass() to getCategoryDecl().

No functionality change.

llvm-svn: 85528

llvm-svn: 85526

llvm-svn: 85524

Provide an API for getting the SourceRange of a TAL and use it judiciously.

llvm-svn: 85520

llvm-svn: 85516

llvm-svn: 85512

Make sure to call CompleteConstructorCall for bases and members that are initialized implicitly in constructors so that default arguments etc are set correctly. Fixes PR5283.

llvm-svn: 85510

make clang emit undefs for padding of structs and unions instead of zeros. this enables constant compaction optimizations.

llvm-svn: 85504

types.  Preserve it through template instantiation.  Preserve it through PCH,
although TSTs themselves aren't serializable, so that's pretty much meaningless.

llvm-svn: 85500

classes.  Move its implementation into a new module.

This will seem marginally more justified in a bit.

llvm-svn: 85499

llvm-svn: 85497

small test case to show we handle dereferences of undefined values.

llvm-svn: 85492

llvm-svn: 85491

by Zhongxing Xu.  RemoveDeadBindings() would falsely prune
SymbolicRegions from the store that wrapped derived symbols whose
liveness could only be determined after scanning the store.

llvm-svn: 85484

llvm-svn: 85481

llvm-svn: 85475

 - clang-cc doesn't care about their relative order with other -W options.

llvm-svn: 85473

llvm-svn: 85472

Add a CheckLocation() interface to Checker.
Now ImplicitNullDeref nodes are cached in NullDerefChecker.
More cleanups follow.

llvm-svn: 85471

llvm-svn: 85469

Switch a few ugly switch-on-string-literal constructs to use the new
llvm::StringSwitch.

llvm-svn: 85461

llvm-svn: 85453