https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109154
--- Comment #33 from Jakub Jelinek <jakub at gcc dot gnu.org> --- (In reply to Andrew Macleod from comment #32) > We could in theory expand it to look at 2 levels if its a single operand... Yeah, that would help here and could be worth it. > which will help with some of these cases where there are casts, and keep the > performance degradation from being too bad. I'm sure there will be cases > where a third would be handy :-P And/or, could we go from seeing zone1_12 in an PHI arg and in that case walk a level or two or three to see if it is dependent on an SSA_NAME known to have specific range on the edge and if so, do those range queries using that range?