the old builder API.  This percolated a bunch of changes up to the
Checker class (where CheckLocation has been renamed VisitLocation) and
GRExprEngine.  ProgramPoint now has the notion of a "LocationCheck"
point (with PreLoad and PreStore respectively), and a bunch of the old
ProgramPoints that are no longer used have been removed.

llvm-svn: 86798

llvm-svn: 86538

llvm-svn: 86529

llvm-svn: 86523

checker does not build sink nodes. Because svaluator computes an unknown value
for the subtraction now.

llvm-svn: 86517

Make the VLASizeChecker implementation private, and its creation only known to GRExprEngineInternalChecks.cpp.

llvm-svn: 86292

llvm-svn: 86288

llvm-svn: 86252

value into their own respective subclasses of Checker (and put them in .cpp files where their
implementation details are hidden from GRExprEngine).

llvm-svn: 86215