3 /*@only@*/ /*@null@*/ int *p;
5 extern /*@truenull@*/ bool isNull (/*@null@*/ int *p);
13 if (p == NULL) exit (EXIT_FAILURE);
20 if (p != NULL) return;
23 if (p == NULL) exit (EXIT_FAILURE);
29 if (p == NULL) return 0;
35 if (isNull(p)) return 0;
41 if (p == NULL) return;
43 p = malloc (24); /* 1. Only storage p not released before assignment */
44 if (p == NULL) exit (EXIT_FAILURE);