"Wyatt" wrote in message news:wpyvrdoofziktwqkzqbf at forum.dlang.org... > I think the point here is that usually, when the optimiser changes the > semantics of valid code, it's considered a bug in the optimiser. s/usually/always/ The thing is, code containing an assertion that is not always true is not valid code.