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 (file)
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;
+}