http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58491
John David Anglin <danglin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Component|target |tree-optimization
--- Comment #1 from John David Anglin <danglin at gcc dot gnu.org> ---
Breakpoint 1, build_polynomial_chrec (loop_num=1, left=0x800003fffdad94e0,
right=0x800003fffddc0640) at ../../gcc/gcc/tree-chrec.h:148
148 gcc_assert (TREE_TYPE (left) == TREE_TYPE (right));
(gdb) list
143
144 /* Types of left and right sides of a chrec should be compatible. */
145 if (POINTER_TYPE_P (TREE_TYPE (left)))
146 gcc_assert (ptrofftype_p (TREE_TYPE (right)));
147 else
148 gcc_assert (TREE_TYPE (left) == TREE_TYPE (right));
149
150 if (chrec_zerop (right))
151 return left;
152
(gdb) p debug_tree (left)
<integer_cst 800003fffdad94e0 type <integer_type 800003fffddcf7e0 long
unsigned int> constant 16>
$1 = void
(gdb) p debug_tree (right)
<integer_cst 800003fffddc0640 type <integer_type 800003fffddcf000 sizetype>
constant 8>
$2 = void
(gdb) bt
#0 build_polynomial_chrec (loop_num=1, left=0x800003fffdad94e0,
right=0x800003fffddc0640) at ../../gcc/gcc/tree-chrec.h:148
#1 0x400000000174c804 in chrec_fold_plus_1 (code=PLUS_EXPR,
type=0x800003fffddcf7e0, op0=0x800003fffbec1540, op1=0x800003fffd422c60)
at ../../gcc/gcc/tree-chrec.c:290
#2 0x400000000174c804 in chrec_fold_plus_1 (code=PLUS_EXPR,
type=0x800003fffddcf7e0, op0=0x800003fffbec1540, op1=0x800003fffd422c60)
at ../../gcc/gcc/tree-chrec.c:290
I believe "long unsigned int" and "sizetype" are compatilble.