Whoa, what? So you're saying "X results in UB" means "Compiler guarantees X" ? By that philosophy, C and C++ are orders of magnitude better than D, given how many so-called "guarantees" they make about your code...