annotate arg-nonnull.h @ 404:0324fd09c7ac

Added documentation for the --symbol option for lwasm
author lost@l-w.ca
date Fri, 23 Jul 2010 18:31:33 -0600
parents 8991eb507d2d
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
388
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
1 /* A C macro for declaring that specific arguments must not be NULL.
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
2 Copyright (C) 2009, 2010 Free Software Foundation, Inc.
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
3
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
4 This program is free software: you can redistribute it and/or modify it
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
5 under the terms of the GNU General Public License as published
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
6 by the Free Software Foundation; either version 3 of the License, or
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
7 (at your option) any later version.
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
8
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
9 This program is distributed in the hope that it will be useful,
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
12 Lesser General Public License for more details.
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
13
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
14 You should have received a copy of the GNU General Public License
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
15 along with this program. If not, see <http://www.gnu.org/licenses/>. */
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
16
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
17 /* _GL_ARG_NONNULL((n,...,m)) tells the compiler and static analyzer tools
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
18 that the values passed as arguments n, ..., m must be non-NULL pointers.
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
19 n = 1 stands for the first argument, n = 2 for the second argument etc. */
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
20 #ifndef _GL_ARG_NONNULL
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
21 # if (__GNUC__ == 3 && __GNUC_MINOR__ >= 3) || __GNUC__ > 3
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
22 # define _GL_ARG_NONNULL(params) __attribute__ ((__nonnull__ params))
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
23 # else
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
24 # define _GL_ARG_NONNULL(params)
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
25 # endif
8991eb507d2d Added missing arg-nonnull.h ??? file to repo
lost@l-w.ca
parents:
diff changeset
26 #endif