4 void free(void *);
32   free(p);  in f2()
33   free(p); // expected-warning{{Try to free a memory block that has been released}}  in f2()
94   free(p); // expected-warning{{Try to free a memory block that has been released}}  in af2()
99   free(p);  in af2b()
105   free(p);  in af2c()
111   free(p);  in af2d()
120   free(p); // no-warning  in af2e()
128   free(p); // no-warning  in af3()
177     free(p);  in f6()
192   free(buf);  in pr6069()
196   free(0);  in pr6293()
201   free(x);  in f7()
223   free(p);  in mallocCastToVoid()
229   free(p);  in mallocCastToFP()
236 	free(buf);  in mallocGarbage()
251 	  free(buf);  in callocZeroesGood()
260 	  free(buf); // expected-warning{{never executed}}  in callocZeroesBad()