Use precision and sign to compare types for ranges
authorAndrew MacLeod <amacleod@redhat.com>
Thu, 22 Oct 2020 19:39:37 +0000 (15:39 -0400)
committerAndrew MacLeod <amacleod@redhat.com>
Thu, 22 Oct 2020 20:50:23 +0000 (16:50 -0400)
commit76d6782207c44f95f77a185228ca7a1e15a9f615
tree40da07c835d0bbedae936ffbfb46aa2c887975c3
parentf5d9bc8ae81abe46640477bc9e655aa093947f5f
Use precision and sign to compare types for ranges

Updated to only use range_compatible_p in range assert sanity checks,
not for actual type cmpatibility.

* gimple-range-gori.cc (is_gimple_logical_p): Use types_compatible_p
for logical compatibility.
(logical_stmt_cache::cacheable_p): Ditto.
gcc/gimple-range-gori.cc