------- Comment #22 from rguenth at gcc dot gnu dot org 2009-04-11 15:58 ------- On no-undefined-overflow branch the FE can do the increment/decrement on the target type safely (well, there are no NV variants of the {PRE,POST}{IN,DEC}REMENT expressions on the branch, so they at the moment all get lowered to possibly wrapping variants during gimplification).
Unfortunately that branch is way from "ready". -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35634