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

Add basic support for pointer arithmetic in 

SimpleSValBuilder.  This clears up some
false positives emitted by ArrayBoundCheckerV2
due to the lack of support for pointer arithmetic.

llvm-svn: 122546
parent 5ce945ca
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