[Bug c/110294] New: Segmentation fault with '-O3 -fno-dce -fno-toplevel-reorder -fno-tree-dce -fno-tree-pta -fno-tree-sink -ftoplevel-reorder'

[Bug c/110294] New: Segmentation fault with '-O3 -fno-dce -fno-toplevel-reorder -fno-tree-dce -fno-tree-pta -fno-tree-sink -ftoplevel-reorder'

[19373742 at buaa dot edu.cn]

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

            Bug ID: 110294
           Summary: Segmentation fault with '-O3  -fno-dce
                    -fno-toplevel-reorder -fno-tree-dce -fno-tree-pta
                    -fno-tree-sink -ftoplevel-reorder'
           Product: gcc
           Version: 11.4.1
            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 55352
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55352&action=edit
The preprocessed file

*******************************************************************************
OS and Platform:
CentOS Linux release 7.9.2009 (Core), x86_64 GNU/Linux
*******************************************************************************
gcc version:

# /home/gcc-releases/gcc-11-0615/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/home/gcc-releases/gcc-11-0615/bin/gcc
COLLECT_LTO_WRAPPER=/home/gcc-releases/gcc-11-0615/libexec/gcc/x86_64-pc-linux-gnu/11.4.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ./configure --prefix=/home/gcc-releases/gcc-11-0615/
--disable-multilib --enable-languages=c,c++
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 11.4.1 20230615 (GCC)
*******************************************************************************
Command Lines:

# /home/gcc-releases/gcc-11-0615/bin/gcc -I
/home/csmith_record/include/csmith-2.3.0/  -O3  -fno-dce -fno-toplevel-reorder
-fno-tree-dce -fno-tree-pta -fno-tree-sink  -ftoplevel-reorder -save-temps f.c
-o f.o

# ./f.o
Segmentation fault

# /home/gcc-releases/gcc-11-0615/bin/gcc -I
/home/csmith_record/include/csmith-2.3.0/  -O3  f.c -o f2.o

# ./f2.o
checksum = E1BE9725

[Bug c/110294] Segmentation fault with '-O3 -fno-dce -fno-toplevel-reorder -fno-tree-dce -fno-tree-pta -fno-tree-sink -ftoplevel-reorder'

[19373742 at buaa dot edu.cn]

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

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

[Bug c/110294] Segmentation fault with '-O3 -fno-dce -fno-toplevel-reorder -fno-tree-dce -fno-tree-pta -fno-tree-sink -ftoplevel-reorder'

[xry111 at gcc dot gnu.org]

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

Xi Ruoyao <xry111 at gcc dot gnu.org> changed:

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

--- Comment #2 from Xi Ruoyao <xry111 at gcc dot gnu.org> ---
Not reproducible with GCC 13.1.  I guess it's a duplicate of a fixed issue.

[Bug middle-end/110294] [10/11 Regression] Segmentation fault with '-O3 -fno-dce -fno-toplevel-reorder -fno-tree-dce -fno-tree-pta -fno-tree-sink -ftoplevel-reorder'

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |10.1.0, 11.1.0, 11.3.0
      Known to work|                            |13.1.0
            Summary|Segmentation fault with     |[10/11 Regression]
                   |'-O3  -fno-dce              |Segmentation fault with
                   |-fno-toplevel-reorder       |'-O3  -fno-dce
                   |-fno-tree-dce -fno-tree-pta |-fno-toplevel-reorder
                   |-fno-tree-sink              |-fno-tree-dce -fno-tree-pta
                   |-ftoplevel-reorder'         |-fno-tree-sink
                   |                            |-ftoplevel-reorder'
   Target Milestone|---                         |10.5

[Bug middle-end/110294] [10/11 Regression] Segmentation fault with '-O3 -fno-dce -fno-toplevel-reorder -fno-tree-dce -fno-tree-pta -fno-tree-sink -ftoplevel-reorder'

[19373742 at buaa dot edu.cn]

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

--- Comment #3 from CTC <19373742 at buaa dot edu.cn> ---
Another related and smaller reproducer:

# cat tmp.i
a;
*const b;
main() { a != *b; }

[Bug middle-end/110294] [10/11 Regression] Segmentation fault with '-O3 -fno-dce -fno-toplevel-reorder -fno-tree-dce -fno-tree-pta -fno-tree-sink -ftoplevel-reorder'

[xry111 at gcc dot gnu.org]

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

--- Comment #4 from Xi Ruoyao <xry111 at gcc dot gnu.org> ---
(In reply to CTC from comment #3)
> Another related and smaller reproducer:
> 
> # cat tmp.i
> a;
> *const b;
> main() { a != *b; }

This is an undefined behavior and the compiler is allowed to generate code to
crash.  When you use tools like cvise for reducing a "crashing" test case you
need to add more constraints so it won't result such an invalid test case.

[Bug middle-end/110294] [11 Regression] Segmentation fault with '-O3 -fno-dce -fno-toplevel-reorder -fno-tree-dce -fno-tree-pta -fno-tree-sink -ftoplevel-reorder'

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.5                        |11.5

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 10 branch is being closed.

[Bug middle-end/110294] [11 Regression] Segmentation fault with '-O3 -fno-dce -fno-toplevel-reorder -fno-tree-dce -fno-tree-pta -fno-tree-sink -ftoplevel-reorder'

[jamborm at gcc dot gnu.org]

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

Martin Jambor <jamborm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jamborm at gcc dot gnu.org
           Keywords|needs-bisection             |

--- Comment #6 from Martin Jambor <jamborm at gcc dot gnu.org> ---
(In reply to Xi Ruoyao from comment #2)
> Not reproducible with GCC 13.1.  I guess it's a duplicate of a fixed issue.

The testcase stopped failing with r12-248-gb58dc0b803057c (Richard Biener:
tree-optimization/99912 - delete trivially dead stmts during DSE)

[Bug middle-end/110294] [11 Regression] Segmentation fault with '-O3 -fno-dce -fno-toplevel-reorder -fno-tree-dce -fno-tree-pta -fno-tree-sink -ftoplevel-reorder'

[pinskia at gcc dot gnu.org]

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

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

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

--- Comment #7 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I am almost positive this is a dup of bug 108007 even though this is now
working.

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