From ee9045b8074d28e5d9de110a3114f74f409c1b2d Mon Sep 17 00:00:00 2001 From: Leah Rowe Date: Fri, 13 Mar 2026 01:26:42 +0000 Subject: util/spkmodem-decode: static asserts assert integer sizes, important in this program because we make several implicit assumptions about word sizes, and integers need to be of a certain size. Signed-off-by: Leah Rowe --- util/spkmodem_decode/spkmodem-decode.c | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'util/spkmodem_decode') diff --git a/util/spkmodem_decode/spkmodem-decode.c b/util/spkmodem_decode/spkmodem-decode.c index a5283e51..4e209bf8 100644 --- a/util/spkmodem_decode/spkmodem-decode.c +++ b/util/spkmodem_decode/spkmodem-decode.c @@ -63,6 +63,7 @@ #endif #include +#include #include #include #include @@ -253,6 +254,14 @@ extern int optind; extern int opterr; extern int optopt; +typedef char static_assert_char_is_8_bits[(CHAR_BIT == 8) ? 1 : -1]; +typedef char static_assert_char_is_1[(sizeof(char) == 1) ? 1 : -1]; +typedef char static_assert_short[(sizeof(short) == 2) ? 1 : -1]; +typedef char static_assert_int_is_4[(sizeof(int) >= 4) ? 1 : -1]; +typedef char static_assert_twos_complement[ + ((-1 & 3) == 3) ? 1 : -1 +]; + int main(int argc, char **argv) { -- cgit v1.2.1