4 ms·
Correctness is already a must, how did you arrive to this?
by auselen 2y ago
Correctness is already a must, how did you arrive to this?
- kragen 2y agoif only the gcc and llvm maintainers, and c standard authors, agreed with you
- auselen 2y agoI 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 2y agothere are new items in this category every day, but https://blog.cr.yp.to/20240803-clang.html https://blog.cr.yp.to/20240803-clang.html is noteworthy
- auselen 2y agoEh https://news.ycombinator.com/item?id=41146860 https://news.ycombinator.com/item?id=41146860
- kragen 2y agoyes, that
- fulafel 2y agoThis 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.