On Fri, 11 Oct 2013, Marc Glisse wrote:
Hello,here are some uses for returns_nonnull in libiberty. Bootstrap+testsuite (default languages) on x86_64-unknown-linux-gnu. 2013-10-11 Marc Glisse <marc.gli...@inria.fr> PR tree-optimization/58689 include/ * ansidecl.h (ATTRIBUTE_RETURNS_NONNULL): New macro. * libiberty.h (basename, lbasename, dos_lbasename, unix_lbasename, concat_copy): Mark with attributes nonnull(1) and returns_nonnull. (concat, reconcat, concat_copy2, choose_temp_base, xstrerror, xmalloc, xrealloc, xcalloc, xstrdup, xstrndup, xmemdup, pex_init): Mark with attribute returns_nonnull. libiberty/ * concat.c: Remove note about xmalloc.
Hello, I cross-posted this message: http://gcc.gnu.org/ml/gcc-patches/2013-10/msg00986.html to the various libiberty users, and the only replies I got were: ok for gcc gdb doesn't mind (Tom Tromey) makes sense (Mike Frysinger) is the original patch thus ok? http://gcc.gnu.org/ml/gcc-patches/2013-10/msg00818.html -- Marc Glisse
