171 void test_notnull_symbolic(FILE *fp, int *buf) {  in test_notnull_symbolic()
179 void test_notnull_symbolic2(FILE *fp, int *buf) {  in test_notnull_symbolic2()
190 void test_notnull_buffer_1(void *buf) {  in test_notnull_buffer_1()
203 void test_notnull_buffer_2(void *buf) {  in test_notnull_buffer_2()
216 void test_notnull_buffer_3(void *buf) {  in test_notnull_buffer_3()
225 void test_no_node_after_bug(FILE *fp, size_t size, size_t n, void *buf) {  in test_no_node_after_bug()
290   char buf[3];                       // bugpath-note{{'buf' initialized here}}  in test_buf_size_concrete()  local
297   char buf[3];  in test_buf_size_symbolic()  local
306   char buf[3];  in test_buf_size_symbolic_and_offset()  local
317   short buf[3];                                         // bugpath-note{{'buf' initialized here}}  in test_buf_size_concrete_with_multiplication()  local
324   short buf[3];  in test_buf_size_symbolic_with_multiplication()  local
332   short buf[3];  in test_buf_size_symbolic_and_offset_with_multiplication()  local
343   char buf[9];// bugpath-note{{'buf' initialized here}}  in test_min_buf_size()  local