This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] __attribute__((nonnull))
- From: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- To: Jason R Thorpe <thorpej at wasabisystems dot com>
- Cc: <gcc-patches at gcc dot gnu dot org>
- Date: Thu, 23 May 2002 14:49:26 +0100 (BST)
- Subject: Re: [PATCH] __attribute__((nonnull))
On Wed, 22 May 2002, Jason R Thorpe wrote:
> * c-common.c (warn_nonnull): Declare.
> (c_common_attribute_table): Add "nonnull" attribute.
> (handle_nonnull_attribute, check_function_nonnull, nonnull_check_p,
> check_nonnull_arg, get_nonnull_operand, check_function_arguments,
> check_function_arguments_recurse): New functions.
> * c-common.h (warn_nonnull): Declare extern.
> (check_function_arguments, check_function_arguments_recurse): New
> prototypes.
> * c-decl.c (c_decode_option): Add -Wnonnull option.
> * c-format.c (set_Wformat): Set warn_nonnull if enabling
> format checking.
> (format_check_context): New structure.
> (check_format_info_recurse): Remove recursion and rename to...
> (check_format_arg): ...this. Update comment.
> (check_format_info): Use check_function_arguments_recurse.
> * c-typeck.c (build_function_call): Call check_function_arguments
> instead of check_function_format.
> * doc/extend.texi: Document "nonnull" attribute.
> * doc/invoke.texi: Docuemnt -Wnonnull option.
> * testsuite/gcc.dg/nonnull-1.c: New test.
> * testsuite/gcc.dg/nonnull-2.c: New test.
OK.
--
Joseph S. Myers
jsm28@cam.ac.uk