3 ms·
Care to share a language where the compiler infers the semantic meaning of asserts and optimizes them away? I’ve never heard of this optimization.
by appellations 1y ago
Care to share a language where the compiler infers the semantic meaning of asserts and optimizes them away? I’ve never heard of this optimization.
- MindSpunk 1y agoSigned overflow is UB in C/C++ and several compilers will skip explicit overflow checks as a result. See: https://godbolt.org/z/WehcWj3G5 https://godbolt.org/z/WehcWj3G5
- mrkeen 1y agoC. This is a great thread: https://mastodon.social/@regehr/113821964763012870 https://mastodon.social/@regehr/113821964763012870 (That was one of my texts at uni)
- Maxatar 1y agoC and C++