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