> I don't think there's any particular reason to apply the label of "bug" to erroneous reasoning that cannot result in erroneous behavior. Undefined behaviour.

> I don't think there's any particular reason to apply the label of "bug" to erroneous reasoning that cannot result in erroneous behavior. Undefined behaviour. Can't go wrong now on current compilers with current architectures, but who knows what will happen at the next rounds of optimisations.