]> granicus.if.org Git - clang/commit
ProgramPoint now takes the space of two pointers instead of one. This change was
authorTed Kremenek <kremenek@apple.com>
Tue, 16 Sep 2008 18:44:52 +0000 (18:44 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 16 Sep 2008 18:44:52 +0000 (18:44 +0000)
commitd452758bb6b59340528a26def9ecc24b329d4ecf
tree25346308283c18880c7584738c0907dec5968242
parent3f61c18dd765c27bf900b22dc3a5f2a68e2364a1
ProgramPoint now takes the space of two pointers instead of one. This change was
motivated because it became clear that the number of subclasses of ProgramPoint
would expand and we ran out of bits to represent a pointer variant. As a plus of
this change, BlockEdge program points can now be represented explicitly without
using a cache of CFGBlock* pairs in CFG.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@56245 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/AST/CFG.h
include/clang/Analysis/FlowSensitive/DataflowSolver.h
include/clang/Analysis/PathSensitive/BugReporter.h
include/clang/Analysis/ProgramPoint.h
lib/AST/CFG.cpp
lib/Analysis/BugReporter.cpp
lib/Analysis/GRCoreEngine.cpp
lib/Analysis/GRExprEngine.cpp
lib/Analysis/ProgramPoint.cpp [deleted file]