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

Teach SValBuilder to handle casts of symbolic pointer values to an integer... 

Teach SValBuilder to handle casts of symbolic pointer values to an integer twice.  Fixes <rdar://problem/11212866>.

llvm-svn: 155950
parent 2565c596
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