http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17308
Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |manu at gcc dot gnu.org
--- Comment #7 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2011-02-11
19:43:20 UTC ---
(In reply to comment #6)
> It's been several years, and this attribute is still missing functionality
> about warning for deduced NULL values. Can this be looked at?
GCC has as a unwritten policy to not emit warnings from the middle-end, except
for a few exceptions. The front-ends do not have the infrastructure to do this
kind of analysis, and GCC maintainers have repeatedly said that there is no
intention to make gcc front-ends serve as a source code analysis tool like the
clang analyzer. So, unless new contributors step forward with a convincing
implementation of this, and for what I mean by "convincing" please read point 3
in the notes to beginners[*], the answer is: No, I wouldn't expect this to be
implemented in the near or medium future. Sorry for the bad news, but I think
it is better to be honest and save you the frustration.
[*] http://gcc.gnu.org/wiki/GCC_Research
