In r184768. Thanks, Anna. On Jun 20, 2013, at 11:57 PM, Béatrice Creusillet <[email protected]> wrote:
> Hi Anna, > > Here is the patch with the checker documented in docs/analyzer. > > Le 21/06/2013 08:06, Anna Zaks a écrit : >> What happens when multiple functions are analyzed? Do we open multiple >> documents? > 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. >> Also, we might want to warn that the graph for a non-trivial function would >> be very large (possibly even in checker description). > Done. >> Otherwise, looks good. > > Thanks, > > Regards > -- > Béatrice Creusillet > SILKAN - www.silkan.com > <ExplodedGraphViewer.patch>
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
