> What about -ftrapv? Add another set of tree codes? Or just get rid > of it? -ftrapv is easier if it were implemented on the tree level. You would compile with the semantics required by the lowered overflow checks (probably -fwrapv, but maybe not) after lowering. Paolo