https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83296
--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> --- Note that -fdump-tree-optimized-all includes the range information in the dump. Normally, we know how to derive a range for MAX_EXPR, but in this case the MAX_EXPR only appears in phiopt3, later than VRP2. On the other hand, we knew the range before phiopt, and phiopt for some reason decided to use a new SSA_NAME and drop the range, that looks suboptimal.