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

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 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:45eb3e4944ba93b1d4e9070c703068cfa7aaace4

commit r10-6368-g45eb3e4944ba93b1d4e9070c703068cfa7aaace4
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu Jan 30 15:21:28 2020 -0500

    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.