4 void free(void *);
9 …free(a); // expected-warning {{Argument to free() is the address of the local variable 'a', which …  in t1()
14 …free(&a); // expected-warning {{Argument to free() is the address of the local variable 'a', which…  in t2()
19 …free(a); // expected-warning {{Argument to free() is the address of the static variable 'a', which…  in t3()
23   free(x); // no-warning  in t4()
28   free(ptr()); // no-warning  in t5()
32 …free((void*)1000); // expected-warning {{Argument to free() is a constant address (1000), which is…  in t6()
36   free(*x); // no-warning  in t7()
41   free((*x)+8); // no-warning  in t8()
46 …free(&&label); // expected-warning {{Argument to free() is the address of the label 'label', which…  in t9()
50 …free((void*)&t10); // expected-warning {{Argument to free() is the address of the function 't10', …  in t10()
55   free(p); // expected-warning {{Memory allocated by alloca() should not be deallocated}}  in t11()
60   free(p); // expected-warning {{Memory allocated by alloca() should not be deallocated}}  in t12()
64 …free(^{return;}); // expected-warning {{Argument to free() is a block, which is not memory allocat…  in t13()
68 …free(&a); // expected-warning {{Argument to free() is the address of the parameter 'a', which is n…  in t14()
73 …free(someGlobal); // expected-warning {{Argument to free() is the address of the global variable '…  in t15()
78   free(x[offset]); // no-warning  in t16()