http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58237
Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |manu at gcc dot gnu.org
--- Comment #2 from Manuel López-Ibáñez <manu at gcc dot gnu.org> ---
(In reply to Marek Polacek from comment #1)
> I don't think GCC is the right place to implement this. SA tools are more
> appropriate for this.
Or a GCC plugin. I vaguely remember some discussion that GCC could distribute a
plugin that allowed users to perform this kind of expensive static analysis. Of
course, the issue (as always) is that someone needs to implement such a thing
and the number of people (interested && capable && available) is close to zero.
(cppcheck and clang-analyzer do *many* things that GCC will never be able to
do)
