Successfully bootstrapped & regrtested on x86_64-pc-linux-gnu. Pushed to master as r10-6409-g287ccd3bd6b92f11ec90c52ffccb764aacfadb89.
gcc/analyzer/ChangeLog: PR analyzer/93547 * constraint-manager.cc (constraint_manager::get_or_add_equiv_class): Ensure types are compatible before comparing constants. gcc/testsuite/ChangeLog: PR analyzer/93547 * gcc.dg/analyzer/pr93547.c: New test. --- gcc/analyzer/constraint-manager.cc | 4 +++- gcc/testsuite/gcc.dg/analyzer/pr93547.c | 14 ++++++++++++++ 2 files changed, 17 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr93547.c diff --git a/gcc/analyzer/constraint-manager.cc b/gcc/analyzer/constraint-manager.cc index f3e31ee0830..4042c50fcb7 100644 --- a/gcc/analyzer/constraint-manager.cc +++ b/gcc/analyzer/constraint-manager.cc @@ -928,7 +928,9 @@ constraint_manager::get_or_add_equiv_class (svalue_id sid) int i; equiv_class *ec; FOR_EACH_VEC_ELT (m_equiv_classes, i, ec) - if (ec->m_constant) + if (ec->m_constant + && types_compatible_p (TREE_TYPE (cst), + TREE_TYPE (ec->m_constant))) { tree eq = fold_build2 (EQ_EXPR, boolean_type_node, cst, ec->m_constant); diff --git a/gcc/testsuite/gcc.dg/analyzer/pr93547.c b/gcc/testsuite/gcc.dg/analyzer/pr93547.c new file mode 100644 index 00000000000..15189048234 --- /dev/null +++ b/gcc/testsuite/gcc.dg/analyzer/pr93547.c @@ -0,0 +1,14 @@ +/* { dg-do compile } */ + +void +wy (int); + +int +f9 (void) +{ + int p5 = __builtin_ilogb (__builtin_inf ()); + + wy (0); + + return p5; +} -- 2.21.0