commit | c3120769b3b5b3d86fd7bf83fbff8fb60369c213 | [log] [tgz] |
---|---|---|
author | Ted Kremenek <kremenek@apple.com> | Mon Nov 23 23:23:26 2009 +0000 |
committer | Ted Kremenek <kremenek@apple.com> | Mon Nov 23 23:23:26 2009 +0000 |
tree | 30d5fff0f7dfd3be98431fe33cadab7c71396f63 | |
parent | 19d67b52b73c04ef8eb663980330a1de2b47c845 [diff] |
After performing a bounds check in ArrayBoundChecker, record the fact that a bounds check succeeded by transitioning the ExplodedGraph. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@89712 91177308-0d34-0410-b5e6-96231b3b80d8