[Bug target/113140] New: [SPARC] [13 Regression] Segmentation fault during RTL pass: dbr

[Bug target/113140] New: [SPARC] [13 Regression] Segmentation fault during RTL pass: dbr

[glaubitz at physik dot fu-berlin.de]

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

            Bug ID: 113140
           Summary: [SPARC] [13 Regression] Segmentation fault during RTL
                    pass: dbr
           Product: gcc
           Version: 13.2.1
               URL: https://buildd.debian.org/status/fetch.php?pkg=qt6-dec
                    larative&arch=sparc64&ver=6.6.1%2Bdfsg-1&stamp=1702262
                    113&raw=0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: glaubitz at physik dot fu-berlin.de
                CC: jrtc27 at jrtc27 dot com, matorola at gmail dot com, ro at gcc dot gnu.org,
                    sjames at gcc dot gnu.org, sumbera at volny dot cz
  Target Milestone: ---
            Target: sparc64-linux-gnu

When building qt6-declarative on 64-bit Linux SPARC, gcc-13 crashes with the
following error message:

(experimental_sparc64-dchroot)glaubitz@stadler:~/qt6-declarative/qt6-declarative-6.6.1+dfsg$
/usr/bin/c++ -DBUILDING_QT__ -DENABLE_ASSEMBLER_WX_EXCLUSIVE=1
-DENABLE_DFG_JIT=0 -DENABLE_DFG_JIT_UTILITY_METHODS=1
 -DENABLE_JIT_CONSTANT_BLINDING=0 -DENABLE_LLINT=0 -DJS_EXPORT_PRIVATE=""
-DQT_ASCII_CAST_WARNINGS -DQT_BUILDING_QT -DQT_BUILD_QML_LIB -DQT_CORE_LIB
-DQT_DEPRECATED_WARNINGS -DQT_DISABLE_DEPRECATED_UP_TO=0x050
000 -DQT_EXPLICIT_QFILE_CONSTRUCTION_FROM_PATH -DQT_LEAN_HEADERS=1
-DQT_MOC_COMPAT -DQT_NETWORK_LIB -DQT_NO_AS_CONST -DQT_NO_AS_CONST=1
-DQT_NO_CAST_TO_ASCII -DQT_NO_DEBUG -DQT_NO_EXCEPTIONS -DQT_NO_FOREACH -D
QT_NO_INTEGER_EVENT_COORDINATES -DQT_NO_JAVA_STYLE_ITERATORS
-DQT_NO_NARROWING_CONVERSIONS_IN_CONNECT -DQT_NO_QEXCHANGE
-DQT_NO_URL_CAST_FROM_STRING -DQT_QMLINTEGRATION_LIB -DQT_USE_QSTRINGBUILDER
-DQT_WARN_DE
PRECATED_UP_TO=0x070000 -DQml_EXPORTS
-DWTFInvokeCrashHook=qmlWTFInvokeCrashHook
-DWTFReportAssertionFailure=qmlWTFReportAssertionFailure
-DWTFReportAssertionFailureWithMessage=qmlWTFReportAssertionFailureWith
Message -DWTFReportBacktrace=qmlWTFReportBacktrace -DWTF_EXPORT_PRIVATE=""
-DWTF_USE_UDIS86=0 -D_LARGEFILE64_SOURCE -D_LARGEFILE_SOURCE
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/obj-sparc64-l
inux-gnu/src/qml/Qml_autogen/include
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/obj-sparc64-linux-gnu/include
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/obj-sparc64-linux-gnu/
include/QtQml
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/src/qml
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/obj-sparc64-linux-gnu/src/qml
-I/home/glaubitz/qt6-declarative/qt6-
declarative-6.6.1+dfsg/obj-sparc64-linux-gnu/src/qml/.generated
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/obj-sparc64-linux-gnu/src/qml/compiler
-I/home/glaubitz/qt6-declarative/qt6-declarati
ve-6.6.1+dfsg/obj-sparc64-linux-gnu/src/qml/jsruntime
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/obj-sparc64-linux-gnu/src/qml/memory
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfs
g/obj-sparc64-linux-gnu/src/qml/qmldirparser
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/src/qml/../3rdparty/masm
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/src/qml/../3rdparty
/masm/assembler
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/src/qml/../3rdparty/masm/disassembler
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/src/qml/../3rdparty/masm/disassembl
er/udis86
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/src/qml/../3rdparty/masm/jit
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/src/qml/../3rdparty/masm/runtime
-I/home/glaubitz/
qt6-declarative/qt6-declarative-6.6.1+dfsg/src/qml/../3rdparty/masm/stubs
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/src/qml/../3rdparty/masm/stubs/runtime
-I/home/glaubitz/qt6-declarative/qt6
-declarative-6.6.1+dfsg/src/qml/../3rdparty/masm/stubs/wtf
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/src/qml/../3rdparty/masm/wtf
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/s
rc/qml/compiler
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/src/qml/debugger
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/src/qml/jsruntime
-I/home/glaubitz/qt6-declarative/qt6-d
eclarative-6.6.1+dfsg/src/qml/memory
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/src/qml/qmldirparser
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/obj-sparc64-linux-gnu/include/Q
tQml/6.6.1
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/obj-sparc64-linux-gnu/include/QtQml/6.6.1/QtQml
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/obj-sparc64-linux-gnu/include/
QtQmlIntegration
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/src/qmlintegration
-I/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/obj-sparc64-linux-gnu/src/qmlintegration
-I/home/glau
bitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/src/qml/animations -isystem
/usr/include/sparc64-linux-gnu/qt6/QtCore/6.6.1 -isystem
/usr/include/sparc64-linux-gnu/qt6/QtCore/6.6.1/QtCore -isystem /usr/include
/sparc64-linux-gnu/qt6/QtCore -isystem /usr/include/sparc64-linux-gnu/qt6
-isystem /usr/lib/sparc64-linux-gnu/qt6/mkspecs/linux-g++ -isystem
/usr/include/sparc64-linux-gnu/qt6/QtNetwork -g -O2 -ffile-prefix-ma
p=/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg=. -flto=auto
-ffat-lto-objects -fstack-protector-strong -Wformat -Werror=format-security
-Wdate-time -D_FORTIFY_SOURCE=2 -std=c++17 -fPIC -fvisibilit
y=hidden -fvisibility-inlines-hidden -Wall -Wextra -fno-exceptions
-Wsuggest-override -MD -MT
src/qml/CMakeFiles/Qml.dir/jsruntime/qv4qobjectwrapper.cpp.o -MF
src/qml/CMakeFiles/Qml.dir/jsruntime/qv4qobjectwra
pper.cpp.o.d -o src/qml/CMakeFiles/Qml.dir/jsruntime/qv4qobjectwrapper.cpp.o -c
/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/src/qml/jsruntime/qv4qobjectwrapper.cpp


