On Tue, Feb 17, 2009 at 6:51 PM, Ted Kremenek <[email protected]> wrote: > In general, doing this kind of analysis doesn't just require > inter-procedural analysis, but it requires doing a whole-program analysis > across multiple source files. This is necessary because the definition for > the panic function itself likely occurs in one specific file. Doing this > kind of whole-program analysis requires some infrastructure that is a big > TODO for the analyzer. Having this kind of whole-program analysis in place > would also open the door for doing a lot more sophisticated checks.
Yes please - so does this TODO have any kind of shape yet? _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
