Engineering Software Integral Types
summary
Finds dozens of practical failures: a Boost XML parser template that mangles character encodings, accumulators whose sum and mean silently overflow, and std algorithms that omit preconditions so results are undefined across platforms. Implements and benchmarks portable bit-twiddling and assembly-friendly primitives for add_overflow detection and double-word multiplication, brute-force tests expose subtle bugs, and argues for library-level word-by-word result support and compiler intrinsics to make overflow detection reliable and efficient.
AI-written summary · about
chapters (4)
related talks
51m0xBADC0DE
01h 02mEmbedded Friendly C++: Features That Make a Difference
55mHow bad is meta-programming still today?
01h 00mJust-in-Time Compilation
01h 03mHidden Overhead of a Function API
01h 05mThe Most Important Optimizations to Apply in Your C++ Programs
55mC++ in the World of Embedded Systems
58mLeveraging C++20/23 Features for Low Level Interactions