3 void *malloc(size_t);
7 void __attribute((ownership_returns(malloc))) *my_malloc(size_t);
8 void __attribute((ownership_takes(malloc, 1))) my_free(void *);
10        __attribute((ownership_holds(malloc, 1, 2)));
11 void __attribute((ownership_returns(malloc, 1))) *my_malloc2(size_t);
12 void __attribute((ownership_holds(malloc, 1))) my_hold(void *);
17 void __attribute((ownership_holds(malloc, 1)))
18 __attribute((ownership_holds(malloc, 1)))
19 __attribute((ownership_holds(malloc, 3))) my_hold2(void *, void *, void *);
28   int *p = malloc(12);  in f1()
33   int *p = malloc(12);  in f2()
39   int *p = malloc(12);  in f2_realloc_0()
45   int *p = malloc(12);  in f2_realloc_1()
152   p = malloc(12);  in f3()
161   p_f4 = malloc(12);  in f4()
166   int *q = malloc(12);  in f5()
172   int *p = malloc(12);  in f6()
180   int *p = malloc(12);  in f6_realloc()
199   char *x = (char*) malloc(4);  in f7()
205   char *x = (char*) malloc(4);  in f7_realloc()
211 …int *x = malloc(11); // expected-warning{{Cast a region whose size is not a multiple of the destin…  in PR6123()
215 …int *buf = malloc(2); // expected-warning{{Cast a region whose size is not a multiple of the desti…  in PR7217()
220   void *p = malloc(2);  in mallocCastToVoid()
226   void *p = malloc(2);  in mallocCastToFP()
233   char *buf = malloc(2);  in mallocGarbage()
265   int *p = malloc(12);  in testMultipleFreeAnnotations()
266   int *q = malloc(12);  in testMultipleFreeAnnotations()