------- Comment #3 from jakub at gcc dot gnu dot org 2007-11-13 10:26 ------- Either we should use correct order of arguments in chrec_evaluate (that function is swapping CHREC_LEFT based expression with CHREC_RIGHT based expression for pointer_plus addition) - testing patch for that - or chrec_fold_plus_1 should swap op0 with op1 if code is POINTER_PLUS_EXPR and the first argument has integer type, but second POINTER_TYPE_P.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34063