Searched refs:CIL_KEY_CONS_R2 (Results 1 – 4 of 4) sorted by relevance
84 extern char *CIL_KEY_CONS_R2;
67 char *CIL_KEY_CONS_R2; variable236 CIL_KEY_CONS_R2 = cil_strpool_add("r2"); in cil_init_keys()1405 return CIL_KEY_CONS_R2; in cil_node_to_string()
154 operand_str = CIL_KEY_CONS_R2; in write_expr()
2704 else if (operand == CIL_KEY_CONS_R2) return CIL_CONS_R2; in __cil_get_constraint_operand_flavor()