Both patches look good to me.<br><br><div class="gmail_quote">On Mon, Jun 21, 2010 at 10:33 AM, Jordy Rose <span dir="ltr"><<a href="mailto:jediknil@belkadan.com">jediknil@belkadan.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<br>
Playing with this today, the issues discussed in PR7406 seem to stem from<br>
two causes:<br>
<br>
1. AttrNonNullChecker doesn't expect the value of a nonnull argument to be<br>
unknown when it's checked. Patch here:<br>
<a href="http://llvm.org/bugs/attachment.cgi?id=5067" target="_blank">http://llvm.org/bugs/attachment.cgi?id=5067</a><br>
<br>
2. The additive folding code in SimpleSValuator and the constraint manager<br>
doesn't handle the case where the constants are of different types<br>
(unsigned, long long, etc). Patch here:<br>
<a href="http://llvm.org/bugs/attachment.cgi?id=5069" target="_blank">http://llvm.org/bugs/attachment.cgi?id=5069</a><br>
<br>
#2 in particular could use a review, since it's a nontrivial fix (a number<br>
of type conversions). And of course it was me who didn't get this right the<br>
first time around. Ted? Zhongxing?<br>
<br>
Jordy<br>
_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br>
</blockquote></div><br>