Skip to content
Snippets Groups Projects
Commit 140d0c64 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>.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@155950 91177308-0d34-0410-b5e6-96231b3b80d8
parent e0fdadfd
No related branches found
No related tags found
No related merge requests found
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