Searched refs:CIL_KEY_CONS_R3 (Results 1 – 4 of 4) sorted by relevance
85 extern char *CIL_KEY_CONS_R3;
68 char *CIL_KEY_CONS_R3; variable237 CIL_KEY_CONS_R3 = cil_strpool_add("r3"); in cil_init_keys()1407 return CIL_KEY_CONS_R3; in cil_node_to_string()
157 operand_str = CIL_KEY_CONS_R3; in write_expr()
2705 else if (operand == CIL_KEY_CONS_R3) return CIL_CONS_R3; in __cil_get_constraint_operand_flavor()