------- Comment #2 from pinskia at gcc dot gnu dot org 2008-06-10 08:25 -------
No this is not a non documentation bug as non-null attribute says that the
argument has to be non null to work correctly. So if you pass a NULL argument
to the function, it will crash. So optimizing out the check for NULLness is
correct really as the function is already expecting nonNULL.
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Component|c |middle-end
Keywords| |documentation
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36166
