[Bug tree-optimization/109848] New: [14 Regression] Recent change causing testsuite ICE on csky port

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

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

            Bug ID: 109848
           Summary: [14 Regression] Recent change causing testsuite ICE on
                    csky port
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: law at gcc dot gnu.org
  Target Milestone: ---

This patch:

commit cc0e22b3f25d4b2a326322bce711179c02377e6c
Author: Richard Biener <rguenther@suse.de>
Date:   Fri May 12 13:43:27 2023 +0200

    tree-optimization/64731 - extend store-from CTOR lowering to TARGET_MEM_REF

    The following also covers TARGET_MEM_REF when decomposing stores from
    CTORs to supported elementwise operations.  This avoids spilling
    and cleans up after vector lowering which doesn't touch loads or
    stores.  It also mimics what we already do for loads.

            PR tree-optimization/64731
            * tree-ssa-forwprop.cc (pass_forwprop::execute): Also
            handle TARGET_MEM_REF destinations of stores from vector
            CTORs.

            * gcc.target/i386/pr64731.c: New testcase.


Is causing the csky port to abort in forwprop with an verify_ssa failure
FAIL: gcc.dg/torture/pr52407.c   -O2  (internal compiler error: verify_ssa
failed)
FAIL: gcc.dg/torture/pr52407.c   -O2  (test for excess errors)
Excess errors:
/home/jlaw/test/gcc/gcc/testsuite/gcc.dg/torture/pr52407.c:22:1: error:
definition in block 3 follows the use
for SSA_NAME: _38 in statement:
_24 = &MEM[(vl_t *)_38];
during GIMPLE pass: forwprop
/home/jlaw/test/gcc/gcc/testsuite/gcc.dg/torture/pr52407.c:22:1: internal
compiler error: verify_ssa failed
0x11a93bf verify_ssa(bool, bool)
        /home/jlaw/test/gcc/gcc/tree-ssa.cc:1203
0xe5f8a5 execute_function_todo
        /home/jlaw/test/gcc/gcc/passes.cc:2105
0xe5e4de do_per_function
        /home/jlaw/test/gcc/gcc/passes.cc:1694
0xe5fa4e execute_todo
        /home/jlaw/test/gcc/gcc/passes.cc:2152


Testsuite is gcc.dg/torture/pr52407 can can be seen with just a cross compiler.