2867   const char *previous_prefix = processing_current_prefix;  in read_func_scope()  local
2968   processing_current_prefix = previous_prefix;  in read_func_scope()
3714   const char *previous_prefix = processing_current_prefix;  in read_structure_type()  local
3864   processing_current_prefix = previous_prefix;  in read_structure_type()
3873   const char *previous_prefix = processing_current_prefix;  in process_structure_scope()  local
3903   processing_current_prefix = previous_prefix;  in process_structure_scope()
4268   const char *previous_prefix = processing_current_prefix;  in read_namespace()  local
4278   if (previous_prefix[0] == '\0')  in read_namespace()
4284       char *temp_name = typename_concat (NULL, previous_prefix, name, cu);  in read_namespace()
4309 				strlen (previous_prefix),  in read_namespace()
4324   processing_current_prefix = previous_prefix;  in read_namespace()