aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Malcolm <dmalcolm@redhat.com>2020-08-13 15:11:10 -0400
committerDavid Malcolm <dmalcolm@redhat.com>2020-08-13 19:08:20 -0400
commit2ec32ddf822887cddc8910ed30dc105890def4ee (patch)
tree2599c75323a6d77ff8c7fd2c7ef4a22f1b70197d
parent808f4dfeb3a95f50f15e71148e5c1067f90a126d (diff)
downloadgcc-2ec32ddf822887cddc8910ed30dc105890def4ee.zip
gcc-2ec32ddf822887cddc8910ed30dc105890def4ee.tar.gz
gcc-2ec32ddf822887cddc8910ed30dc105890def4ee.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.c26
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;
+}