]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71c29bd) | patch
Added method "markInfeasible" to GRBranchNodeBuilder to disable the
authorTed Kremenek <kremenek@apple.com>
Tue, 29 Jan 2008 23:36:02 +0000 (23:36 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 29 Jan 2008 23:36:02 +0000 (23:36 +0000)
commit52a16499df87730c0252b431abdf2b2e32d756a6
tree1f9e27296be263a0541018167991cce5d673fbf5tree | snapshot
parent71c29bdc931bc49644c581ec7d698f0dbf01a0aacommit | diff
Added method "markInfeasible" to GRBranchNodeBuilder to disable the
auto-propagation of state along a branch.

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