Home
last modified time | relevance | path

Searched refs:cst_sval (Results 1 – 22 of 22) sorted by relevance

/dports/lang/gcc11-devel/gcc-11-20211009/gcc/analyzer/
H A Dregion-model.cc3798 ASSERT_NE (cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
3803 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
3810 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
3817 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
3821 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
3822 ASSERT_EQ (eq, i == j ? cst_sval[1] : cst_sval [0]); in test_binop_svalue_folding()
3824 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
3825 ASSERT_EQ (neq, i != j ? cst_sval[1] : cst_sval [0]); in test_binop_svalue_folding()
3838 x_init, cst_sval[0]); in test_binop_svalue_folding()
3842 cst_sval[0], x_init); in test_binop_svalue_folding()
[all …]
H A Dregion-model-manager.cc207 constant_svalue *cst_sval = new constant_svalue (cst_expr); in get_or_create_constant_svalue() local
208 RETURN_UNKNOWN_IF_TOO_COMPLEX (cst_sval); in get_or_create_constant_svalue()
209 m_constants_map.put (cst_expr, cst_sval); in get_or_create_constant_svalue()
210 return cst_sval; in get_or_create_constant_svalue()
670 const svalue *cst_sval in maybe_fold_sub_svalue() local
672 return get_or_create_cast (type, cst_sval); in maybe_fold_sub_svalue()
H A Dsvalue.cc108 if (const constant_svalue *cst_sval = dyn_cast_constant_svalue ()) in maybe_get_constant() local
109 return cst_sval->get_constant (); in maybe_get_constant()
H A Dconstraint-manager.cc1102 const svalue *cst_sval in add_constraint_internal() local
1106 get_or_add_equiv_class (cst_sval)); in add_constraint_internal()
1134 const svalue *cst_sval in add_constraint_internal() local
1138 get_or_add_equiv_class (cst_sval)); in add_constraint_internal()
H A Dstore.cc1046 const svalue *cst_sval in zero_fill_region() local
1048 const svalue *bound_sval = cst_sval; in zero_fill_region()
1051 cst_sval); in zero_fill_region()
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/analyzer/
H A Dregion-model.cc4456 ASSERT_NE (cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
4461 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
4468 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
4475 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
4479 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
4480 ASSERT_EQ (eq, i == j ? cst_sval[1] : cst_sval [0]); in test_binop_svalue_folding()
4482 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
4483 ASSERT_EQ (neq, i != j ? cst_sval[1] : cst_sval [0]); in test_binop_svalue_folding()
4496 x_init, cst_sval[0]); in test_binop_svalue_folding()
4500 cst_sval[0], x_init); in test_binop_svalue_folding()
[all …]
H A Dregion-model-manager.cc215 constant_svalue *cst_sval = new constant_svalue (cst_expr); in get_or_create_constant_svalue() local
216 RETURN_UNKNOWN_IF_TOO_COMPLEX (cst_sval); in get_or_create_constant_svalue()
217 m_constants_map.put (cst_expr, cst_sval); in get_or_create_constant_svalue()
218 return cst_sval; in get_or_create_constant_svalue()
696 const svalue *cst_sval in maybe_fold_sub_svalue() local
698 return get_or_create_cast (type, cst_sval); in maybe_fold_sub_svalue()
H A Dsvalue.cc109 if (const constant_svalue *cst_sval = sval->dyn_cast_constant_svalue ()) in maybe_get_constant() local
110 return cst_sval->get_constant (); in maybe_get_constant()
H A Dconstraint-manager.cc1929 const svalue *cst_sval in add_constraint_internal() local
1933 get_or_add_equiv_class (cst_sval)); in add_constraint_internal()
1961 const svalue *cst_sval in add_constraint_internal() local
1965 get_or_add_equiv_class (cst_sval)); in add_constraint_internal()
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/analyzer/
H A Dregion-model.cc3798 ASSERT_NE (cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
3803 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
3810 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
3817 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
3821 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
3822 ASSERT_EQ (eq, i == j ? cst_sval[1] : cst_sval [0]); in test_binop_svalue_folding()
3824 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
3825 ASSERT_EQ (neq, i != j ? cst_sval[1] : cst_sval [0]); in test_binop_svalue_folding()
3838 x_init, cst_sval[0]); in test_binop_svalue_folding()
3842 cst_sval[0], x_init); in test_binop_svalue_folding()
[all …]
H A Dregion-model-manager.cc207 constant_svalue *cst_sval = new constant_svalue (cst_expr); in get_or_create_constant_svalue() local
208 RETURN_UNKNOWN_IF_TOO_COMPLEX (cst_sval); in get_or_create_constant_svalue()
209 m_constants_map.put (cst_expr, cst_sval); in get_or_create_constant_svalue()
210 return cst_sval; in get_or_create_constant_svalue()
670 const svalue *cst_sval in maybe_fold_sub_svalue() local
672 return get_or_create_cast (type, cst_sval); in maybe_fold_sub_svalue()
H A Dsvalue.cc108 if (const constant_svalue *cst_sval = dyn_cast_constant_svalue ()) in maybe_get_constant() local
109 return cst_sval->get_constant (); in maybe_get_constant()
H A Dconstraint-manager.cc1102 const svalue *cst_sval in add_constraint_internal() local
1106 get_or_add_equiv_class (cst_sval)); in add_constraint_internal()
1134 const svalue *cst_sval in add_constraint_internal() local
1138 get_or_add_equiv_class (cst_sval)); in add_constraint_internal()
H A Dstore.cc1046 const svalue *cst_sval in zero_fill_region() local
1048 const svalue *bound_sval = cst_sval; in zero_fill_region()
1051 cst_sval); in zero_fill_region()
/dports/lang/gcc11/gcc-11.2.0/gcc/analyzer/
H A Dregion-model.cc3798 ASSERT_NE (cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
3803 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
3810 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
3817 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
3821 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
3822 ASSERT_EQ (eq, i == j ? cst_sval[1] : cst_sval [0]); in test_binop_svalue_folding()
3824 cst_sval[i], cst_sval[j]); in test_binop_svalue_folding()
3825 ASSERT_EQ (neq, i != j ? cst_sval[1] : cst_sval [0]); in test_binop_svalue_folding()
3838 x_init, cst_sval[0]); in test_binop_svalue_folding()
3842 cst_sval[0], x_init); in test_binop_svalue_folding()
[all …]
H A Dregion-model-manager.cc207 constant_svalue *cst_sval = new constant_svalue (cst_expr); in get_or_create_constant_svalue() local
208 RETURN_UNKNOWN_IF_TOO_COMPLEX (cst_sval); in get_or_create_constant_svalue()
209 m_constants_map.put (cst_expr, cst_sval); in get_or_create_constant_svalue()
210 return cst_sval; in get_or_create_constant_svalue()
670 const svalue *cst_sval in maybe_fold_sub_svalue() local
672 return get_or_create_cast (type, cst_sval); in maybe_fold_sub_svalue()
H A Dsvalue.cc108 if (const constant_svalue *cst_sval = dyn_cast_constant_svalue ()) in maybe_get_constant() local
109 return cst_sval->get_constant (); in maybe_get_constant()
H A Dconstraint-manager.cc1102 const svalue *cst_sval in add_constraint_internal() local
1106 get_or_add_equiv_class (cst_sval)); in add_constraint_internal()
1134 const svalue *cst_sval in add_constraint_internal() local
1138 get_or_add_equiv_class (cst_sval)); in add_constraint_internal()
H A Dstore.cc1046 const svalue *cst_sval in zero_fill_region() local
1048 const svalue *bound_sval = cst_sval; in zero_fill_region()
1051 cst_sval); in zero_fill_region()
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/analyzer/
H A Dregion-model.cc424 if (const constant_svalue *cst_sval = dyn_cast_constant_svalue ()) in maybe_get_constant() local
425 return cst_sval->get_constant (); in maybe_get_constant()
6940 if (constant_svalue *cst_sval = offset_sval->dyn_cast_constant_svalue ()) in get_or_create_mem_ref() local
6942 if (zerop (cst_sval->get_constant ())) in get_or_create_mem_ref()
/dports/devel/avr-gcc/gcc-10.2.0/gcc/analyzer/
H A Dregion-model.cc424 if (const constant_svalue *cst_sval = dyn_cast_constant_svalue ()) in maybe_get_constant() local
425 return cst_sval->get_constant (); in maybe_get_constant()
6940 if (constant_svalue *cst_sval = offset_sval->dyn_cast_constant_svalue ()) in get_or_create_mem_ref() local
6942 if (zerop (cst_sval->get_constant ())) in get_or_create_mem_ref()
/dports/lang/gcc10/gcc-10.3.0/gcc/analyzer/
H A Dregion-model.cc424 if (const constant_svalue *cst_sval = dyn_cast_constant_svalue ()) in maybe_get_constant() local
425 return cst_sval->get_constant (); in maybe_get_constant()
6940 if (constant_svalue *cst_sval = offset_sval->dyn_cast_constant_svalue ()) in get_or_create_mem_ref() local
6942 if (zerop (cst_sval->get_constant ())) in get_or_create_mem_ref()