9 …int* p = new int[10]; // expected-warning{{'p' is an unsafe pointer used for buffer access}} expec…  in local_assign_both_span()
10   tmp = p[4];  // expected-note{{used in buffer access here}}  in local_assign_both_span()
12 …int* q = new int[10];  // expected-warning{{'q' is an unsafe pointer used for buffer access}} expe…  in local_assign_both_span()
13   tmp = q[4];  // expected-note{{used in buffer access here}}  in local_assign_both_span()
21   int* q = new int[10];  // expected-warning{{'q' is an unsafe pointer used for buffer access}}  in local_assign_rhs_span()
22   tmp = q[4];  // expected-note{{used in buffer access here}}  in local_assign_rhs_span()
35 …int* p = new int[10];  // expected-warning{{'p' is an unsafe pointer used for buffer access}} expe…  in local_assign_lhs_span()
36   tmp = p[4];  // expected-note{{used in buffer access here}}  in local_assign_lhs_span()
46 …int *d = c;  // expected-warning{{'d' is an unsafe pointer used for buffer access}} expected-note{…  in lhs_span_multi_assign()
47   int tmp = d[2];  // expected-note{{used in buffer access here}}  in lhs_span_multi_assign()
52   int *y;  // expected-warning{{'y' is an unsafe pointer used for buffer access}}  in rhs_span()
53   y[5] = 10;  // expected-note{{used in buffer access here}}  in rhs_span()
60 …int *p = q;  // expected-warning{{'p' is an unsafe pointer used for buffer access}} expected-note{…  in rhs_span1()
61   p[5] = 10;  // expected-note{{used in buffer access here}}  in rhs_span1()
62 …int *r = q;  // expected-warning{{'r' is an unsafe pointer used for buffer access}} expected-note{…  in rhs_span1()
63   r[10] = 5;  // expected-note{{used in buffer access here}}  in rhs_span1()
68   int *p = q; // expected-warning{{'p' is an unsafe pointer used for buffer access}}  in rhs_span2()
69   p[5] = 10;  // expected-note{{used in buffer access here}}  in rhs_span2()
76   int *y = new int[10];  // expected-warning{{'y' is an unsafe pointer used for buffer access}}  in test_grouping()
77   tmp = y[5]; // expected-note{{used in buffer access here}}  in test_grouping()
87   int *y = new int[10];  // expected-warning{{'y' is an unsafe pointer used for buffer access}}  in test_grouping1()
88   tmp = y[5];  // expected-note{{used in buffer access here}}  in test_grouping1()
92   int *w = new int[10];  // expected-warning{{'w' is an unsafe pointer used for buffer access}}  in test_grouping1()
93   tmp = w[5];  // expected-note{{used in buffer access here}}  in test_grouping1()
100   int *p = new int[4];  // expected-warning{{'p' is an unsafe pointer used for buffer access}}  in foo1a()
102   int tmp = p[9];  // expected-note{{used in buffer access here}}  in foo1a()
109 …int *p = new int[4];  // expected-warning{{'p' is an unsafe pointer used for buffer access}} expec…  in foo1b()
111   int tmp = p[9];  // expected-note{{used in buffer access here}}  in foo1b()
112 …int *q;  // expected-warning{{'q' is an unsafe pointer used for buffer access}} expected-note{{cha…  in foo1b()
114   tmp = q[9];  // expected-note{{used in buffer access here}}  in foo1b()
118   int *r = new int[7];  // expected-warning{{'r' is an unsafe pointer used for buffer access}}  in foo1c()
121   int tmp = r[9];  // expected-note{{used in buffer access here}}  in foo1c()
122   int *q;  // expected-warning{{'q' is an unsafe pointer used for buffer access}}  in foo1c()
124   tmp = q[9];  // expected-note{{used in buffer access here}}  in foo1c()
129 …int *p = new int[5];  // expected-warning{{'p' is an unsafe pointer used for buffer access}} expec…  in foo2a()
132   int tmp = p[8];  // expected-note{{used in buffer access here}}  in foo2a()
139   int *q = new int[4];  // expected-warning{{'q' is an unsafe pointer used for buffer access}}  in foo2b()
141   int tmp = q[8];  // expected-note{{used in buffer access here}}  in foo2b()
147 …int *p = new int[5];  // expected-warning{{'p' is an unsafe pointer used for buffer access}} expec…  in foo2c()
148 …int *q = new int[4];  // expected-warning{{'q' is an unsafe pointer used for buffer access}} expec…  in foo2c()
150   int tmp = p[8];  // expected-note{{used in buffer access here}}  in foo2c()
152   tmp = q[8];  // expected-note{{used in buffer access here}}  in foo2c()
157   int *p = new int[5];  // expected-warning{{'p' is an unsafe pointer used for buffer access}}  in foo3a()
160   int tmp = p[8];  // expected-note{{used in buffer access here}}  in foo3a()
167 …int *q = new int[4];  // expected-warning{{'q' is an unsafe pointer used for buffer access}} //exp…  in foo3b()
169   int tmp = q[8];  // expected-note{{used in buffer access here}}  in foo3b()
176 …int *p;  // expected-warning{{'p' is an unsafe pointer used for buffer access}} expected-note{{cha…  in test_crash()
178   int tmp = p[9];  // expected-note{{used in buffer access here}}  in test_crash()
183   int *local;  // expected-warning{{'local' is an unsafe pointer used for buffer access}}  in foo_uuc()
185   local++;  // expected-note{{used in pointer arithmetic here}}  in foo_uuc()
191 …int *r = new int[8];  // expected-warning{{'r' is an unsafe pointer used for buffer access}}  // e…  in check_rhs_fix()
193   r[7] = 9;  // expected-note{{used in buffer access here}}  in check_rhs_fix()
198   int *r = new int[8];  // expected-warning{{'r' is an unsafe pointer used for buffer access}}  in check_rhs_nofix()
199   int *x;  // expected-warning{{'x' is an unsafe pointer used for buffer access}}  in check_rhs_nofix()
200   r[7] = 9;  // expected-note{{used in buffer access here}}  in check_rhs_nofix()
202   x++;  // expected-note{{used in pointer arithmetic here}}  in check_rhs_nofix()
206   int *r = new int[8];  // expected-warning{{'r' is an unsafe pointer used for buffer access}}  in check_rhs_nofix_order()
207   int *x;  // expected-warning{{'x' is an unsafe pointer used for buffer access}}  in check_rhs_nofix_order()
208   x++;  // expected-note{{used in pointer arithmetic here}}  in check_rhs_nofix_order()
209   r[7] = 9;  // expected-note{{used in buffer access here}}  in check_rhs_nofix_order()
214   int *r = new int[8];  // expected-warning{{'r' is an unsafe pointer used for buffer access}}  in check_rhs_nofix_order1()
215   r[7] = 9;  // expected-note{{used in buffer access here}}  in check_rhs_nofix_order1()
216   int *x;  // expected-warning{{'x' is an unsafe pointer used for buffer access}}  in check_rhs_nofix_order1()
217   x++;  // expected-note{{used in pointer arithmetic here}}  in check_rhs_nofix_order1()
222   int *x;  // expected-warning{{'x' is an unsafe pointer used for buffer access}}  in check_rhs_nofix_order2()
223   int *r = new int[8];  // expected-warning{{'r' is an unsafe pointer used for buffer access}}  in check_rhs_nofix_order2()
224   r[7] = 9;  // expected-note{{used in buffer access here}}  in check_rhs_nofix_order2()
225   x++;  // expected-note{{used in pointer arithmetic here}}  in check_rhs_nofix_order2()
230   int *x;  // expected-warning{{'x' is an unsafe pointer used for buffer access}}  in check_rhs_nofix_order3()
231   int *r = new int[8];  // expected-warning{{'r' is an unsafe pointer used for buffer access}}  in check_rhs_nofix_order3()
233   r[7] = 9;  // expected-note{{used in buffer access here}}  in check_rhs_nofix_order3()
234   x++;  // expected-note{{used in pointer arithmetic here}}  in check_rhs_nofix_order3()
238   int *x;  // expected-warning{{'x' is an unsafe pointer used for buffer access}}  in check_rhs_nofix_order4()
239   int *r = new int[8];  // expected-warning{{'r' is an unsafe pointer used for buffer access}}  in check_rhs_nofix_order4()
240   r[7] = 9;  // expected-note{{used in buffer access here}}  in check_rhs_nofix_order4()
242   x++;  // expected-note{{used in pointer arithmetic here}}  in check_rhs_nofix_order4()
246 …int *r = new int[8];  // expected-warning{{'r' is an unsafe pointer used for buffer access}}  // e…  in no_unhandled_lhs()
247   r[7] = 9;  // expected-note{{used in buffer access here}}  in no_unhandled_lhs()
253   int *r = new int[8];  // expected-warning{{'r' is an unsafe pointer used for buffer access}}  in unhandled_lhs()
254   r[7] = 9;  // expected-note{{used in buffer access here}}  in unhandled_lhs()
261   int *r = new int[8];  // expected-warning{{'r' is an unsafe pointer used for buffer access}}  in unhandled_rhs()
262   r[7] = 9;  // expected-note{{used in buffer access here}}  in unhandled_rhs()
269   int *x = new int[4];  // expected-warning{{'x' is an unsafe pointer used for buffer access}}  in test_negative_index()
270   int *p;  // expected-warning{{'p' is an unsafe pointer used for buffer access}}  in test_negative_index()
271   p = &x[1];  // expected-note{{used in buffer access here}}  in test_negative_index()
272   p[-1] = 9;  // expected-note{{used in buffer access here}}  in test_negative_index()
276   int *r = new int[8];  // expected-warning{{'r' is an unsafe pointer used for buffer access}}  in test_unfixable()
277   int *x;  // expected-warning{{'x' is an unsafe pointer used for buffer access}}  in test_unfixable()
278   x[7] = 9;  // expected-note{{used in buffer access here}}  in test_unfixable()
280   r++;  // expected-note{{used in pointer arithmetic here}}  in test_unfixable()
284 …int *r = new int[10];  // expected-warning{{'r' is an unsafe pointer used for buffer access}}  exp…  in test_cyclic_deps()
289   r[3] = 9; // expected-note{{used in buffer access here}}  in test_cyclic_deps()
294   int *r = new int[10];  // expected-warning{{'r' is an unsafe pointer used for buffer access}}  in test_cyclic_deps_a()
297   int *p;  // expected-warning{{'p' is an unsafe pointer used for buffer access}}  in test_cyclic_deps_a()
299   r[3] = 9; // expected-note{{used in buffer access here}}  in test_cyclic_deps_a()
301   p++;  // expected-note{{used in pointer arithmetic here}}  in test_cyclic_deps_a()
308 …int *p;  // expected-warning{{'p' is an unsafe pointer used for buffer access}}  expected-note{{ch…  in test_cyclic_deps1()
310   p[3] = 9; // expected-note{{used in buffer access here}}  in test_cyclic_deps1()
316 …int *q;  // expected-warning{{'q' is an unsafe pointer used for buffer access}}  expected-note{{ch…  in test_cyclic_deps2()
320   q[3] = 9; // expected-note{{used in buffer access here}}  in test_cyclic_deps2()
326 …int *q;  // expected-warning{{'q' is an unsafe pointer used for buffer access}}  expected-note{{ch…  in test_cyclic_deps3()
328 …int *p;  // expected-warning{{'p' is an unsafe pointer used for buffer access}}  expected-note{{ch…  in test_cyclic_deps3()
330   q[3] = 9; // expected-note{{used in buffer access here}}  in test_cyclic_deps3()
331   p[4] = 7; // expected-note{{used in buffer access here}}  in test_cyclic_deps3()
336 …int *r = new int[10];  // expected-warning{{'r' is an unsafe pointer used for buffer access}}  exp…  in test_cyclic_deps4()
337 …int *q;  // expected-warning{{'q' is an unsafe pointer used for buffer access}}  expected-note{{ch…  in test_cyclic_deps4()
339 …int *p;  // expected-warning{{'p' is an unsafe pointer used for buffer access}}  expected-note{{ch…  in test_cyclic_deps4()
341   q[3] = 9; // expected-note{{used in buffer access here}}  in test_cyclic_deps4()
342   p[4] = 7; // expected-note{{used in buffer access here}}  in test_cyclic_deps4()
343   r[1] = 5; // expected-note{{used in buffer access here}}  in test_cyclic_deps4()