This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/21582] (optimisation) VRP pass could/should use non-null function attribute
- From: "arjanv at redhat dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 2 Jun 2005 12:59:32 -0000
- Subject: [Bug tree-optimization/21582] (optimisation) VRP pass could/should use non-null function attribute
- References: <20050515142021.21582.arjanv@redhat.com>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Additional Comments From arjanv at redhat dot com 2005-06-02 12:59 -------
simple test case:
#include <stdio.h>
static inline void do_thing(char *s)
{
if (s)
printf("do_thing: %s \n", s);
}
void __attribute__((nonnull)) do_other_thing(char *s)
{
do_thing(s);
}
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21582