]> gcc.gnu.org Git - gcc.git/commit
Replace ad-hoc value_range dumpers with irange::dump.
authorAldy Hernandez <aldyh@redhat.com>
Thu, 19 Jan 2023 17:42:30 +0000 (18:42 +0100)
committerAldy Hernandez <aldyh@redhat.com>
Wed, 26 Apr 2023 09:45:22 +0000 (11:45 +0200)
commit1a8087c7d1cb3ca1daa87a61766923bad0143700
treebed9b2f86816f679a277e803eb909fdf1c623338
parent04e5ddf8a313e85348a05c27708c845cc45e2e83
Replace ad-hoc value_range dumpers with irange::dump.

This causes a regression in gcc.c-torture/unsorted/dump-noaddr.c.

The test is asserting that two dumps are identical, but they are not
because irange dumps the type which varies between runs:

               <          VR  [irange] void (*<T3dc>) (int) [1, +INF]
               >          VR  [irange] void (*<T3da>) (int) [1, +INF]

I have changed the pretty printer for irange types to pass TDF_NOUID,
thus avoiding this problem.

gcc/ChangeLog:

* ipa-prop.cc (ipa_print_node_jump_functions_for_edge): Use
vrange::dump instead of ad-hoc dumper.
* tree-ssa-strlen.cc (dump_strlen_info): Same.
* value-range-pretty-print.cc (visit): Pass TDF_NOUID to
dump_generic_node.
gcc/ipa-prop.cc
gcc/tree-ssa-strlen.cc
gcc/value-range-pretty-print.cc
This page took 0.056256 seconds and 5 git commands to generate.