Hello, why do we restrict the expression simplification in fold-const.c when TREE_OVERFLOW occurs? It is very hard to avoid overflows in the loop optimizer on lno-branch, which causes us to produce unsimplified expressions like bnd.14_51 - 1 + 0 quite often just because something overflowed. Zdenek