7 void * f1(int n)  in f1()  argument
9 …return malloc(n * sizeof(int));  // expected-warning {{the computation of the size of the memory a…  in f1()
12 void * f2(int n)  in f2()  argument
14 …return malloc(sizeof(int) * n); // // expected-warning {{the computation of the size of the memory…  in f2()
24   int n;  member
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()
38 void * f6(int n)  in f6()  argument
40 …return malloc((n + 1) * sizeof(int)); // expected-warning {{the computation of the size of the mem…  in f6()
45 void * f7(int n)  in f7()  argument
47   if (n > 10)  in f7()
49   return malloc(n * sizeof(int));  // no-warning  in f7()
52 void * f8(int n)  in f8()  argument
54   if (n < 10)  in f8()
55     return malloc(n * sizeof(int));  // no-warning  in f8()
60 void * f9(int n)  in f9()  argument
62 …int * x = malloc(n * sizeof(int));  // expected-warning {{the computation of the size of the memor…  in f9()
63   for (int i = 0; i < n; i++)  in f9()
68 void * f10(int n)  in f10()  argument
70 …int * x = malloc(n * sizeof(int));  // expected-warning {{the computation of the size of the memor…  in f10()
72   while (i < n)  in f10()
77 void * f11(int n)  in f11()  argument
79 …int * x = malloc(n * sizeof(int));  // expected-warning {{the computation of the size of the memor…  in f11()
83   } while (i < n);  in f11()
87 void * f12(int n)  in f12()  argument
89   n = (n > 10 ? 10 : n);  in f12()
90   int * x = malloc(n * sizeof(int));  // no-warning  in f12()
91   for (int i = 0; i < n; i++)  in f12()
98   int n;  member
103   if (s->n > 10)  in f13()
105   return malloc(s->n * sizeof(int));  // no warning  in f13()
108 void * f14(int n)  in f14()  argument
110   if (n < 0)  in f14()
112 …return malloc(n * sizeof(int));  // expected-warning {{the computation of the size of the memory a…  in f14()