diff options
| author | Martin Sebor <msebor@redhat.com> | 2017-01-11 18:33:13 +0000 |
|---|---|---|
| committer | Martin Sebor <msebor@gcc.gnu.org> | 2017-01-11 11:33:13 -0700 |
| commit | 960ecba4bf0515ef3094d68af4d6225f4f11c6d2 (patch) | |
| tree | be7b6deeba4cf5a50cc5b82bce47a2c076e5a08c | |
| parent | a2182c9cc2a1d887457e38d13e63598f85443020 (diff) | |
| download | gcc-960ecba4bf0515ef3094d68af4d6225f4f11c6d2.zip gcc-960ecba4bf0515ef3094d68af4d6225f4f11c6d2.tar.gz gcc-960ecba4bf0515ef3094d68af4d6225f4f11c6d2.tar.bz2 | |
PR c/47931 - missing -Waddress warning for comparison with NULL
gcc/testsuite/ChangeLog:
* c-c++-common/Waddress-2.c: New test.
From-SVN: r244331
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/c-c++-common/Waddress-2.c | 30 |
2 files changed, 35 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 4df8d41..51bcf98 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2017-01-11 Martin Sebor <msebor@redhat.com> + + PR c/47931 + * c-c++-common/Waddress-2.c: New test. + 2017-01-11 Jakub Jelinek <jakub@redhat.com> PR c++/78341 diff --git a/gcc/testsuite/c-c++-common/Waddress-2.c b/gcc/testsuite/c-c++-common/Waddress-2.c new file mode 100644 index 0000000..b58a55f --- /dev/null +++ b/gcc/testsuite/c-c++-common/Waddress-2.c @@ -0,0 +1,30 @@ +/* PR c/47931 - missing -Waddress warning for comparison with NULL + { dg-do compile } + { dg-options "-Waddress" } */ + +#define NULL ((void *) 0) + +int i; + +int f0 (void) +{ + return &i != 0; /* { dg-warning "the address of .i. will never be NULL" } */ +} + +int f1 (void) +{ + return &i != (void *) 0; /* { dg-warning "the address of .i. will never be NULL" } */ +} + +int f2 (void) +{ + return &i != NULL; /* { dg-warning "the address of .i. will never be NULL" } */ +} + +int f3 (void) +{ + return &i != (int *) 0; +} + + + |