Searched refs:CEXPR_MAXDEPTH (Results 1 – 5 of 5) sorted by relevance
29 #define CEXPR_MAXDEPTH 5 macro
397 int s[CEXPR_MAXDEPTH]; in constraint_expr_eval_reason()508 if (sp == (CEXPR_MAXDEPTH - 1)) in constraint_expr_eval_reason()640 if (sp == (CEXPR_MAXDEPTH - 1)) in constraint_expr_eval_reason()
2193 if (depth == (CEXPR_MAXDEPTH - 1)) in read_cons_helper()2200 if (depth == (CEXPR_MAXDEPTH - 1)) in read_cons_helper()
3524 if (depth == (CEXPR_MAXDEPTH - 1)) { in define_constraint()3663 if (depth == (CEXPR_MAXDEPTH - 1)) { in define_validatetrans()
2788 if (depth == (CEXPR_MAXDEPTH - 1)) { in __cil_validate_constrain_expr()