diff options
author | Ted Kremenek <kremenek@apple.com> | 2009-07-22 21:39:25 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2009-07-22 21:39:25 +0000 |
commit | cdd4f1783da7c7565be2376d14ca6ab2625aa4b6 (patch) | |
tree | d8439d3f6502f9a44488bce66b28909c1addbf57 /lib/Analysis/GRCoreEngine.cpp | |
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
Diffstat (limited to 'lib/Analysis/GRCoreEngine.cpp')
0 files changed, 0 insertions, 0 deletions