When I simplify the example.. I have a function like:
void Crash(void) {
exit(100);
}
And somewhere else code like:
...
if (val == NULL) Crash();
*val = something; // here I get the dereferencing NULL pointer warning
Is there any way how to mark the Crash function as escaping? So I would not have to write:
if (val == NULL) {
Crash();
return; // to avoid compiler's warnings
}