<br><br><div class="gmail_quote">On Sat, Feb 7, 2009 at 2:16 AM, Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com">kremenek@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Actually SymbolRegions do have a size... their just symbolic.  At some point we might want to consider modeling symbolic extents.</blockquote><div><br>Yes.<br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div><div></div><div class="Wj3C7c"><br>
<br>
On Feb 6, 2009, at 12:51 AM, Zhongxing Xu wrote:<br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Author: zhongxingxu<br>
Date: Fri Feb  6 02:51:30 2009<br>
New Revision: 63929<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=63929&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=63929&view=rev</a><br>
Log:<br>
SymbolicRegions really have unknown sizes.<br>
<br>
Modified:<br>
   cfe/trunk/lib/Analysis/RegionStore.cpp<br>
<br>
Modified: cfe/trunk/lib/Analysis/RegionStore.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/RegionStore.cpp?rev=63929&r1=63928&r2=63929&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/RegionStore.cpp?rev=63929&r1=63928&r2=63929&view=diff</a><br>

<br>
==============================================================================<br>
--- cfe/trunk/lib/Analysis/RegionStore.cpp (original)<br>
+++ cfe/trunk/lib/Analysis/RegionStore.cpp Fri Feb  6 02:51:30 2009<br>
@@ -481,9 +481,7 @@<br>
    return UnknownVal();<br>
  }<br>
<br>
-  if (const SymbolicRegion* SR = dyn_cast<SymbolicRegion>(R)) {<br>
-    // FIXME: Unsupported yet.<br>
-    SR = 0;<br>
+  if (isa<SymbolicRegion>(R)) {<br>
    return UnknownVal();<br>
  }<br>
<br>
<br>
<br>
_______________________________________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@cs.uiuc.edu" target="_blank">cfe-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits</a><br>
</blockquote>
<br>
</div></div></blockquote></div><br>