Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.


Signed overflow is UB in C/C++ and several compilers will skip explicit overflow checks as a result. See: https://godbolt.org/z/WehcWj3G5


C. This is a great thread: https://mastodon.social/@regehr/113821964763012870

(That was one of my texts at uni)


C and C++




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: