]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 10d24f0) | patch
Added ownership of "checker state" within the ExplodedGraph. Moved code that
authorTed Kremenek <kremenek@apple.com>
Mon, 7 Jan 2008 21:56:52 +0000 (21:56 +0000)
committerTed Kremenek <kremenek@apple.com>
Mon, 7 Jan 2008 21:56:52 +0000 (21:56 +0000)
commitede5a4ba111f0590879670b6cb07f4d6d0bd9075
tree0d458ae4e7733cd0d2ec332c06fcd3be4645fce7tree | snapshot
parent10d24f062ee8c83823199191ccdba452c7f9ac24commit | diff
Added ownership of "checker state" within the ExplodedGraph. Moved code that
creates the initial root node from the constructor of ReachabilityEngine to
ReachabilityEngine::ExecuteWorklist.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@45722 91177308-0d34-0410-b5e6-96231b3b80d8
Analysis/ReachabilityEngine.cpp diff | blob | history
include/clang/Analysis/PathSensitive/ExplodedGraph.h diff | blob | history
include/clang/Analysis/PathSensitive/ReachabilityEngine.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.