/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/src/qml/jsruntime/qv4qobjectwrapper.cpp:
In member function 'QV4::QObjectMethod::callInternal(QV4::Value const*,
QV4::Value const*, int) const':
/home/glaubitz/qt6-declarative/qt6-declarative-6.6.1+dfsg/src/qml/jsruntime/qv4qobjectwrapper.cpp:2734:1:
internal compiler error: Segmentation fault
 2734 | }
      | ^
0x7ae253 internal_error(char const*, ...)
        ???:0
0xfff8000101b46c1b sigset
        ???:0
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <file:///usr/share/doc/gcc-13/README.Bugs> for instructions.

The bug is not reproducible, so it is likely a hardware or OS problem.
(experimental_sparc64-dchroot)glaubitz@stadler:~/qt6-declarative/qt6-declarative-6.6.1+dfsg$

Full build log available in:
https://buildd.debian.org/status/fetch.php?pkg=qt6-declarative&arch=sparc64&ver=6.6.1%2Bdfsg-1&stamp=1702262113&raw=0

The crash is not reproducible in gcc-12.

[Bug target/113140] [SPARC] [13 Regression] Segmentation fault during RTL pass: dbr

[sjames at gcc dot gnu.org]

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

--- Comment #1 from Sam James <sjames at gcc dot gnu.org> ---
Could you try ro tun that failing command again with -save-temps appended, and
then upload qv4qobjectwrapper.ii? It should be somewhere in the builddir.

[Bug target/113140] [SPARC] [13 Regression] Segmentation fault during RTL pass: dbr

[glaubitz at physik dot fu-berlin.de]

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

--- Comment #2 from John Paul Adrian Glaubitz <glaubitz at physik dot fu-berlin.de> ---
Created attachment 56940
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56940&action=edit
Preprocessed source from building qt6-declarative with gcc-13

Sure, see attached.

[Bug target/113140] [SPARC] [13 Regression] Segmentation fault during RTL pass: dbr

[pinskia at gcc dot gnu.org]

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

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
The obvious workaround is -fno-delayed-branch because this is causing an ICE
during the delay slot scheduling.

[Bug target/113140] [SPARC] [13 Regression] Segmentation fault during RTL pass: dbr

[ro at gcc dot gnu.org]

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

--- Comment #4 from Rainer Orth <ro at gcc dot gnu.org> ---
Created attachment 56975
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56975&action=edit
reduced testcase

[Bug target/113140] [SPARC] [13 Regression] Segmentation fault during RTL pass: dbr

[ro at gcc dot gnu.org]

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

