------- Comment #4 from hv at crypt dot org  2010-05-11 15:38 -------
(In reply to comment #3)
> That's a user bug.  You shouldn't pass NULL to arguments declared nonnull.
> To quote gcc documentation:
> "The compiler may also choose to make optimizations based
> on the knowledge that certain function arguments will not be null."
> 

Parameter 2 has been declared nonnull. It isn't being passed as NULL.

The generated code elides a test for parameter 3 being NULL. This parameter has
not been declared nonnull.


-- 

hv at crypt dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|INVALID                     |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44081

Reply via email to