> (non-path) it still works on riscv but not on x86 or power. I haven't tried > with a statement yet but can do that of course.
if (get_range_query (cfun)->range_of_stmt (r, stmt)
&& !r.varying_p ()
&& !r.undefined_p ())
with stmt = cond_stmt
doesn't work on riscv either. Let's wait if Andrew has other suggestions
still. I'll pause on this until then.
--
Regards
Robin
