signed is undefined and has been since 1992 (in GCC)

[Robert Dewar]

Gabriel Dos Reis wrote:
> Robert Dewar <dewar@adacore.com> writes:
> 
> | "has the semantics that Gabriel Dos Reis wants" is not an evaluable
> | predicate!
> 
> You completely missed the point, but I guess it is consistent with
> your denying that there is any connection between C or C++ and
> hardware.

So, let's make this MUCH more specific. Gabriel, on the MIPS chip,
do you think there is something in the definition of C that leads
you to prefer wrap around semantics to trapping semantics?