2009/4/29 Ted Kremenek <[email protected]>:
> Hi Zhongxing,
>
> No we can't. I'm still seeing symbolic regions wrapped in TypedViewRegions.
Hi Ted,
The removed code is only for non-symbolic regions wrapped in
TypedViewRegions('void*',..). In that case, we need to remove the fake
typed view. But now we already do not add 'void*' typed view to
non-symbolic regions. For symbolic regions, we do need the
TypedViewRegion that wraps them. So do we really need to revert this?
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
