9   int buf[100];  in test1()  local
14   int buf[100];  in test1_ok()  local
38   int buf[100];  in test1_ptr()  local
44   int buf[100];  in test1_ptr_ok()  local
54   int buf[100];  in test1_ptr_arith()  local
61   int buf[100];  in test1_ptr_arith_ok()  local
68   int buf[100];  in test1_ptr_arith_bad()  local
75   int buf[100];  in test1_ptr_arith_ok2()  local
85   int buf[100];  in test2()  local
94   int buf[100];  in test2_ptr()  local
104   int buf[100];  in test2_ptr_arith()  local
115   int buf[100][100];  in test2_multi()  local
124   int buf[100][100];  in test2_multi_b()  local
129   int buf[100][100];  in test2_multi_ok()  local
134   int buf[100];  in test3()  local
140   int buf[100];  in test4()  local
146   int buf[100];  in test_assume_after_access()  local
155   int *buf = get_symbolic();  in test_underflow_symbolic()  local
184   char buf[100];  in test_assume_after_access2()  local