[Bug tree-optimization/21582] (optimisation) VRP pass could/should use non-null function attribute

[arjanv at redhat dot com]

------- 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