<div dir="ltr">Hi Anton,<div><br></div><div>Have you tested the patch on anything but the regression tests? If yes, what are the results? Did this catch any issues? Are there any false positives? <span style="line-height:normal">Since this will be a turned on by default new warning, I'd like make sure we test on real code before </span>committing.</div><div><br></div><div>Other than testing, this looks good to me. <span style="line-height:normal">Thank you!</span></div><div>Anna.<br><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Mar 21, 2015 at 7:19 AM, Антон Ярцев <span dir="ltr"><<a href="mailto:anton.yartsev@gmail.com" target="_blank">anton.yartsev@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">.<br>
<br>
<br>
================<br>
Comment at: lib/StaticAnalyzer/Checkers/MallocChecker.cpp:889<br>
@@ +888,3 @@<br>
+    const RefState *RS = State->get<RegionState>(Sym);<br>
+    if (!RS || !RS->isAllocated())<br>
+      return State;<br>
----------------<br>
</span><span class="">ayartsev wrote:<br>
> zaks.anna wrote:<br>
> > It should not be possible to have non allocated symbol here.. Is it? Maybe we should assert?<br>
> Agree, done!<br>
</span>Pardon, currently zero-allocated realloc do not attach a RefState so it is still early to assert for now.<br>
<div class="HOEnZb"><div class="h5"><br></div></div></blockquote><div><br></div><div>Is there a test for this? If not, please add one.</div><div>  </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">
<a href="http://reviews.llvm.org/D8273" target="_blank">http://reviews.llvm.org/D8273</a><br>
<br>
EMAIL PREFERENCES<br>
  <a href="http://reviews.llvm.org/settings/panel/emailpreferences/" target="_blank">http://reviews.llvm.org/settings/panel/emailpreferences/</a><br>
<br>
<br>
</div></div></blockquote></div><br></div></div></div>