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