[Bug c/111599] New: ICE: Segmentation fault

[Bug c/111599] New: ICE: Segmentation fault

[19373742 at buaa dot edu.cn]

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

            Bug ID: 111599
           Summary: ICE: Segmentation fault
           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 55994
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55994&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 20230924 (experimental) (GCC) 
*******************************************************************************
Command Lines:
$ gcc -I /home/cuisk/ctc/csmith/include/csmith-2.3.0 -O3
-fno-inline-functions-called-once -fno-inline-small-functions -fno-tree-dce
-fno-tree-forwprop -fno-tree-fre /home/cuisk/gcc/tmp/a.c -o w 2>ce.txt

during GIMPLE pass: vrp
/home/cuisk/gcc/tmp/a.c: In function ‘func_56.constprop’:
/home/cuisk/gcc/tmp/a.c:1807:16: internal compiler error: Segmentation fault
 1807 | static int32_t  func_56(int32_t  p_57, uint32_t  p_58, union U0  p_59)
      |                ^~~~~~~
0x1023e4f crash_signal
        ../.././gcc/toplev.cc:314
0x7f10480b508f ???
       
/build/glibc-SzIz7B/glibc-2.31/signal/../sysdeps/unix/sysv/linux/x86_64/sigaction.c:0
0x1358cea tree_check(tree_node*, char const*, int, char const*, tree_code)
        ../.././gcc/tree.h:3596
0x1358cea equiv_oracle::find_equiv_dom(tree_node*, basic_block_def*) const
        ../.././gcc/value-relation.cc:531
0x135ae6e equiv_oracle::equiv_set(tree_node*, basic_block_def*)
        ../.././gcc/value-relation.cc:471
0x1358b07 relation_oracle::valid_equivs(bitmap_head*, bitmap_head const*,
basic_block_def*)
        ../.././gcc/value-relation.cc:277
0x1358e9e equiv_oracle::register_equiv(basic_block_def*, equiv_chain*,
equiv_chain*)
        ../.././gcc/value-relation.cc:584
0x135934e equiv_oracle::register_relation(basic_block_def*, relation_kind_t,
tree_node*, tree_node*)
        ../.././gcc/value-relation.cc:684
0x1dd5609 fold_using_range::range_of_range_op(vrange&,
gimple_range_op_handler&, fur_source&)
        ../.././gcc/gimple-range-fold.cc:684
0x1dd5d60 fold_using_range::fold_stmt(vrange&, gimple*, fur_source&,
tree_node*)
        ../.././gcc/gimple-range-fold.cc:599
0x1dc59a0 gimple_ranger::fold_range_internal(vrange&, gimple*, tree_node*)
        ../.././gcc/gimple-range.cc:265
0x1dc59a0 gimple_ranger::range_of_stmt(vrange&, gimple*, tree_node*)
        ../.././gcc/gimple-range.cc:326
0x133c459 range_query::value_of_stmt(gimple*, tree_node*)
        ../.././gcc/value-query.cc:113
0x11f7d5f substitute_and_fold_dom_walker::before_dom_children(basic_block_def*)
        ../.././gcc/tree-ssa-propagate.cc:820
0x1d77cde dom_walker::walk(basic_block_def*)
        ../.././gcc/domwalk.cc:311
0x11f6dd5 substitute_and_fold_engine::substitute_and_fold(basic_block_def*)
        ../.././gcc/tree-ssa-propagate.cc:999
0x13074fe execute_ranger_vrp(function*, bool, bool)
        ../.././gcc/tree-vrp.cc:1062
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.

[Bug c/111599] ICE: Segmentation fault

[19373742 at buaa dot edu.cn]

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

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

[Bug tree-optimization/111599] ICE: Segmentation fault

[pinskia at gcc dot gnu.org]

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

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Created attachment 55997
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55997&action=edit
Reduced testcase

Still need: `-O3 -fno-inline-functions-called-once -fno-inline-small-functions
-fno-tree-dce -fno-tree-forwprop -fno-tree-fre  ` to get the ICE though.

[Bug tree-optimization/111599] [14 Regression] ICE: Segmentation fault in VRP

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |14.0
            Summary|ICE: Segmentation fault     |[14 Regression] ICE:
                   |                            |Segmentation fault in VRP

[Bug tree-optimization/111599] [14 Regression] ICE: Segmentation fault in VRP

[amacleod at redhat dot com]

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

--- Comment #3 from Andrew Macleod <amacleod at redhat dot com> ---
patch in testing

[Bug tree-optimization/111599] [14 Regression] ICE: Segmentation fault in VRP

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Andrew Macleod <amacleod@gcc.gnu.org>:

https://gcc.gnu.org/g:c9dbace008e60255b10891f0c966b44a0225d7ab

commit r14-4283-gc9dbace008e60255b10891f0c966b44a0225d7ab
Author: Andrew MacLeod <amacleod@redhat.com>
Date:   Tue Sep 26 09:27:52 2023 -0400

    Ensure ssa_name is still valid.

    When the IL changes, an equivalence set may contain ssa_names that no
    longer exist.  Ensure names are still valid and not in the free list.

            PR tree-optimization/111599
            gcc/
            * value-relation.cc (relation_oracle::valid_equivs): Ensure
            ssa_name is valid.

            gcc/testsuite/
            * gcc.dg/pr111599.c: New.

[Bug tree-optimization/111599] [14 Regression] ICE: Segmentation fault in VRP

[amacleod at redhat dot com]

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

Andrew Macleod <amacleod at redhat dot com> changed:

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

--- Comment #5 from Andrew Macleod <amacleod at redhat dot com> ---
fixed.