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

Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers,... 

Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers.

llvm-svn: 50108
parent d5425e8f
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