| /src/tests/usr.bin/xlint/lint1/ |
| d_c99_bool.c | 18 int int_1[(_Bool)1 ? -1 : -2]; variable
|
| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| constraint-manager.cc | 3378 tree int_1 = integer_one_node; local
3387 ASSERT_TRUE (r.add_bound (GE_EXPR, int_1));
3396 ASSERT_FALSE (r.add_bound (LT_EXPR, int_1));
3410 ASSERT_TRUE (r.add_bound (LE_EXPR, int_1));
3877 tree int_1 = integer_one_node; local
3888 tree a_plus_one = build2 (PLUS_EXPR, integer_type_node, a, int_1);
4024 ADD_SAT_CONSTRAINT (model, int_1, LT_EXPR, a);
4031 ADD_SAT_CONSTRAINT (model, int_1, LT_EXPR, a);
|
| region-model.cc | 8694 tree int_1 = integer_one_node; local
8698 const svalue *int_1_sval = mgr.get_or_create_constant_svalue (int_1);
8710 ASSERT_EQ (w_zero_then_one->eval_condition_without_cm (LT_EXPR, int_1),
8719 ASSERT_EQ (w_zero_then_one->eval_condition_without_cm (LE_EXPR, int_1),
8728 ASSERT_EQ (w_zero_then_one->eval_condition_without_cm (GT_EXPR, int_1),
8737 ASSERT_EQ (w_zero_then_one->eval_condition_without_cm (GE_EXPR, int_1),
8746 ASSERT_EQ (w_zero_then_one->eval_condition_without_cm (EQ_EXPR, int_1),
8755 ASSERT_EQ (w_zero_then_one->eval_condition_without_cm (NE_EXPR, int_1),
8809 tree int_1 = integer_one_node; local
8821 model1.set_value (i, int_1, &ctxt)
8963 tree int_1 = integer_one_node; local
[all...] |
| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| constraint-manager.cc | 3113 tree int_1 = build_int_cst (integer_type_node, 1); local
3122 ASSERT_TRUE (r.add_bound (GE_EXPR, int_1));
3131 ASSERT_FALSE (r.add_bound (LT_EXPR, int_1));
3145 ASSERT_TRUE (r.add_bound (LE_EXPR, int_1));
3612 tree int_1 = build_int_cst (integer_type_node, 1); local
3623 tree a_plus_one = build2 (PLUS_EXPR, integer_type_node, a, int_1);
3759 ADD_SAT_CONSTRAINT (model, int_1, LT_EXPR, a);
3766 ADD_SAT_CONSTRAINT (model, int_1, LT_EXPR, a);
|
| region-model.cc | 5961 tree int_1 = build_int_cst (integer_type_node, 1); local
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); local
6090 model1.set_value (i, int_1, &ctxt)
6233 tree int_1 = build_int_cst (integer_type_node, 1); local
[all...] |
