Cleanup range of address calculations.
authorAndrew MacLeod <amacleod@redhat.com>
Thu, 12 Nov 2020 16:53:52 +0000 (11:53 -0500)
committerAndrew MacLeod <amacleod@redhat.com>
Fri, 13 Nov 2020 14:36:20 +0000 (09:36 -0500)
commit47923622c663ffad8b14aa93706183290d4f6791
tree640a99535f2c668fbee54205870cd5f00deec8c0
parentac91af71c93462cbc701bbd104fa21894bb15e86
Cleanup range of address calculations.

Align EVRP and ranger for how ranges of ADDR_EXPR are calculated.

gcc/
* gimple-range.cc: (gimple_ranger::range_of_range_op): Check for
ADDR_EXPR and call range_of_address.
(gimple_ranger::range_of_address): Rename from
range_of_non_trivial_assignment and match vrp_stmt_computes_nonzero.
* gimple-range.h: (range_of_address): Renamed.
* range-op.cc: (pointer_table): Add INTEGER_CST handler.
gcc/testsuite/
* gcc.dg/tree-ssa/pr78655.c: New.
gcc/gimple-range.cc
gcc/gimple-range.h
gcc/range-op.cc
gcc/testsuite/gcc.dg/tree-ssa/pr78655.c [new file with mode: 0644]