]> granicus.if.org Git - clang/commit
Refactor DereferenceChecker to use only the new Checker API instead of
authorTed Kremenek <kremenek@apple.com>
Wed, 11 Nov 2009 03:26:34 +0000 (03:26 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 11 Nov 2009 03:26:34 +0000 (03:26 +0000)
commitb4b817d704287836b52b34369009e682f208aa2b
tree2b7898371d40dd14735954712fd2344baa2a7b63
parent09b6d0e7931bf72674e4d752bd66b566cc01fe05
Refactor DereferenceChecker to use only the new Checker API instead of
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.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86798 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/Checker.h
include/clang/Analysis/PathSensitive/Checkers/DereferenceChecker.h
include/clang/Analysis/PathSensitive/GRExprEngine.h
include/clang/Analysis/ProgramPoint.h
lib/Analysis/DereferenceChecker.cpp
lib/Analysis/GRCoreEngine.cpp
lib/Analysis/GRExprEngine.cpp
lib/Analysis/GRExprEngineInternalChecks.cpp
lib/Analysis/GRExprEngineInternalChecks.h
lib/Analysis/NSErrorChecker.cpp