On: The difference between undefined behavior and ill-...

[krackers]

>so it doesn't really matter if it is optimized away.

There are cases in which the optimization can result in behavior other than segfaulting, see https://research.swtch.com/ub#null

[thayne → krackers]

Sure. That's why I said "the behavior you would probably expect", but that isn't necessarily what happens.