Searched refs:a_plus_one (Results 1 – 1 of 1) sorted by relevance
3623 tree a_plus_one = build2 (PLUS_EXPR, integer_type_node, a, int_1); in test_constant_comparisons() local3739 ADD_SAT_CONSTRAINT (model, a_plus_one, GT_EXPR, int_3); in test_constant_comparisons()3745 ADD_UNSAT_CONSTRAINT (model, a_plus_one, GT_EXPR, int_3); in test_constant_comparisons()