Fixed both.<div><br></div><div>--kcc <br><br><div class="gmail_quote">On Mon, Feb 6, 2012 at 12:36 PM, Duncan Sands <span dir="ltr"><<a href="mailto:baldrick@free.fr">baldrick@free.fr</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi Kostya,<br>
<br>
+    if (LI->getParent()->getParent()->hasFnAttr(Attribute::AddressSafety) &&<br>
+        LIOffs+NewLoadByteSize > MemLocEnd) {<br>
<br>
How about switching the order of the conditions so that the cheap test<br>
(LIOffs+NewLoadByteSize > MemLocEnd) is done first.  That way the more<br>
expensive test is only done if the cheap test passes, but not if it fails.<br>
<br>
+      // We will be reading past the location accessed by the original program.<br>
+      // While this is safe in a regular build, Address Safety analysys tools<br>
+      // may start reporting false warnings. So, do't do widening.<br>
<br>
do't -> don't<br>
<br>
Ciao, Duncan.<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@cs.uiuc.edu">llvm-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits</a><br>
</blockquote></div><br></div>