diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2016-12-22 12:48:39 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2016-12-22 12:48:39 +0100 |
| commit | 35dddc5327d6d188da70a786105a796ffe201665 (patch) | |
| tree | da7ff471c561b500da22d712a5e67b600087e7c2 /gcc | |
| parent | 0b435c16901f5642e2767dc72a53aad251f57661 (diff) | |
| download | gcc-35dddc5327d6d188da70a786105a796ffe201665.zip gcc-35dddc5327d6d188da70a786105a796ffe201665.tar.gz gcc-35dddc5327d6d188da70a786105a796ffe201665.tar.bz2 | |
re PR middle-end/78858 (Bogus -Wnonnull warning involving strcmp with -fsanitize=undefined)
PR middle-end/78858
* c-c++-common/ubsan/pr78858.c: New test.
* gcc.dg/nonnull-5.c: New test.
From-SVN: r243884
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/c-c++-common/ubsan/pr78858.c | 10 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/nonnull-5.c | 11 |
3 files changed, 27 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3a704c5..33908d5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2016-12-22 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/78858 + * c-c++-common/ubsan/pr78858.c: New test. + * gcc.dg/nonnull-5.c: New test. + 2016-12-21 Jakub Jelinek <jakub@redhat.com> PR c++/72707 diff --git a/gcc/testsuite/c-c++-common/ubsan/pr78858.c b/gcc/testsuite/c-c++-common/ubsan/pr78858.c new file mode 100644 index 0000000..ad0af42 --- /dev/null +++ b/gcc/testsuite/c-c++-common/ubsan/pr78858.c @@ -0,0 +1,10 @@ +/* PR middle-end/78858 */ +/* { dg-do compile } */ +/* { dg-options "-fsanitize=undefined -Wnonnull" } */ + +void +foo (char **x, const char *y) +{ + *x = (char *) __builtin_malloc (__builtin_strlen (y) + 1); /* { dg-bogus "argument 1 null where non-null expected" } */ + __builtin_strcpy (*x, y); +} diff --git a/gcc/testsuite/gcc.dg/nonnull-5.c b/gcc/testsuite/gcc.dg/nonnull-5.c new file mode 100644 index 0000000..ba52fe3 --- /dev/null +++ b/gcc/testsuite/gcc.dg/nonnull-5.c @@ -0,0 +1,11 @@ +/* Reduced from https://sourceware.org/bugzilla/show_bug.cgi?id=20978 */ +/* { dg-do compile } */ +/* { dg-options "-O2 -Wnonnull" } */ + +int +foo (const char *name) +{ + if (name) + return 6; + return __builtin_strlen (name); /* { dg-warning "argument 1 null where non-null expected" } */ +} |