#include <stdio.h>
void foo(int p[static 1]);
int main(void)
{
int n = 42;
int *p = NULL;
foo(&n);
foo(p);
foo(NULL);
return 0;
}
void foo(int p[static 1])
{
if (!p) {
printf("Error: null pointer passed\n"); }
}
I2luY2x1ZGUgPHN0ZGlvLmg+Cgp2b2lkIGZvbyhpbnQgcFtzdGF0aWMgMV0pOwoKaW50IG1haW4odm9pZCkKewogICAgaW50IG4gPSA0MjsKICAgIGludCAqcCA9IE5VTEw7CgogICAgZm9vKCZuKTsKICAgIGZvbyhwKTsKICAgIGZvbyhOVUxMKTsKCiAgICByZXR1cm4gMDsKfQoKdm9pZCBmb28oaW50IHBbc3RhdGljIDFdKQp7CiAgICBpZiAoIXApIHsKICAgICAgICBwcmludGYoIkVycm9yOiBudWxsIHBvaW50ZXIgcGFzc2VkXG4iKTsKICAgIH0KfQo=