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

Create "TypedViewRegions" that layer on top of SymbolicRegions when handling 

pointer-to-pointer casts involving symbolic locations.

llvm-svn: 65984
parent 804fc236
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment