transpile: fix out-of-range literals#1442

Merged

kkysen merged 10 commits intomasterfrom

kkysen/fix-out-of-range-literal

Nov 24, 2025

Commits on Nov 24, 2025

transpile: partially revert 7eaa39f
kkysen
committed
transpile: tests: add `out_of_range_lit.c` test for an `int32_t` that is 2^31
kkysen
committed
transpile: tests: add more `out_of_range_lit.c` examples
kkysen
committed
transpile: tests: add a `out_of_range_lit.c` example with an explicit cast
kkysen
committed
transpile: count `Half` and `BFloat16` as floats in `fn is_floating_type`
kkysen
committed
transpile: fix `fn literal_kind_matches_ty` to check if literals are in their type's range
kkysen
committed
transpile: rename `fn literal_{kind_ => }matches_ty` since we look at the value, too, now
kkysen
committed
transpile: clarify docs on `fn CTypeKind::guaranteed_{integer,float}_in_range` regarding minimum ranges
kkysen
committed
transpile: clarify that `fn CTypeKind::guaranteed_{integer,float}_in_range` only works on integer/floats, respectively
kkysen
committed
transpile: don't handle `bool` as an integer type in `fn CTypeKind::guaranteed_integer_in_range`
kkysen
committed