diff options
Diffstat (limited to 'lib/arg-nonnull.h')
| -rw-r--r-- | lib/arg-nonnull.h | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/lib/arg-nonnull.h b/lib/arg-nonnull.h deleted file mode 100644 index f0dbac7..0000000 --- a/lib/arg-nonnull.h +++ /dev/null @@ -1,10 +0,0 @@ -/* _GL_ARG_NONNULL((n,...,m)) tells the compiler and static analyzer tools - that the values passed as arguments n, ..., m must be non-NULL pointers. - n = 1 stands for the first argument, n = 2 for the second argument etc. */ -#ifndef _GL_ARG_NONNULL -# if (__GNUC__ == 3 && __GNUC_MINOR__ >= 3) || __GNUC__ > 3 -# define _GL_ARG_NONNULL(params) __attribute__ ((__nonnull__ params)) -# else -# define _GL_ARG_NONNULL(params) -# endif -#endif |