[Bug c/111678] New: ICE in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:647

[Bug c/111678] New: ICE in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:647

[19373742 at buaa dot edu.cn]

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

            Bug ID: 111678
           Summary: ICE in check_loop_closed_ssa_def, at
                    tree-ssa-loop-manip.cc:647
           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 56039
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56039&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 20231001 (experimental) (GCC) 
*******************************************************************************
Command Lines:
$ gcc -I csmith/include/csmith-2.3.0 -O3 -fno-move-loop-stores -fno-tree-ccp
-fno-tree-copy-prop -fno-tree-dce -fno-tree-forwprop -fno-tree-fre
-fno-tree-loop-ivcanon -fno-tree-vrp a.c -o w 2>a.txt
during GIMPLE pass: ch_vect
a.c: In function ‘func_17’:
a.c:982:25: internal compiler error: in check_loop_closed_ssa_def, at
tree-ssa-loop-manip.cc:647
  982 | inline static uint64_t  func_17(uint32_t  p_18, int64_t  p_19, const
int32_t  p_20, uint32_t  p_21, int32_t  p_22)
      |                         ^~~~~~~
0x867aab check_loop_closed_ssa_def
        ../.././gcc/tree-ssa-loop-manip.cc:647
0x11a1a1c check_loop_closed_ssa_bb
        ../.././gcc/tree-ssa-loop-manip.cc:661
0x11a1fb6 verify_loop_closed_ssa(bool, loop*)
        ../.././gcc/tree-ssa-loop-manip.cc:697
0x11a1fb6 verify_loop_closed_ssa(bool, loop*)
        ../.././gcc/tree-ssa-loop-manip.cc:681
0xf0a5c9 execute_function_todo
        ../.././gcc/passes.cc:2106
0xf0a9ce 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/111678] ICE in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:647

[19373742 at buaa dot edu.cn]

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

--- Comment #1 from CTC <19373742 at buaa dot edu.cn> ---
Created attachment 56040
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56040&action=edit
The compiler output

[Bug tree-optimization/111678] ICE in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:647

[pinskia at gcc dot gnu.org]

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

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

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

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

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

[Bug tree-optimization/111678] ICE in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:647

[sjames at gcc dot gnu.org]

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

Sam James <sjames at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sjames at gcc dot gnu.org

--- Comment #3 from Sam James <sjames at gcc dot gnu.org> ---


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