Searched refs:CEXPR_OR (Results 1 – 7 of 7) sorted by relevance
34 #define CEXPR_OR 3 /* expr or expr */ macro
552 { $$ = define_cexpr(CEXPR_OR, $1, $3);
3441 case CEXPR_OR: in define_constraint()3587 case CEXPR_OR: in define_validatetrans()3702 case CEXPR_OR: in define_cexpr()
484 case CEXPR_OR: in constraint_expr_eval_reason()
1741 case CEXPR_OR: op = "or"; break; in constraint_expr_to_string()
2038 case CEXPR_OR: in read_cons_helper()
2506 op->expr_type = CEXPR_OR; in __cil_constrain_expr_to_sepol_expr_helper()