]> granicus.if.org Git - clang/commit
[analyzer] Previously, we were passing to CheckerContext enough info to construct...
authorAnna Zaks <ganna@apple.com>
Fri, 7 Oct 2011 21:52:33 +0000 (21:52 +0000)
committerAnna Zaks <ganna@apple.com>
Fri, 7 Oct 2011 21:52:33 +0000 (21:52 +0000)
commit3f5e8d87dbf449d8b39fe96068415428594d370e
tree24341878e0c840150b38bc0b5f6ee2e7b39e7687
parent13bf6336ab395eb6af487ab96d32229460907769
[analyzer] Previously, we were passing to CheckerContext enough info to construct ProgramPoint and it would pass it to NodeBuilder, which in turn would construct the ProgramPoint. Simplify it by just passing the ProgramPoint to CheckerContext. The ProgramPoint can only change if a checker tags it, in which case, we create a copy with the given tag.

(A step closer to making CheckerContext work with all node builders, not only StmtNodeBuilder.)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@141417 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
lib/StaticAnalyzer/Core/CheckerManager.cpp