diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2020-08-13 15:11:10 -0400 |
|---|---|---|
| committer | Giuliano Belinassi <giuliano.belinassi@usp.br> | 2020-08-17 15:08:11 -0300 |
| commit | da1a19a6f553ee74b5b356743a7e05ce597b82fa (patch) | |
| tree | c9e917cea8bd30e9aa27776a7d69c3894973ef53 | |
| parent | 594ee5c4fd3f671b3c9e4e4a8d70c19fa9cddaaf (diff) | |
| download | gcc-da1a19a6f553ee74b5b356743a7e05ce597b82fa.zip gcc-da1a19a6f553ee74b5b356743a7e05ce597b82fa.tar.gz gcc-da1a19a6f553ee74b5b356743a7e05ce597b82fa.tar.bz2 | |
analyzer: add regression test [PR96598]
PR analyzer/96598 reports that -fanalyzer issues a false
warning: use of NULL 'str' where non-null expected
with gcc 10.2 when used with -fsanitize=undefined.
This was fixed by g:808f4dfeb3a95f50f15e71148e5c1067f90a126d.
gcc/testsuite/ChangeLog:
PR analyzer/96598
* gcc.dg/analyzer/pr96598.c: New test.
| -rw-r--r-- | gcc/testsuite/gcc.dg/analyzer/pr96598.c | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/analyzer/pr96598.c b/gcc/testsuite/gcc.dg/analyzer/pr96598.c new file mode 100644 index 0000000..b4354cd --- /dev/null +++ b/gcc/testsuite/gcc.dg/analyzer/pr96598.c @@ -0,0 +1,26 @@ +/* { dg-additional-options "-O0 -fsanitize=undefined" } */ + +extern char *foo (char *dest, const char *src) + __attribute__ ((__nonnull__ (1, 2))); + +unsigned bar(const char *str) + __attribute__ ((__nonnull__ ())); + +unsigned test(const char *str, unsigned **pv) + __attribute__ ((__nonnull__ ())); + +unsigned test(const char* str, unsigned **pv) +{ + char buffer[130]; + + *pv = 0; + + foo(buffer, str); + if (bar(buffer)) + { + const char *ptr = 0; + foo(buffer, str); + return bar(buffer); + } + return 0; +} |