Searched refs:return_deref_string (Results 1 – 1 of 1) sorted by relevance
716 char return_deref_string[32]; in visit_leave() local721 snprintf(return_deref_string, sizeof(return_deref_string), in visit_leave()724 strcpy(return_deref_string, "NULL"); in visit_leave()730 return_deref_string, in visit_leave()