3 ms·
If it's proven then we can add a new pointless compiler optimization (some of them are already allowed to assume some things never terminate, even)
by mhh__ 5y ago
If it's proven then we can add a new pointless compiler optimization (some of them are already allowed to assume some things never terminate, even)
- exikyut 5y agoWhat's the most pointless compiler optimization you're aware of? (Obviously a subjective question in practice, so chances are you might need to add a bit of qualification)
- _zywo 5y agoInfinite loops are considered undefined behaviour in C++.
- PartiallyTyped 5y agollvm skips it entirely. https://twitter.com/badamczewski01/status/1428262570427928577?lang=en https://twitter.com/badamczewski01/status/142826257042792857...
- someweirdperson 5y agoIt can easily be proven for all valid values of int (of a specific limited size).
- pilaf 5y agoSurely it's true for every unsigned 64-bit integer.