Lines Matching refs:buf
7 int buf[100];
8 buf[100] = 1; // expected-warning{{Out of bound memory access}}
12 int buf[100];
13 buf[99] = 1; // no-warning
36 int buf[100];
37 int *p = buf;
42 int buf[100];
43 int *p = buf;
52 int buf[100];
53 int *p = buf;
59 int buf[100];
60 int *p = buf;
66 int buf[100];
67 int *p = buf;
73 int buf[100];
74 int *p = buf;
83 int buf[100];
84 buf[-1] = 1; // expected-warning{{Out of bound memory access}}
92 int buf[100];
93 int *p = buf;
102 int buf[100];
103 int *p = buf;
113 int buf[100][100];
114 buf[0][-1] = 1; // expected-warning{{Out of bound memory access}}
122 int buf[100][100];
123 buf[-1][0] = 1; // expected-warning{{Out of bound memory access}}
127 int buf[100][100];
128 buf[0][0] = 1; // no-warning
135 int buf[100];
137 buf[x] = 1;
144 int buf[100];
146 buf[x] = 1;
153 int *buf = get_symbolic();
154 buf[-1] = 0; // no-warning;
