<div dir="ltr"><div class="gmail_default" style="font-family:'courier new',monospace">I would like to know what API i can use to tell that x cant be negative. I looked through the value tracking analysis API, nothing seems immediate.</div><div class="gmail_default" style="font-family:'courier new',monospace"><br></div><pre class="" id="comment_text_0" style="white-space:pre-wrap;width:50em;color:rgb(0,0,0)">int divBy4(int x) {
  if (x < 0) abort();
  return x/4; </pre><div class="gmail_default" style="font-family:'courier new',monospace"><span style="color:rgb(0,0,0);white-space:pre-wrap;font-family:arial,sans-serif">}</span> </div><div class="gmail_default" style="font-family:'courier new',monospace"><br></div><div class="gmail_default" style><font face="courier new, monospace"><a href="http://llvm.org/docs/doxygen/html/ValueTracking_8h.html">http://llvm.org/docs/doxygen/html/ValueTracking_8h.html</a></font><br></div><div class="gmail_default" style><font face="courier new, monospace"><br></font></div><div class="gmail_default" style><font face="courier new, monospace">Thanks,</font></div><div class="gmail_default" style><font face="courier new, monospace">Trent</font></div></div>