Searched refs:CEXPR_OR (Results 1 – 7 of 7) sorted by relevance
36 #define CEXPR_OR 3 /* expr or expr */ macro
552 { $$ = define_cexpr(CEXPR_OR, $1, $3);
3484 case CEXPR_OR: in define_constraint()3630 case CEXPR_OR: in define_validatetrans()3745 case CEXPR_OR: in define_cexpr()
484 case CEXPR_OR: in constraint_expr_eval_reason()
1813 case CEXPR_OR: op = "or"; break; in constraint_expr_to_string()
2140 case CEXPR_OR: in read_cons_helper()
2678 op->expr_type = CEXPR_OR; in __cil_constrain_expr_to_sepol_expr_helper()