5 extern void * malloc(size_t);
9 …return malloc(n * sizeof(int));  // expected-warning {{the computation of the size of the memory a…  in f1()
14 …return malloc(sizeof(int) * n); // // expected-warning {{the computation of the size of the memory…  in f2()
19   return malloc(4 * sizeof(int));  // no-warning  in f3()
29 …return malloc(s->n * sizeof(int)); // expected-warning {{the computation of the size of the memory…  in f4()
35 …return malloc(s2.n * sizeof(int)); // expected-warning {{the computation of the size of the memory…  in f5()
40 …return malloc((n + 1) * sizeof(int)); // expected-warning {{the computation of the size of the mem…  in f6()
43 extern void * malloc (size_t);
49   return malloc(n * sizeof(int));  // no-warning  in f7()
55     return malloc(n * sizeof(int));  // no-warning  in f8()
62 …int * x = malloc(n * sizeof(int));  // expected-warning {{the computation of the size of the memor…  in f9()
70 …int * x = malloc(n * sizeof(int));  // expected-warning {{the computation of the size of the memor…  in f10()
79 …int * x = malloc(n * sizeof(int));  // expected-warning {{the computation of the size of the memor…  in f11()
90   int * x = malloc(n * sizeof(int));  // no-warning  in f12()
105   return malloc(s->n * sizeof(int)); // no-warning  in f13()
112 …return malloc(n * sizeof(int));  // expected-warning {{the computation of the size of the memory a…  in f14()