Searched refs:return_deref_string (Results 1 – 1 of 1) sorted by relevance
703 char return_deref_string[32]; in visit_leave() local708 snprintf(return_deref_string, sizeof(return_deref_string), in visit_leave()712 strcpy(return_deref_string, "NULL"); in visit_leave()718 return_deref_string, in visit_leave()