<br><br><div class="gmail_quote">On Thu, Oct 30, 2008 at 1:18 PM, 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;">
<div class="Ih2E3d"><br>
On Oct 29, 2008, at 10:02 PM, 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;">
+  if (T->isArrayType()) {<br>
+    for (unsigned i = 0; i < NumInitElements; ++i) {<br>
+      Expr* Init = E->getInit(i);<br>
+      NodeSet Tmp;<br>
+      Visit(Init, Pred, Tmp);<br>
</blockquote>
<br></div>
....<div class="Ih2E3d"><br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
+<br>
+  if (T->isStructureType()) {<br>
+    // FIXME: to be implemented.<br>
+    MakeNode(Dst, E, Pred, state);<br>
+    return;<br>
+  }<br>
+<br>
</blockquote>
<br></div>
Looks great.  Should these two cases be merged?  if (T->isArrayType() || T->isStructureType())?<br>
</blockquote></div><br>Yes. I'll do it in a later patch. Now I am renaming.<br>