Searched refs:code_extra_tags (Results 1 – 3 of 3) sorted by relevance
63 int code_extra_tags; variable92 code_extra_tags = 0; in init_options()179 { code_extra_tags = 1; in scan_options()
39 extern int code_extra_tags;
83 if (!code_extra_tags) return; in try_open_output_files()110 if (!code_extra_tags) return; in code_file_headers()254 if (!code_extra_tags) return; in code_enumeration_type()264 if (code_extra_tags) in code_enumeration_types()314 if (!code_extra_tags) return; in code_constructor_tags()325 if (code_extra_tags) in code_rhs_tags()1834 if (!code_extra_tags) return; in code_header_trailer()1843 if (code_extra_tags) in close_output_files()