[appellations]

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]

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

[mrkeen]

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

(That was one of my texts at uni)

[Maxatar]

C and C++