------- Additional Comments From olh at suse dot de 2005-05-11 06:17 ------- 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.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21320
