| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| constraint-manager.cc | 3878 tree int_3 = build_int_cst (integer_type_node, 3); local
3904 ASSERT_CONDITION_TRUE (model, a, NE_EXPR, int_3);
3915 ASSERT_CONDITION_UNKNOWN (model, a, NE_EXPR, int_3);
3923 ADD_SAT_CONSTRAINT (model, a, EQ_EXPR, int_3);
3935 ADD_SAT_CONSTRAINT (model, a, GT_EXPR, int_3);
3944 ADD_SAT_CONSTRAINT (model, a, GT_EXPR, int_3);
3953 ADD_SAT_CONSTRAINT (model, a, GT_EXPR, int_3);
3980 tree float_3 = build_real_from_int_cst (double_type_node, int_3);
3995 ADD_SAT_CONSTRAINT (model, a, GT_EXPR, int_3);
3996 ADD_UNSAT_CONSTRAINT (model, a, LE_EXPR, int_3);
[all...] |
| region-model.cc | 7455 tree int_3 = build_int_cst (integer_type_node, 3); local
7457 a, int_3, NULL_TREE, NULL_TREE);
8225 tree int_3 = build_int_cst (integer_type_node, 3); local
8232 model0.add_constraint (x, GT_EXPR, int_3, NULL);
8237 model1.add_constraint (x, GT_EXPR, int_3, NULL);
|
| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| constraint-manager.cc | 3613 tree int_3 = build_int_cst (integer_type_node, 3); local
3639 ASSERT_CONDITION_TRUE (model, a, NE_EXPR, int_3);
3650 ASSERT_CONDITION_UNKNOWN (model, a, NE_EXPR, int_3);
3658 ADD_SAT_CONSTRAINT (model, a, EQ_EXPR, int_3);
3670 ADD_SAT_CONSTRAINT (model, a, GT_EXPR, int_3);
3679 ADD_SAT_CONSTRAINT (model, a, GT_EXPR, int_3);
3688 ADD_SAT_CONSTRAINT (model, a, GT_EXPR, int_3);
3715 tree float_3 = build_real_from_int_cst (double_type_node, int_3);
3730 ADD_SAT_CONSTRAINT (model, a, GT_EXPR, int_3);
3731 ADD_UNSAT_CONSTRAINT (model, a, LE_EXPR, int_3);
[all...] |
| region-model.cc | 4780 tree int_3 = build_int_cst (integer_type_node, 3); local
4782 a, int_3, NULL_TREE, NULL_TREE);
5496 tree int_3 = build_int_cst (integer_type_node, 3); local
5503 model0.add_constraint (x, GT_EXPR, int_3, NULL);
5508 model1.add_constraint (x, GT_EXPR, int_3, NULL);
|
