[Bug tree-optimization/58689] Enhance returns_nonnull

[glisse at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58689

--- Comment #4 from Marc Glisse <glisse at gcc dot gnu.org> ---
Author: glisse
Date: Tue Oct 29 13:15:48 2013
New Revision: 204159

URL: http://gcc.gnu.org/viewcvs?rev=204159&root=gcc&view=rev
Log:
2013-10-29  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.

Modified:
    trunk/include/ChangeLog
    trunk/include/ansidecl.h
    trunk/include/libiberty.h
    trunk/libiberty/ChangeLog
    trunk/libiberty/concat.c