[Bug analyzer/93547] ICE in real_maxval, at real.c:2593

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93547

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:287ccd3bd6b92f11ec90c52ffccb764aacfadb89

commit r10-6409-g287ccd3bd6b92f11ec90c52ffccb764aacfadb89
Author: David Malcolm <dmalc...@redhat.com>
Date:   Mon Feb 3 06:34:20 2020 -0500

    analyzer: fix ICE due to comparing int and real constants (PR 93547)

    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.