On Sun, Dec 4, 2011 at 4:31 PM, Eric Botcazou <ebotca...@adacore.com> wrote: >> This introduces host-dependent code generation differences, right? >> You can simply use int64_t for code that is run on the host only. > > Well, no, there is an entire file dedicated to this business (hwint.h).
No to what? To the fact that HOST_WIDEST_INT is host-dependent and thus should not be used to drive code generation? Or no to the fact that we can (and do) use int64_t as host integer type? Richard. > -- > Eric Botcazou