| commit | 52a16499df87730c0252b431abdf2b2e32d756a6 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Tue Jan 29 23:36:02 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Tue Jan 29 23:36:02 2008 +0000 |
| tree | 1f9e27296be263a0541018167991cce5d673fbf5 | |
| parent | 71c29bdc931bc49644c581ec7d698f0dbf01a0aa [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