top | item 45563684 (no title) appellations | 4 months 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. discuss order hn newest MindSpunk|4 months ago 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|4 months ago C. This is a great thread: https://mastodon.social/@regehr/113821964763012870(That was one of my texts at uni) Maxatar|4 months ago C and C++
MindSpunk|4 months ago 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|4 months ago C. This is a great thread: https://mastodon.social/@regehr/113821964763012870(That was one of my texts at uni)
MindSpunk|4 months ago
mrkeen|4 months ago
(That was one of my texts at uni)
Maxatar|4 months ago