On 5/7/21 9:03 PM, Andrew MacLeod wrote:

+  else
+    {
+      range_on_entry (r, bb, name);
+      // See if there was a deref in this block, if applicable
+      if (!cfun->can_throw_non_call_exceptions && r.varying_p () &&
+         m_cache.m_non_null.non_null_deref_p (name, bb))
+       r = range_nonzero (TREE_TYPE (name));
+    }

Nit. The final && must go on the following line. And it probably looks better if you put each "&& conditional" on its own line.

Aldy

Reply via email to