From: David Malcolm <dmalcolm@redhat.com>
Date: Tue, 30 Nov 2021 20:31:59 +0000 (-0500)
Subject: analyzer: add regression test [PR94579]
X-Git-Tag: basepoints/gcc-13~2671
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=955ea7b58e4f1e3cc5083e88575161168c147254;p=thirdparty%2Fgcc.git

analyzer: add regression test [PR94579]

gcc/testsuite/ChangeLog:
	PR analyzer/94579
	* gcc.dg/analyzer/pr94579.c: New test.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
---

diff --git a/gcc/testsuite/gcc.dg/analyzer/pr94579.c b/gcc/testsuite/gcc.dg/analyzer/pr94579.c
new file mode 100644
index 000000000000..0ab88c2efb55
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/analyzer/pr94579.c
@@ -0,0 +1,11 @@
+struct a *c;
+struct a {
+  int b;
+} d() {
+}
+
+void e()
+
+{
+  *c = d();
+}