You are absolutely right. I was mistaken. Please re-apply.
On Apr 28, 2009, at 7:01 PM, Zhongxing Xu <[email protected]> wrote:
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
