Searched refs:CIL_KEY_HANDLEUNKNOWN (Results 1 – 4 of 4) sorted by relevance
153 extern char *CIL_KEY_HANDLEUNKNOWN;
156 char *CIL_KEY_HANDLEUNKNOWN; variable303 CIL_KEY_HANDLEUNKNOWN = cil_strpool_add("handleunknown"); in cil_init_keys()1309 return CIL_KEY_HANDLEUNKNOWN; in cil_node_to_string()
1107 fprintf(cil_out, "(%s %s)\n", CIL_KEY_HANDLEUNKNOWN, val); in cil_write_handleunknown()
6462 } else if (parse_current->data == CIL_KEY_HANDLEUNKNOWN) { in __cil_build_ast_node_helper()