[Sdcc-user] _Optional

[Philipp K. K. <pk...@sp...>]

Dear SDCC users,

would an _Optional qualifier (see N3422 -
https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3422.pdf for details)
be useful to you?

Basically, it would be a way for programmers to explicitly specify that
a pointer might be null.

This would allow the compiler to warn on missing null pointer checks, e.g.:

void f(_Optional char *p)
{
	*p = 0; // Warning here
}

void g(_Optional char *p)
{
	if(p)
		*p = 0; // No warning here
}

Since _Optional is essentially an opt-in mechanism, we would not get any
false warnings on existing code.

Philipp