| commit | cdd4f1783da7c7565be2376d14ca6ab2625aa4b6 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Wed Jul 22 21:39:25 2009 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Wed Jul 22 21:39:25 2009 +0000 |
| tree | d8439d3f6502f9a44488bce66b28909c1addbf57 | |
| parent | cc2c6eb04d882466c7cfbb544c251d7e0ba0f356 [diff] |
Add 'PreStmt' program point. This will be used to represent checking for preconditions (in GRExprEngine) before the statement itself is evaluated. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76791 91177308-0d34-0410-b5e6-96231b3b80d8