------- Comment #7 from rakdver at gcc dot gnu dot org 2006-05-14 14:49 ------- (In reply to comment #4) > Created an attachment (id=11146) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11146&action=view) [edit] > first step > > with this patch scev returns (int) (char) {0,+,1} but then > chrec_convert_aggressive is removing the casts and the result > is just {0,+,1}.
This sounds suspicious, the result after chrec_convert_aggressive should be (int) [0,+,1] (where the type of 0 and 1 is char). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26719