| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| constraint-manager.cc | 3380 tree int_5 = build_int_cst (integer_type_node, 5); local
3399 ASSERT_TRUE (r.add_bound (LT_EXPR, int_5));
3403 ASSERT_FALSE (r.add_bound (GE_EXPR, int_5));
3880 tree int_5 = build_int_cst (integer_type_node, 5); local
3905 ASSERT_CONDITION_UNKNOWN (model, a, NE_EXPR, int_5);
3914 ASSERT_CONDITION_FALSE (model, a, GT_EXPR, int_5);
3954 ADD_SAT_CONSTRAINT (model, a, LT_EXPR, int_5);
3963 ADD_SAT_CONSTRAINT (model, a, LT_EXPR, int_5);
4026 ADD_SAT_CONSTRAINT (model, a, LT_EXPR, int_5);
4032 ADD_SAT_CONSTRAINT (model, a, LT_EXPR, int_5);
[all...] |
| region-model.cc | 7961 tree int_5 = build_int_cst (integer_type_node, 5); local
8031 model.add_constraint (y, NE_EXPR, int_5, &ctxt);
8032 ASSERT_EQ (model.eval_condition (y, NE_EXPR, int_5, &ctxt),
8646 tree int_5 = build_int_cst (integer_type_node, 5); local
8663 model1.add_constraint (z, NE_EXPR, int_5, NULL);
8678 ASSERT_EQ (merged.eval_condition (z, NE_EXPR, int_5, &ctxt),
|
| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| constraint-manager.cc | 3115 tree int_5 = build_int_cst (integer_type_node, 5); local
3134 ASSERT_TRUE (r.add_bound (LT_EXPR, int_5));
3138 ASSERT_FALSE (r.add_bound (GE_EXPR, int_5));
3615 tree int_5 = build_int_cst (integer_type_node, 5); local
3640 ASSERT_CONDITION_UNKNOWN (model, a, NE_EXPR, int_5);
3649 ASSERT_CONDITION_FALSE (model, a, GT_EXPR, int_5);
3689 ADD_SAT_CONSTRAINT (model, a, LT_EXPR, int_5);
3698 ADD_SAT_CONSTRAINT (model, a, LT_EXPR, int_5);
3761 ADD_SAT_CONSTRAINT (model, a, LT_EXPR, int_5);
3767 ADD_SAT_CONSTRAINT (model, a, LT_EXPR, int_5);
[all...] |
| region-model.cc | 5232 tree int_5 = build_int_cst (integer_type_node, 5); local
5302 model.add_constraint (y, NE_EXPR, int_5, &ctxt);
5303 ASSERT_EQ (model.eval_condition (y, NE_EXPR, int_5, &ctxt),
5914 tree int_5 = build_int_cst (integer_type_node, 5); local
5931 model1.add_constraint (z, NE_EXPR, int_5, NULL);
5946 ASSERT_EQ (merged.eval_condition (z, NE_EXPR, int_5, &ctxt),
|
