------- Additional Comments From pinskia at gcc dot gnu dot org 2005-05-11 10:43 ------- (In reply to comment #3) > Is there an attribute to declare a function as 'will never return NULL'? > In this case it is true, the called function dereferences the pointer > to return before returning to the caller.
There is none yet but there is some talk about adding one because it would improve code generation and checks on null too. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21320