http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46316
--- Comment #8 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2010-11-07 21:32:12 UTC --- > Why double_int does not use the widest int type for low/high part on the host? Not clear what you mean; it uses HOST_WIDE_INT like the rest of the compiler.