[auselen]

Correctness is already a must, how did you arrive to this?

[kragen]

if only the gcc and llvm maintainers, and c standard authors, agreed with you

[auselen]

I mean these compilers build all these SW stacks, even this very browser I’m using, where are these correctness issues you are talking about?

[kragen]

there are new items in this category every day, but https://blog.cr.yp.to/20240803-clang.html is noteworthy

[fulafel]

This is about optimizations affecting timing of cryptographic code, not correctness of computation, the argument for calling this a correctness bug in the compiler is quite weak I think.

[auselen]

Eh https://news.ycombinator.com/item?id=41146860

[kragen]

yes, that