14 if (y != NULL) free (y);
16 /* y is unuseable...but no error yet */
30 if (y != NULL) free (y);
33 *y = 23; /* 1. Variable y used in inconsistent state */
34 } /* 2. Dereference of possibly null pointer y: *y */
47 if (y != NULL) free (y);
51 *y = 23; /* 3. Dereference of possibly null pointer y: *y */