Lines Matching refs:int_1
5961 tree int_1 = build_int_cst (integer_type_node, 1);
5966 const svalue *int_1_sval = mgr.get_or_create_constant_svalue (int_1);
5978 ASSERT_EQ (w_zero_then_one->eval_condition_without_cm (LT_EXPR, int_1),
5987 ASSERT_EQ (w_zero_then_one->eval_condition_without_cm (LE_EXPR, int_1),
5996 ASSERT_EQ (w_zero_then_one->eval_condition_without_cm (GT_EXPR, int_1),
6005 ASSERT_EQ (w_zero_then_one->eval_condition_without_cm (GE_EXPR, int_1),
6014 ASSERT_EQ (w_zero_then_one->eval_condition_without_cm (EQ_EXPR, int_1),
6023 ASSERT_EQ (w_zero_then_one->eval_condition_without_cm (NE_EXPR, int_1),
6076 tree int_1 = build_int_cst (integer_type_node, 1);
6090 model1.set_value (i, int_1, &ctxt);
6124 model4.set_value (i, build2 (PLUS_EXPR, integer_type_node, i, int_1), &ctxt);
6233 tree int_1 = build_int_cst (integer_type_node, 1);
6238 arr, int_1, NULL_TREE, NULL_TREE);
Indexes created Tue Sep 29 00:26:59 UTC 2026