On 12/14/2017 01:54 AM, Richard Biener wrote: > > IVOPTs (at least) leaves unfolded stmts in the IL and VRP overzealously > asserts they cannot happen. > > Bootstrap and regtest running on x86_64-unknown-linux-gnu. > > Richard. > > 2017-12-14 Richard Biener <rguent...@suse.de> > > PR tree-optimization/83418 > * vr-values.c (vr_values::extract_range_for_var_from_comparison_expr): > Instead of asserting we don't get unfolded comparisons deal with > them. > > * gcc.dg/torture/pr83418.c: New testcase. I think this also potentially affects dumping. I've seen the dumper crash trying to access a INTEGER_CST where we expected to find an SSA_NAME while iterating over a statement's operands.
I haven't submitted the workaround because I hadn't tracked down the root cause to verify something deeper isn't wrong. Jeff