https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103117
--- Comment #2 from hubicka at kam dot mff.cuni.cz --- > I suppose modref could (for pointer returns) use ranger to query its range > and see if it ever is non-NULL? I'm not sure if we reliably propagate > null pointer constants everywhere. I think we simply want to reorder the passes here... > > Btw, uncprop is supposed to run right before RTL expansion - it is in fact > an out-of-SSA optimization, so even removing it as separate pass and > directly calling it from rewrite_out_of_ssa after eliminate_useless_phis > might be an improvement. I don't know - this way we have separate dumps etc. I think mistake was scheduling pure-const and later modref too late. Thanks, Honza