From: David Malcolm <dmalcolm@redhat.com>
Date: Wed, 6 Jan 2021 01:53:40 +0000 (-0500)
Subject: analyzer: add regression test for PR 98073
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=23fc2be633c61f24a4fbd4096c669e7147ca44ae;p=gcc.git

analyzer: add regression test for PR 98073

This ICE was fixed by r11-2694-g808f4dfeb3a95f50 (aka the big state
rewrite for GCC 11).

gcc/testsuite/ChangeLog:
	PR analyzer/98073
	* gcc.dg/analyzer/pr98073.c: New test.
---

diff --git a/gcc/testsuite/gcc.dg/analyzer/pr98073.c b/gcc/testsuite/gcc.dg/analyzer/pr98073.c
new file mode 100644
index 00000000000..abbda09bf99
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/analyzer/pr98073.c
@@ -0,0 +1,13 @@
+struct ist {
+  char ptr;
+  long len;
+} __trans_tmp_1, http_update_host_authority;
+int http_update_host_sl_0_0_0;
+void http_update_host(const struct ist uri) {
+  uri.len || uri.ptr;
+  if (http_update_host_sl_0_0_0) {
+    http_update_host_authority = __trans_tmp_1;
+    !http_update_host_authority.len;
+  } else
+    http_update_host_authority = uri;
+}