--- Comment #5 from Rainer Orth <ro at gcc dot gnu.org> ---
(In reply to John Paul Adrian Glaubitz from comment #2)
> Created attachment 56940 [details]
> Preprocessed source from building qt6-declarative with gcc-13
> 
> Sure, see attached.

It's also helpful to include the cc1plus invocation from g++ -v; that includes
all you need to reproduce.

[Bug target/113140] [SPARC] [13 Regression] Segmentation fault during RTL pass: dbr

[ro at CeBiTec dot Uni-Bielefeld.DE]

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

--- Comment #6 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> ---
> --- Comment #5 from Rainer Orth <ro at gcc dot gnu.org> ---

> It's also helpful to include the cc1plus invocation from g++ -v; that includes
> all you need to reproduce.

The full one is

cc1plus -fpreprocessed qv4qobjectwrapper.cpp.ii -mptr64 -mstack-bias
-mno-v8plus -quiet -m64 -mcpu=v9 -g -O2 -std=c++17 -version -flto=auto
-ffat-lto-objects -fstack-protector-strong -fPIC -fvisibility=hidden
-fvisibility-inlines-hidden -fno-exceptions -o qv4qobjectwrapper.cpp.s

With the original testcase and cc1plus from the gcc-13 branch, this can
be reduced to

cc1plus -fpreprocessed qv4qobjectwrapper.cpp.ii -mptr64 -mstack-bias
-mno-v8plus -quiet -m64 -mcpu=v9 -O2 -fno-exceptions -o qv4qobjectwrapper.cpp.s

while without -fno-exceptions the test compiles in this configuration.

Fortunately, I managed to reduce the testcase as attached, which SEGVs
even without -fno-exceptions.

On trunk, the original testcase compiles without issues, while the
reduced one SEGVs since gcc-8 (didn't try before) up to trunk.

[Bug target/113140] [SPARC] [13 Regression] Segmentation fault during RTL pass: dbr

[ro at gcc dot gnu.org]

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

Rainer Orth <ro at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot gnu.org
             Target|sparc64-linux-gnu           |sparc*-*-*
   Target Milestone|---                         |14.0
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2024-01-02
     Ever confirmed|0                           |1

--- Comment #7 from Rainer Orth <ro at gcc dot gnu.org> ---
I forgot: the ICE also happens on sparc-sun-solaris2.11 (which I did the
testcase reduction).

[Bug target/113140] [SPARC] [13 Regression] Segmentation fault during RTL pass: dbr

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |ebotcazou at gcc dot gnu.org
             Status|NEW                         |ASSIGNED

--- Comment #8 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Investigating.

[Bug target/113140] [13/14 regression] segmentation fault during delay slot scheduling

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|14.0                        |13.3
            Summary|[13 regression]             |[13/14 regression]
                   |segmentation fault during   |segmentation fault during
                   |delay slot scheduling       |delay slot scheduling

[Bug rtl-optimization/113140] [13/14 regression] segmentation fault during delay slot scheduling

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|target                      |rtl-optimization

--- Comment #9 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Reclassifying.

[Bug rtl-optimization/113140] [13/14 regression] segmentation fault during delay slot scheduling

[cvs-commit at gcc dot gnu.org]

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

--- Comment #10 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Eric Botcazou <ebotcazou@gcc.gnu.org>:

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

commit r14-7028-gf34141730266600b615b91d563a85a0b60223b3e
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Tue Jan 9 10:14:29 2024 +0100

    Fix segfault during delay slot scheduling pass

    This is a small regression present on the mainline and 13 branch, although
    the underlying problem has probably been there for ages, in the form of a
    segfault during the delay slot scheduling pass, for a function that falls
    through to exit without any instruction generated for the end of function.

    gcc/
            PR rtl-optimization/113140
            * reorg.cc (fill_slots_from_thread): If we are to branch after the
            last instruction of the function, create an end label.

    gcc/testsuite/
            * g++.dg/opt/delay-slot-2.C: New test.

[Bug rtl-optimization/113140] [13/14 regression] segmentation fault during delay slot scheduling

[cvs-commit at gcc dot gnu.org]

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

--- Comment #11 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Eric Botcazou
<ebotcazou@gcc.gnu.org>:

https://gcc.gnu.org/g:6ddc3fe23ede844454584bc3699f879d3694a382

commit r13-8201-g6ddc3fe23ede844454584bc3699f879d3694a382
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Tue Jan 9 10:14:29 2024 +0100

    Fix segfault during delay slot scheduling pass

    This is a small regression present on the mainline and 13 branch, although
    the underlying problem has probably been there for ages, in the form of a
    segfault during the delay slot scheduling pass, for a function that falls
    through to exit without any instruction generated for the end of function.

    gcc/
            PR rtl-optimization/113140
            * reorg.cc (fill_slots_from_thread): If we are to branch after the
            last instruction of the function, create an end label.

    gcc/testsuite/
            * g++.dg/opt/delay-slot-2.C: New test.

[Bug rtl-optimization/113140] [13/14 regression] segmentation fault during delay slot scheduling

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

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

--- Comment #12 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Thanks for reporting the problem.