[Bug c/111951] New: ICE: verify_ssa failed

[Bug c/111951] New: ICE: verify_ssa failed

[19373742 at buaa dot edu.cn]

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

            Bug ID: 111951
           Summary: ICE: verify_ssa failed
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: 19373742 at buaa dot edu.cn
  Target Milestone: ---

Created attachment 56186
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56186&action=edit
The preprocessed file

*******************************************************************************
OS and Platform:
Ubuntu 20.04.4 LTS
*******************************************************************************
gcc version:
$ gcc -v
Using built-in specs.
COLLECT_GCC=/home/cuisk/ctc/gcc-releases/gcc-14/bin/gcc
COLLECT_LTO_WRAPPER=/home/cuisk/ctc/gcc-releases/gcc-14/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/cuisk/ctc/gcc-releases/gcc-14
--disable-multilib --enable-language=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 14.0.0 20231022 (experimental) (GCC)
*******************************************************************************
Command Lines:
$ gcc -I ~/csmith/include/csmith-2.3.0/ a.c -o c2
$ echo $?
0

$ gcc -I ~/csmith/include/csmith-2.3.0/ -O3 -fno-inline-functions-called-once
-fno-inline-small-functions -fno-toplevel-reorder -fno-tree-loop-im
-fno-tree-pre a.c -o ce
$ echo $?
1

during GIMPLE pass: vect
/home/gcc/tmp/a.c:1259:17: internal compiler error: verify_ssa failed
0x12c3371 verify_ssa(bool, bool)
        ../.././gcc/tree-ssa.cc:1203
0xf2c625 execute_function_todo
        ../.././gcc/passes.cc:2095
0xf2ca8e execute_todo
        ../.././gcc/passes.cc:2142
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

[Bug c/111951] ICE: verify_ssa failed

[19373742 at buaa dot edu.cn]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
A reduced testcase:

int a;
int b() {return 0;}
void c(int d) {
  int e;
  for (;;) {
    if (a)
      return;
    if (d)
      a = e = 0;
    for (; e != 27; e++)
      b() && (d = 1);
  }
}
int main() {}

error: PHI node with wrong VUSE on edge from BB 27
    3 | void c(int d) {
      |      ^
.MEM_35 = PHI <.MEM_12(27)>
expected .MEM_46
during GIMPLE pass: vect
testcase.i:3:6: internal compiler error: verify_ssa failed
0x12c3371 verify_ssa(bool, bool)
        ../.././gcc/tree-ssa.cc:1203
0xf2c625 execute_function_todo
        ../.././gcc/passes.cc:2095
0xf2ca8e execute_todo
        ../.././gcc/passes.cc:2142
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

[Bug tree-optimization/111951] ICE: verify_ssa failed

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |DUPLICATE
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Dup.

*** This bug has been marked as a duplicate of bug 111860 ***