Re: [PATCH 1/2] analyzer: further fixes for comparisons between uncomparable types (PR 93450)

[Jakub Jelinek]

On Thu, Jan 30, 2020 at 08:19:17PM -0500, David Malcolm wrote:
> 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.

LGTM.

        Jakub