C23 был-то добавилен checked integer arithmetic

В C долго приходилось руками писать однотипные helper-функции, чтобы безопасно проверять переполнение при сложении, вычитании или умножении.

Теперь в C23 для этого появился заголовок:

#include <stdckdint.h>

И функции вроде ckd_mul:

#include <stdckdint.h>
#include <stdint.h>
#include <stdio.h>

int main(void) {
    int32_t price = 500000;
    int32_t qty = 8000;
    int32_t total;

    if (ckd_mul(&total, price, qty)) {
        puts("overflow caught, not shipped");
        return 1;
    }

    printf("total: %d\n", total);
}

Смысл простой: если результат помещается в тип, он записывается в total.
Если произошло переполнение, функция возвращает true.

Это особенно полезно в коде, где числа приходят извне:

• размеры буферов
• цены и количества
• индексы
• длины массивов
• расчёт памяти
• сетевые пакеты
• парсеры бинарных форматов

Раньше такие проверки часто писали руками, и там легко ошибиться на границах типа.
Теперь стандартная библиотека даёт нормальный способ сказать: «умножь, но не дай мне случайно получить мусор из-за overflow».

Маленькое изменение в стандарте, но для системного кода очень приятное.