On Thu, Jun 30, 2011 at 09:57, Sebastian Pop <seb...@gmail.com> wrote:
>> Canonically extended according to TYPE_UNSIGNED I mean. So what you
>> do is always create signed mpzs - that should simply work without
>> doing anything to the double-int. Thus, why not do
>>
>> static inline void
>> tree_int_to_gmp (tree t, mpz_t res)
>> {
>> double_int di = tree_to_double_int (t);
>> mpz_set_double_int (res, di, false);
>> }
>>
>> ?
I tried that and just passing false does not fix PR47653.
You still have the problem of the unsigned decrementing induction variable
that I described.
Sebastian
