2560   processing_current_prefix = "";  in process_full_comp_unit()
2867   const char *previous_prefix = processing_current_prefix;  in read_func_scope()
2910 	  processing_current_prefix = specification_prefix;  in read_func_scope()
2968   processing_current_prefix = previous_prefix;  in read_func_scope()
3714   const char *previous_prefix = processing_current_prefix;  in read_structure_type()
3734 	  processing_current_prefix = new_prefix;  in read_structure_type()
3864   processing_current_prefix = previous_prefix;  in read_structure_type()
3873   const char *previous_prefix = processing_current_prefix;  in process_structure_scope()
3877     processing_current_prefix = TYPE_TAG_NAME (die->type);  in process_structure_scope()
3903   processing_current_prefix = previous_prefix;  in process_structure_scope()
3930 						  processing_current_prefix,  in read_enumeration_type()
3971       processing_current_prefix = specification_prefix;  in determine_class_name()
4002       new_prefix = typename_concat (NULL, processing_current_prefix,  in determine_class_name()
4268   const char *previous_prefix = processing_current_prefix;  in read_namespace()
4280       processing_current_prefix = name;  in read_namespace()
4286       processing_current_prefix = temp_name;  in read_namespace()
4300 			(char *) processing_current_prefix,  in read_namespace()
4308 	cp_add_using_directive (processing_current_prefix,  in read_namespace()
4310 				strlen (processing_current_prefix));  in read_namespace()
4324   processing_current_prefix = previous_prefix;  in read_namespace()
6935 	      && processing_current_prefix[0] != '\0')  in new_symbol()
6938 							   processing_current_prefix,  in new_symbol()
6953 	      && processing_current_prefix[0] != '\0')  in new_symbol()
6956 							   processing_current_prefix,  in new_symbol()
7176   const char *old_prefix = processing_current_prefix;  in read_type_die()
7178   processing_current_prefix = prefix;  in read_type_die()
7230   processing_current_prefix = old_prefix;  in read_type_die()
7289 	      const char *old_prefix = processing_current_prefix;  in determine_prefix()
7293 	      processing_current_prefix = new_prefix;  in determine_prefix()
7295 	      processing_current_prefix = old_prefix;  in determine_prefix()