]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 45fa623) | patch
static analyzer: Add a new ProgramPoint PostCondition to represent the post position...
authorTed Kremenek <kremenek@apple.com>
Sun, 3 Apr 2011 04:34:49 +0000 (04:34 +0000)
committerTed Kremenek <kremenek@apple.com>
Sun, 3 Apr 2011 04:34:49 +0000 (04:34 +0000)
commit8083414ee7cc8f5c807ed6a4e120fb4e0ab50ff8
tree2be30b600c5d1c0b1d5fbff3f94f8cbddbc80c02tree | snapshot
parent45fa623886dfb6a23b3cfd6d8764e05884382180commit | diff
static analyzer: Add a new ProgramPoint PostCondition to represent the post position of a branch condition, and a new generateNode method to BranchNodeBuilder using PostCondition ProgramPoint. This method generates a new ExplodedNode but not a new block edge.

Patch by Lei Zhang!

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