1*67e74705SXin Li // RUN: %clang -target x86_64-unknown-freebsd --analyze %s
2*67e74705SXin Li
3*67e74705SXin Li #include "Inputs/system-header-simulator.h"
4*67e74705SXin Li
5*67e74705SXin Li #define M_ZERO 0x0100
6*67e74705SXin Li #define NULL ((void *)0)
7*67e74705SXin Li
8*67e74705SXin Li void *malloc(size_t, void *, int);
9*67e74705SXin Li
10*67e74705SXin Li struct test {
11*67e74705SXin Li };
12*67e74705SXin Li
13*67e74705SXin Li void foo(struct test *);
14*67e74705SXin Li
test_zeroed()15*67e74705SXin Li void test_zeroed() {
16*67e74705SXin Li struct test **list, *t;
17*67e74705SXin Li int i;
18*67e74705SXin Li
19*67e74705SXin Li list = malloc(sizeof(*list) * 10, NULL, M_ZERO);
20*67e74705SXin Li if (list == NULL)
21*67e74705SXin Li return;
22*67e74705SXin Li
23*67e74705SXin Li for (i = 0; i < 10; i++) {
24*67e74705SXin Li t = list[i];
25*67e74705SXin Li foo(t);
26*67e74705SXin Li }
27*67e74705SXin Li free(list); // no-warning
28*67e74705SXin Li }
29*67e74705SXin Li
test_nonzero()30*67e74705SXin Li void test_nonzero() {
31*67e74705SXin Li struct test **list, *t;
32*67e74705SXin Li int i;
33*67e74705SXin Li
34*67e74705SXin Li list = malloc(sizeof(*list) * 10, NULL, 0);
35*67e74705SXin Li if (list == NULL)
36*67e74705SXin Li return;
37*67e74705SXin Li
38*67e74705SXin Li for (i = 0; i < 10; i++) {
39*67e74705SXin Li t = list[i]; // expected-warning{{undefined}}
40*67e74705SXin Li foo(t);
41*67e74705SXin Li }
42*67e74705SXin Li free(list);
43*67e74705SXin Li }
44*67e74705SXin Li
test_indeterminate(int flags)45*67e74705SXin Li void test_indeterminate(int flags) {
46*67e74705SXin Li struct test **list, *t;
47*67e74705SXin Li int i;
48*67e74705SXin Li
49*67e74705SXin Li list = malloc(sizeof(*list) * 10, NULL, flags);
50*67e74705SXin Li if (list == NULL)
51*67e74705SXin Li return;
52*67e74705SXin Li
53*67e74705SXin Li for (i = 0; i < 10; i++) {
54*67e74705SXin Li t = list[i]; // expected-warning{{undefined}}
55*67e74705SXin Li foo(t);
56*67e74705SXin Li }
57*67e74705SXin Li free(list);
58*67e74705SXin Li }
59