Undefined Behaviour as usual
Undefined Behaviour as usual
Posted Feb 25, 2024 8:36 UTC (Sun) by mb (subscriber, #50428)In reply to: Undefined Behaviour as usual by adobriyan
Parent article: Stenberg: DISPUTED, not REJECTED
> Again, if compiler can 100% prove UB access it should refuse to compile.
A compiler cannot at the same time assume UB doesn't exist and refuse to compile if it does exist.
You have to decide on a subset of UB that you want to abort instead of assuming it doesn't exist.
Which kind of defeats the purpose of UB then. It's defined behavior then.
We *do* have languages that have a proper language subset without UB. Just use them.