Searched refs:CEXPR_MAXDEPTH (Results 1 – 4 of 4) sorted by relevance
26 #define CEXPR_MAXDEPTH 5 macro
393 int s[CEXPR_MAXDEPTH]; in constraint_expr_eval_reason()480 if (sp == (CEXPR_MAXDEPTH - 1)) in constraint_expr_eval_reason()612 if (sp == (CEXPR_MAXDEPTH - 1)) in constraint_expr_eval_reason()
2030 if (depth == (CEXPR_MAXDEPTH - 1)) in read_cons_helper()2037 if (depth == (CEXPR_MAXDEPTH - 1)) in read_cons_helper()
2781 if (depth == (CEXPR_MAXDEPTH - 1)) { in define_constraint()2923 if (depth == (CEXPR_MAXDEPTH - 1)) { in define_validatetrans()