@sjb @tedu
I'm looking through the N3220 draft of the C standard:
https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3220.pdf
and there's this:
> 6.3.2.3 Pointers
> [...]
> 3. An integer constant expression with the value 0, such an expression cast to type void *, or the predefined constant nullptr is called a null pointer constant. If a null pointer constant or [...] is converted to a pointer type, the resulting pointer, called a null pointer, is guaranteed to compare unequal to a pointer to any object or function.
1/