Undefined Behavior in 2017 - A D perspective?

[John Carter via Digitalmars-d]

Pascal Cuoq and John Regehr's blog post
     https://blog.regehr.org/archives/1520
on Undefined Behavior in 2017 is gaining quite a bit of well 
deserved notice...

https://www.reddit.com/r/programming/comments/6lc9zs/undefined_behavior_in_2017/
https://www.reddit.com/r/C_Programming/comments/6lf02m/undefined_behavior_in_2017/
https://www.reddit.com/r/cpp/comments/6lct2n/undefined_behavior_in_2017/
https://news.ycombinator.com/item?id=14700251
https://lobste.rs/s/teqf5u/undefined_behavior_2017

I would love to a see a D response to this, as this is one of the 
areas where D is particularly attractive.