| commit | 71c29bdc931bc49644c581ec7d698f0dbf01a0aa | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Tue Jan 29 23:32:35 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Tue Jan 29 23:32:35 2008 +0000 |
| tree | a072cbe0d3a54bc409f16b956cec2ee77b1eb123 | |
| parent | 45c63bd37542507b1f8a6b457665f179052d857b [diff] |
Implemented more boilerplate in GREngine for processing branches. Now we automatically generate a new successor node along an edge if the checker did not explicitly do so (i.e., we just propagate the current state). git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46536 91177308-0d34-0410-b5e6-96231b3b80d8