Skip to content
Commit b0c0b08c authored by Ted Kremenek's avatar Ted Kremenek
Browse files

After performing a bounds check in ArrayBoundChecker, record the fact that a... 

After performing a bounds check in ArrayBoundChecker, record the fact that a bounds check succeeded by transitioning the ExplodedGraph.

llvm-svn: 89712
parent de5dea86
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment