OT (partially): about promotion of integers

[bearophile]

Araq:

> So how does D improve on C's model?

There is some range analysis on shorter integral values. But 
overall it shares the same troubles.


> If signed integers are required to wrap around in D (no 
> undefined behaviour),

I think in D specs signed integers don't require the wrap-around 
(so it's undefined behaviour).

Bye,
bearophile