diff options
| author | DJ Delorie <dj@redhat.com> | 2013-10-29 19:14:27 +0400 |
|---|---|---|
| committer | DJ Delorie <dj@redhat.com> | 2013-10-29 19:14:27 +0400 |
| commit | 0160e166ee3c6a87c9e95c2d75ee2d2a0c4c2a29 (patch) | |
| tree | 13e51bc70a0dd4db7bbb2884a17f016ce0a3d69e /include/ansidecl.h | |
| parent | 352d0b831e77f2bed0f7878a1f097a14abf19265 (diff) | |
merge from gcc
Diffstat (limited to 'include/ansidecl.h')
| -rw-r--r-- | include/ansidecl.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/include/ansidecl.h b/include/ansidecl.h index 40f4a5fea..5cd03a7d7 100644 --- a/include/ansidecl.h +++ b/include/ansidecl.h @@ -311,6 +311,15 @@ So instead we use the macro below and test it against specific values. */ # endif /* GNUC >= 3.3 */ #endif /* ATTRIBUTE_NONNULL */ +/* Attribute `returns_nonnull' was valid as of gcc 4.9. */ +#ifndef ATTRIBUTE_RETURNS_NONNULL +# if (GCC_VERSION >= 4009) +# define ATTRIBUTE_RETURNS_NONNULL __attribute__ ((__returns_nonnull__)) +# else +# define ATTRIBUTE_RETURNS_NONNULL +# endif /* GNUC >= 4.9 */ +#endif /* ATTRIBUTE_RETURNS_NONNULL */ + /* Attribute `pure' was valid as of gcc 3.0. */ #ifndef ATTRIBUTE_PURE # if (GCC_VERSION >= 3000) |