[saagarjha]

It’s hard to detect all UB at compile time

[Demiurge]

It’s harder depending on the language, which is clearly the point.