Searched refs:CEXPR_AND (Results 1 – 9 of 9) sorted by relevance
35 #define CEXPR_AND 2 /* expr and expr */ macro
559 { $$ = define_cexpr(CEXPR_AND, $1, $3);
3545 case CEXPR_AND: in define_constraint()3688 case CEXPR_AND: in define_validatetrans()3803 case CEXPR_AND: in define_cexpr()
479 case CEXPR_AND: in constraint_expr_eval_reason()
201 case CEXPR_AND: op = "and"; num_params = 2; break; in constraint_expr_to_str()
204 case CEXPR_AND: op = "and"; num_params = 2; break; in constraint_expr_to_str()
1823 case CEXPR_AND: op = "and"; break; in constraint_expr_to_string()
2203 case CEXPR_AND: in read_cons_helper()
2644 op->expr_type = CEXPR_AND; in __cil_constrain_expr_to_sepol_expr_helper()