From: David Malcolm <dmalcolm@redhat.com>
Date: Thu, 13 Aug 2020 19:11:10 +0000 (-0400)
Subject: analyzer: add regression test [PR96598]
X-Git-Tag: basepoints/gcc-12~5562
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2ec32ddf822887cddc8910ed30dc105890def4ee;p=thirdparty%2Fgcc.git

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.
---

diff --git a/gcc/testsuite/gcc.dg/analyzer/pr96598.c b/gcc/testsuite/gcc.dg/analyzer/pr96598.c
new file mode 100644
index 000000000000..b4354cd3394f
--- /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;
+}