| /src/external/gpl3/gcc/dist/gcc/analyzer/ |
| constraint-manager.cc | 3421 tree int_42 = build_int_cst (integer_type_node, 42); local
3445 ADD_SAT_CONSTRAINT (model, int_42, EQ_EXPR, int_42);
3447 const svalue *sval_int_42 = model.get_rvalue (int_42, NULL);
3633 ASSERT_CONDITION_FALSE (model, int_0, EQ_EXPR, int_42);
3634 ASSERT_CONDITION_TRUE (model, int_0, NE_EXPR, int_42);
3635 ASSERT_CONDITION_TRUE (model, int_0, LT_EXPR, int_42);
3636 ASSERT_CONDITION_TRUE (model, int_0, LE_EXPR, int_42);
3637 ASSERT_CONDITION_FALSE (model, int_0, GT_EXPR, int_42);
3638 ASSERT_CONDITION_FALSE (model, int_0, GE_EXPR, int_42);
4060 tree int_42 = build_int_cst (integer_type_node, 42); local
[all...] |
| region-model.cc | 7521 tree int_42 = build_int_cst (integer_type_node, 42); local
7527 ASSERT_EQ (model.get_rvalue (int_42, &ctxt),
7528 model.get_rvalue (int_42, &ctxt));
7529 ASSERT_NE (model.get_rvalue (int_0, &ctxt), model.get_rvalue (int_42, &ctxt));
7536 ASSERT_NE (int_42, const_int_42);
7538 const svalue *int_42_sval = model.get_rvalue (int_42, &ctxt);
7959 tree int_42 = build_int_cst (integer_type_node, 42); local
8012 model.get_rvalue (int_42, &ctxt),
8080 int_42);
8153 tree int_42 = build_int_cst (integer_type_node, 42) local
8191 tree int_42 = build_int_cst (integer_type_node, 42); local
8226 tree int_42 = build_int_cst (integer_type_node, 42); local
8298 tree int_42 = build_int_cst (integer_type_node, 42); local
8973 tree int_42 = build_int_cst (integer_type_node, 42); local
9102 tree int_42 = build_int_cst (integer_type_node, 42); local
[all...] |
| /src/external/gpl3/gcc.old/dist/gcc/analyzer/ |
| constraint-manager.cc | 3156 tree int_42 = build_int_cst (integer_type_node, 42); local
3180 ADD_SAT_CONSTRAINT (model, int_42, EQ_EXPR, int_42);
3182 const svalue *sval_int_42 = model.get_rvalue (int_42, NULL);
3368 ASSERT_CONDITION_FALSE (model, int_0, EQ_EXPR, int_42);
3369 ASSERT_CONDITION_TRUE (model, int_0, NE_EXPR, int_42);
3370 ASSERT_CONDITION_TRUE (model, int_0, LT_EXPR, int_42);
3371 ASSERT_CONDITION_TRUE (model, int_0, LE_EXPR, int_42);
3372 ASSERT_CONDITION_FALSE (model, int_0, GT_EXPR, int_42);
3373 ASSERT_CONDITION_FALSE (model, int_0, GE_EXPR, int_42);
3795 tree int_42 = build_int_cst (integer_type_node, 42); local
[all...] |
| region-model.cc | 4844 tree int_42 = build_int_cst (integer_type_node, 42); local
4850 ASSERT_EQ (model.get_rvalue (int_42, &ctxt),
4851 model.get_rvalue (int_42, &ctxt));
4852 ASSERT_NE (model.get_rvalue (int_0, &ctxt), model.get_rvalue (int_42, &ctxt));
4859 ASSERT_NE (int_42, const_int_42);
4861 const svalue *int_42_sval = model.get_rvalue (int_42, &ctxt);
5230 tree int_42 = build_int_cst (integer_type_node, 42); local
5283 model.get_rvalue (int_42, &ctxt),
5351 int_42);
5424 tree int_42 = build_int_cst (integer_type_node, 42) local
5462 tree int_42 = build_int_cst (integer_type_node, 42); local
5497 tree int_42 = build_int_cst (integer_type_node, 42); local
5569 tree int_42 = build_int_cst (integer_type_node, 42); local
6243 tree int_42 = build_int_cst (integer_type_node, 42); local
6359 tree int_42 = build_int_cst (integer_type_node, 42); local
[all...] |
