Checked Arithmetic Based on existing compiler builtins, C23 will get type-generic functions for checked integer arithmetic to detect overflow in signed arithmetic. #include <stdckdint.h> int a = -1; int b = ... int c; if (ckd_mul(&c, a, b)) ... error ... n2669 n2681 n2683 n2792 n2868