------- Additional Comments From arjanv at redhat dot com 2005-06-02 12:59 ------- simple test case:
#include <stdio.h> static inline void do_thing(char *s) { if (s) printf("do_thing: %s \n", s); } void __attribute__((nonnull)) do_other_thing(char *s) { do_thing(s); } -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21582