[Bug tree-optimization/112848] New: [14 regression] ICE compiling gcc.dg/tree-ssa/ssa-sink-16.c after r14-6114-gde0ab339a79535

[seurer at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 112848
           Summary: [14 regression] ICE compiling
                    gcc.dg/tree-ssa/ssa-sink-16.c after
                    r14-6114-gde0ab339a79535
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: seurer at gcc dot gnu.org
  Target Milestone: ---

g:de0ab339a795352c843f6e9b2dfce222f26588de, r14-6114-gde0ab339a79535
make  -k check-gcc RUNTESTFLAGS="tree-ssa.exp=gcc.dg/tree-ssa/ssa-sink-16.c"
FAIL: gcc.dg/tree-ssa/ssa-sink-16.c (internal compiler error: verify_gimple
failed)
FAIL: gcc.dg/tree-ssa/ssa-sink-16.c (test for excess errors)
# of expected passes            1
# of unexpected failures        2
# of unresolved testcases       1


commit de0ab339a795352c843f6e9b2dfce222f26588de (HEAD)
Author: Richard Biener <rguent...@suse.de>
Date:   Mon Dec 4 10:46:11 2023 +0100

    tree-optimization/112827 - corrupt SCEV cache during SCCP


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.dg/tree-ssa/ssa-sink-16.c
-fdiagnostics-plain-output -O2 -fno-tree-pre -fno-tree-dominator-opts
-fdump-tree-sink -fdump-tree-optimized -S -o ssa-sink-16.s
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/tree-ssa/ssa-sink-16.c: In
function 'f':
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/tree-ssa/ssa-sink-16.c:5:5:
error: gimple_bb (stmt) is set to a wrong basic block
j_5 = __builtin_ffs (30);
during GIMPLE pass: sccp
/home/seurer/gcc/git/gcc-test/gcc/testsuite/gcc.dg/tree-ssa/ssa-sink-16.c:5:5:
internal compiler error: verify_gimple failed
0x10d6df93 verify_gimple_in_cfg(function*, bool, bool)
        /home/seurer/gcc/git/gcc-test/gcc/tree-cfg.cc:5662
0x10b5041f execute_function_todo
        /home/seurer/gcc/git/gcc-test/gcc/passes.cc:2088
0x10b513eb do_per_function
        /home/seurer/gcc/git/gcc-test/gcc/passes.cc:1687
0x10b5160b execute_todo
        /home/seurer/gcc/git/gcc-test/gcc/passes.cc:2142


Note that this is not fixed by
r14-6114-gde0ab339a795352c843f6e9b2dfce222f26588de as it still occurs with
r14-6120.