From: Aldy Hernandez <aldyh@redhat.com>
Date: Fri, 8 Oct 2021 13:42:42 +0000 (+0200)
Subject: Grow non_null_ref bitmap when num_ssa_names increases.
X-Git-Tag: basepoints/gcc-13~4059
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=946486ab4f84a5380e1a18e37e4fb9614f5d7992;p=thirdparty%2Fgcc.git

Grow non_null_ref bitmap when num_ssa_names increases.

The strlen pass changes the IL as it works with the ranger.  This
causes the non_null_ref code to sometimes get asked questions about new
SSA names.

Tested on x86-64 Linux.

gcc/ChangeLog:

	* gimple-range-cache.cc (non_null_ref::non_null_deref_p): Grow
	bitmap if needed.
---

diff --git a/gcc/gimple-range-cache.cc b/gcc/gimple-range-cache.cc
index 7d994798e523..9cbc63d8a405 100644
--- a/gcc/gimple-range-cache.cc
+++ b/gcc/gimple-range-cache.cc
@@ -61,6 +61,9 @@ non_null_ref::non_null_deref_p (tree name, basic_block bb, bool search_dom)
     return false;
 
   unsigned v = SSA_NAME_VERSION (name);
+  if (v >= m_nn.length ())
+    m_nn.safe_grow_cleared (num_ssa_names + 1);
+
   if (!m_nn[v])
     process_name (name);