> but it's unclear what happens for other types of UB. Yeah, strictly speaking we don't care as much what it does in specific cases of undefined behaviour (eg

> but it's unclear what happens for other types of UB. Yeah, strictly speaking we don't care as much what it does in specific cases of undefined behaviour (eg signed integer overflow), since compiler bugs in any specific case, while infuriating, can be worked around on a case-by-case basis (eg, warning on any null pointer check that comes after a dereference). The real concern is what happens in the arbitrarily-large number of cases that don't get specific attention.