From: David Malcolm Date: Thu, 30 Jan 2020 20:21:28 +0000 (-0500) Subject: analyzer: further fixes for comparisons between uncomparable types (PR 93450) X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=45eb3e4944ba93b1d4e9070c703068cfa7aaace4;p=gcc.git analyzer: further fixes for comparisons between uncomparable types (PR 93450) gcc/analyzer/ChangeLog: PR analyzer/93450 * constraint-manager.cc (constraint_manager::get_or_add_equiv_class): Only compare constants if their types are compatible. * region-model.cc (constant_svalue::eval_condition): Replace check for identical types with call to types_compatible_p. --- diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 709d1cb913f..7ca6c2217e3 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,12 @@ +2020-01-31 David Malcolm + + PR analyzer/93450 + * constraint-manager.cc + (constraint_manager::get_or_add_equiv_class): Only compare constants + if their types are compatible. + * region-model.cc (constant_svalue::eval_condition): Replace check + for identical types with call to types_compatible_p. + 2020-01-30 David Malcolm * program-state.cc (extrinsic_state::dump_to_pp): New. diff --git a/gcc/analyzer/constraint-manager.cc b/gcc/analyzer/constraint-manager.cc index 777bd1b13c9..f3e31ee0830 100644 --- a/gcc/analyzer/constraint-manager.cc +++ b/gcc/analyzer/constraint-manager.cc @@ -958,7 +958,9 @@ constraint_manager::get_or_add_equiv_class (svalue_id sid) other_id.m_idx++) { const equiv_class &other_ec = other_id.get_obj (*this); - if (other_ec.m_constant) + if (other_ec.m_constant + && types_compatible_p (TREE_TYPE (new_ec->m_constant), + TREE_TYPE (other_ec.m_constant))) { /* If we have two ECs, both with constants, the constants must be non-equal (or they would be in the same EC). diff --git a/gcc/analyzer/region-model.cc b/gcc/analyzer/region-model.cc index a15088a2e3c..b546114bfd5 100644 --- a/gcc/analyzer/region-model.cc +++ b/gcc/analyzer/region-model.cc @@ -667,7 +667,7 @@ constant_svalue::eval_condition (constant_svalue *lhs, gcc_assert (CONSTANT_CLASS_P (rhs_const)); /* Check for comparable types. */ - if (TREE_TYPE (lhs_const) == TREE_TYPE (rhs_const)) + if (types_compatible_p (TREE_TYPE (lhs_const), TREE_TYPE (rhs_const))) { tree comparison = fold_build2 (op, boolean_type_node, lhs_const, rhs_const);