SDCC now supports the _Optional type qualifier that I pitched to WG14 in 2024. It brings nullability semantics to the #cprogramminglanguage in a straightforward way that lends itself to type variance without turning C programs into a blizzard of clutter. sourceforge.net/p/sdcc/code/HE…