<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">In <span style="font-family: Menlo; font-size: 11px;">r184768.</span><div><font face="Menlo" size="3"><br></font></div><div><font face="Menlo" size="3">Thanks,</font></div><div><font face="Menlo" size="3">Anna.<br></font><div><div>On Jun 20, 2013, at 11:57 PM, Béatrice Creusillet <<a href="mailto:bac@silkan.com">bac@silkan.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div bgcolor="#FFFFFF" text="#000000" style="letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><font size="-1">Hi Anna,<br><br>Here is the patch with the<span class="Apple-converted-space"> </span><font size="-1">checker documented in docs/analyzer.</font><br><br></font><div class="moz-cite-prefix">Le 21/06/2013 08:06, Anna Zaks a écrit :<br></div><blockquote cite="mid:F4C5ABAE-21D2-456E-8B1D-70B13112F9B5@apple.com" type="cite"><pre wrap="">What happens when multiple functions are analyzed? Do we open multiple documents?</pre></blockquote>It depends whether the calls are inlined in the EG during the analysis, that is if the caller and callee belong to the same translation unit or not. I hope the explanation I give in DebugChecks.rst is clear enough.<br><blockquote cite="mid:F4C5ABAE-21D2-456E-8B1D-70B13112F9B5@apple.com" type="cite"><pre wrap="">Also, we might want to warn that the graph for a non-trivial function would be very large (possibly even in checker description).</pre></blockquote>Done.<br><blockquote cite="mid:F4C5ABAE-21D2-456E-8B1D-70B13112F9B5@apple.com" type="cite"><pre wrap="">Otherwise, looks good.</pre></blockquote><br>Thanks,<br><br>Regards<br><pre class="moz-signature" cols="72">--
Béatrice Creusillet
SILKAN - <a class="moz-txt-link-abbreviated" href="http://www.silkan.com/">www.silkan.com</a></pre><span><ExplodedGraphViewer.patch></span></div></blockquote></div><br></div></body></html>