| commit | eb19188e668d0ad2c968fc0286a6922f9194deb4 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Fri Sep 28 23:15:21 2007 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Fri Sep 28 23:15:21 2007 +0000 |
| tree | c0632ab1b62cc767bda936e14444b5ba795d1989 | |
| parent | bcfb06ac6da1aa3c74ac1ef7a49c2807522366e7 [diff] |
Added ProgramEdge.h, which defines ProgramEdge (and subclasses) that encapsulate a program point within a CFG for use by our path-sensitive dataflow solver. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@42455 91177308-0d34-0410-b5e6-96231b3b80d8