[Bug other/112788] New: [14 regression] ICEs in fold_range, at range-op.cc:206 after r14-5972-gea19de921b01a6

["seurer at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 112788
           Summary: [14 regression] ICEs in fold_range, at range-op.cc:206
                    after r14-5972-gea19de921b01a6
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: other
          Assignee: unassigned at gcc dot gnu.org
          Reporter: seurer at gcc dot gnu.org
  Target Milestone: ---

g:ea19de921b01a6ab470929f8da4dde526edb08f1, r14-5972-gea19de921b01a6
make  -k check-gcc RUNTESTFLAGS="powerpc.exp=gcc.target/powerpc/float128-hw4.c"
FAIL: gcc.target/powerpc/float128-hw4.c (internal compiler error: in
fold_range, at range-op.cc:206)
FAIL: gcc.target/powerpc/float128-hw4.c (test for excess errors)
# of unexpected failures        2
# of unresolved testcases       16

Also:
FAIL: gcc.target/powerpc/pr82748-1.c (internal compiler error: in fold_range,
at range-op.cc:206)
FAIL: gcc.target/powerpc/pr82748-1.c (test for excess errors)


spawn -ignore SIGHUP /home/seurer/gcc/git/build/gcc-test/gcc/xgcc
-B/home/seurer/gcc/git/build/gcc-test/gcc/
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.target/powerpc/float128-hw4.c
-fdiagnostics-plain-output -mpower9-vector -O2 -mabi=ieeelongdouble -Wno-psabi
-ffat-lto-objects -fno-ident -S -o float128-hw4.s
during GIMPLE pass: evrp
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.target/powerpc/float128-hw4.c:
In function 'nfma_odd':
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.target/powerpc/float128-hw4.c:119:1:
internal compiler error: in fold_range, at range-op.cc:206
0x10bb131b range_op_handler::fold_range(vrange&, tree_node*, vrange const&,
vrange const&, relation_trio) const
        /home/seurer/gcc/git/gcc-test/gcc/range-op.cc:206
0x11bfa13f fold_using_range::range_of_range_op(vrange&,
gimple_range_op_handler&, fur_source&)
        /home/seurer/gcc/git/gcc-test/gcc/gimple-range-fold.cc:678
0x11bfb003 fold_using_range::fold_stmt(vrange&, gimple*, fur_source&,
tree_node*)
        /home/seurer/gcc/git/gcc-test/gcc/gimple-range-fold.cc:602
0x11bfb75b fold_range(vrange&, gimple*, range_query*)
        /home/seurer/gcc/git/gcc-test/gcc/gimple-range-fold.cc:322
0x11be4203 ranger_cache::get_global_range(vrange&, tree_node*, bool&)
        /home/seurer/gcc/git/gcc-test/gcc/gimple-range-cache.cc:1052
0x11bd5b97 gimple_ranger::range_of_stmt(vrange&, gimple*, tree_node*)
        /home/seurer/gcc/git/gcc-test/gcc/gimple-range.cc:311
0x1119ba4f range_query::value_of_stmt(gimple*, tree_node*)
        /home/seurer/gcc/git/gcc-test/gcc/value-query.cc:113
0x1113f4ab rvrp_folder::value_of_stmt(gimple*, tree_node*)
        /home/seurer/gcc/git/gcc-test/gcc/tree-vrp.cc:999
0x10fbe62f
substitute_and_fold_dom_walker::before_dom_children(basic_block_def*)
        /home/seurer/gcc/git/gcc-test/gcc/tree-ssa-propagate.cc:820
0x11b5514b dom_walker::walk(basic_block_def*)
        /home/seurer/gcc/git/gcc-test/gcc/domwalk.cc:311
0x10fbcd5b substitute_and_fold_engine::substitute_and_fold(basic_block_def*)
        /home/seurer/gcc/git/gcc-test/gcc/tree-ssa-propagate.cc:999
0x1113a74b execute_ranger_vrp(function*, bool, bool)
        /home/seurer/gcc/git/gcc-test/gcc/tree-vrp.cc:1064


commit ea19de921b01a6ab470929f8da4dde526edb08f1 (HEAD)
Author: Andrew MacLeod <amacleod@redhat.com>
Date:   Tue Nov 28 09:39:30 2023 -0500

    Add operand_check_p to range-ops.