| commit | b6d2360787e5a0bb5d26f3bc7a83059a8b050dc4 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Thu Jan 10 00:58:25 2008 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Thu Jan 10 00:58:25 2008 +0000 |
| tree | 1bf007f7aa2516a85cb781ae682352462cf4b07d | |
| parent | d577b5e4a563e8b6f041fa5a1df103c52be31b32 [diff] |
Added "InfeasibleEdge" to represent an infeasible state transition. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@45802 91177308-0d34-0410-b5e6-96231b3b80d8