Hi,
I agree with you that C would benefit from a new type qualifier to
indicate pointer nullability, although not with your suggestion that
such a qualifier should indicate the property cannot-be-null.
If you just want a syntax for declaring that a function parameter is
not a null pointer, C alre
I am not C expert, so be polity. I do not see something similar in C world,
but similar techniques in other languages, such like Vala.
I suggest to create two new pointer type:
1. can-be-null
2. cannot-be-null
(You must find other words to describe it behavior).
First enforces to compiler checki
