I’m not willing to accept a “say” for performance here.
I’d also want performance impact on a non-benchmark perf sensitive code base (browser, database, etc rather than spec).
The problem with the claim that the code is incorrect is that it is only* incorrect due to the imo bogus interpretation of what should be UB.
If I write
If (a+b<a)
On any modern architecture that has a well defined and understood meaning. But compilers have repeatedly overridden I well understood behavior in the name of perf benefits that only turn up in Spec-style benchmarks
I’d also want performance impact on a non-benchmark perf sensitive code base (browser, database, etc rather than spec).
The problem with the claim that the code is incorrect is that it is only* incorrect due to the imo bogus interpretation of what should be UB.
If I write
On any modern architecture that has a well defined and understood meaning. But compilers have repeatedly overridden I well understood behavior in the name of perf benefits that only turn up in Spec-style benchmarks