<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<font size="-1">Hi Anna,<br>
<br>
Here is the patch with the <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>
</body>
</html>