Searched refs:return_deref_string (Results 1 – 1 of 1) sorted by relevance
695 char return_deref_string[32]; in visit_leave() local700 snprintf(return_deref_string, sizeof(return_deref_string), in visit_leave()704 strcpy(return_deref_string, "NULL"); in visit_leave()710 return_deref_string, in visit_leave()