public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug bootstrap/94961] New: [11 regression] internal compiler error: in df_refs_verify, at df-scan.c:4002
@ 2020-05-05 20:13 dimhen at gmail dot com
  2020-05-06  7:06 ` [Bug bootstrap/94961] " rguenth at gcc dot gnu.org
                   ` (7 more replies)
  0 siblings, 8 replies; 9+ messages in thread
From: dimhen at gmail dot com @ 2020-05-05 20:13 UTC (permalink / raw)
  To: gcc-bugs

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

            Bug ID: 94961
           Summary: [11 regression] internal compiler error: in
                    df_refs_verify, at df-scan.c:4002
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: bootstrap
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dimhen at gmail dot com
  Target Milestone: ---

r11-46 PASS
r11-117 FAIL

configure --enable-checking=yes,df --enable-languages=c,c++,lto
--disable-multilib

make
...
/home/dimhen/build/gcc_current/./prev-gcc/xg++
-B/home/dimhen/build/gcc_current/./prev-gcc/
-B/usr/local/x86_64-pc-linux-gnu/bin/ -nostdinc++
-B/home/dimhen/build/gcc_current/prev-x86_64-pc-linux-gnu/libstdc++-v3/src/.libs
-B/home/dimhen/build/gcc_current/prev-x86_64-pc-linux-gnu/libstdc++-v3/libsupc++/.libs

-I/home/dimhen/build/gcc_current/prev-x86_64-pc-linux-gnu/libstdc++-v3/include/x86_64-pc-linux-gnu
 -I/home/dimhen/build/gcc_current/prev-x86_64-pc-linux-gnu/libstdc++-v3/include
 -I/home/dimhen/src/gcc_current/libstdc++-v3/libsupc++
-L/home/dimhen/build/gcc_current/prev-x86_64-pc-linux-gnu/libstdc++-v3/src/.libs
-L/home/dimhen/build/gcc_current/prev-x86_64-pc-linux-gnu/libstdc++-v3/libsupc++/.libs
-fno-PIE -c   -g -O2 -fno-checking -gtoggle -DIN_GCC     -fno-exceptions
-fno-rtti -fasynchronous-unwind-tables -W -Wall -Wno-narrowing -Wwrite-strings
-Wcast-qual -Wno-error=format-diag -Wmissing-format-attribute
-Woverloaded-virtual -pedantic -Wno-long-long -Wno-variadic-macros
-Wno-overlength-strings -Werror -fno-common  -DHAVE_CONFIG_H -I. -I.
-I/home/dimhen/src/gcc_current/gcc -I/home/dimhen/src/gcc_current/gcc/.
-I/home/dimhen/src/gcc_current/gcc/../include
-I/home/dimhen/src/gcc_current/gcc/../libcpp/include
-I/home/dimhen/build/gcc_current/./gmp -I/home/dimhen/src/gcc_current/gmp
-I/home/dimhen/build/gcc_current/./mpfr/src
-I/home/dimhen/src/gcc_current/mpfr/src -I/home/dimhen/src/gcc_current/mpc/src 
-I/home/dimhen/src/gcc_current/gcc/../libdecnumber
-I/home/dimhen/src/gcc_current/gcc/../libdecnumber/bid -I../libdecnumber
-I/home/dimhen/src/gcc_current/gcc/../libbacktrace
-I/home/dimhen/build/gcc_current/./isl/include
-I/home/dimhen/src/gcc_current/isl/include  -o tree-ssa-loop-ivopts.o -MT
tree-ssa-loop-ivopts.o -MMD -MP -MF ./.deps/tree-ssa-loop-ivopts.TPo
/home/dimhen/src/gcc_current/gcc/tree-ssa-loop-ivopts.c
during RTL pass: jump2
/home/dimhen/src/gcc_current/gcc/tree-ssa-ccp.c: In function 'void
bit_value_unop(tree_code, signop, int, widest_int*, widest_int*, signop, int,
const widest_int&, const widest_int&)':
/home/dimhen/src/gcc_current/gcc/tree-ssa-ccp.c:1338:1: internal compiler
error: in df_refs_verify, at df-scan.c:4002
 1338 | }
      | ^
0xf1eb1d df_refs_verify
        /home/dimhen/src/gcc_current/gcc/df-scan.c:4002
0xf1ed50 df_insn_refs_verify
        /home/dimhen/src/gcc_current/gcc/df-scan.c:4072
0xf1eec4 df_bb_verify
        /home/dimhen/src/gcc_current/gcc/df-scan.c:4101
0xf1f46e df_scan_verify()
        /home/dimhen/src/gcc_current/gcc/df-scan.c:4222
0xf07083 df_verify()
        /home/dimhen/src/gcc_current/gcc/df-core.c:1818
0xf0593f df_analyze_1
        /home/dimhen/src/gcc_current/gcc/df-core.c:1214
0xf05d02 df_analyze()
        /home/dimhen/src/gcc_current/gcc/df-core.c:1290
0x23a9d46 try_optimize_cfg
        /home/dimhen/src/gcc_current/gcc/cfgcleanup.c:2994
0x23aa1cf cleanup_cfg(int)
        /home/dimhen/src/gcc_current/gcc/cfgcleanup.c:3174
0x23aa506 execute
        /home/dimhen/src/gcc_current/gcc/cfgcleanup.c:3354
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
make[3]: *** [Makefile:1117: tree-ssa-ccp.o] Error 1

^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug bootstrap/94961] [11 regression] internal compiler error: in df_refs_verify, at df-scan.c:4002
  2020-05-05 20:13 [Bug bootstrap/94961] New: [11 regression] internal compiler error: in df_refs_verify, at df-scan.c:4002 dimhen at gmail dot com
@ 2020-05-06  7:06 ` rguenth at gcc dot gnu.org
  2020-05-06  7:51 ` marxin at gcc dot gnu.org
                   ` (6 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu.org @ 2020-05-06  7:06 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|                            |x86_64-*-*
   Target Milestone|---                         |11.0

^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug bootstrap/94961] [11 regression] internal compiler error: in df_refs_verify, at df-scan.c:4002
  2020-05-05 20:13 [Bug bootstrap/94961] New: [11 regression] internal compiler error: in df_refs_verify, at df-scan.c:4002 dimhen at gmail dot com
  2020-05-06  7:06 ` [Bug bootstrap/94961] " rguenth at gcc dot gnu.org
@ 2020-05-06  7:51 ` marxin at gcc dot gnu.org
  2020-05-06  9:47 ` [Bug bootstrap/94961] [11 regression] internal compiler error: in df_refs_verify, at df-scan.c:4002 since r11-87-gd44f14ccef831d90feb57fab56bc3389d543ffdd marxin at gcc dot gnu.org
                   ` (5 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: marxin at gcc dot gnu.org @ 2020-05-06  7:51 UTC (permalink / raw)
  To: gcc-bugs

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org
           Keywords|                            |needs-bisection,
                   |                            |needs-reduction
   Last reconfirmed|                            |2020-05-06
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Confirmed, I'm gonna bisect that.

^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug bootstrap/94961] [11 regression] internal compiler error: in df_refs_verify, at df-scan.c:4002 since r11-87-gd44f14ccef831d90feb57fab56bc3389d543ffdd
  2020-05-05 20:13 [Bug bootstrap/94961] New: [11 regression] internal compiler error: in df_refs_verify, at df-scan.c:4002 dimhen at gmail dot com
  2020-05-06  7:06 ` [Bug bootstrap/94961] " rguenth at gcc dot gnu.org
  2020-05-06  7:51 ` marxin at gcc dot gnu.org
@ 2020-05-06  9:47 ` marxin at gcc dot gnu.org
  2020-05-06 11:24 ` [Bug bootstrap/94961] [11 Regression] ICE " marxin at gcc dot gnu.org
                   ` (4 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: marxin at gcc dot gnu.org @ 2020-05-06  9:47 UTC (permalink / raw)
  To: gcc-bugs

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org
            Summary|[11 regression] internal    |[11 regression] internal
                   |compiler error: in          |compiler error: in
                   |df_refs_verify, at          |df_refs_verify, at
                   |df-scan.c:4002              |df-scan.c:4002 since
                   |                            |r11-87-gd44f14ccef831d90feb
                   |                            |57fab56bc3389d543ffdd
           Keywords|needs-bisection             |

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
I'm reducing that right now.

^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug bootstrap/94961] [11 Regression] ICE in df_refs_verify, at df-scan.c:4002 since r11-87-gd44f14ccef831d90feb57fab56bc3389d543ffdd
  2020-05-05 20:13 [Bug bootstrap/94961] New: [11 regression] internal compiler error: in df_refs_verify, at df-scan.c:4002 dimhen at gmail dot com
                   ` (2 preceding siblings ...)
  2020-05-06  9:47 ` [Bug bootstrap/94961] [11 regression] internal compiler error: in df_refs_verify, at df-scan.c:4002 since r11-87-gd44f14ccef831d90feb57fab56bc3389d543ffdd marxin at gcc dot gnu.org
@ 2020-05-06 11:24 ` marxin at gcc dot gnu.org
  2020-05-06 11:32 ` jakub at gcc dot gnu.org
                   ` (3 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: marxin at gcc dot gnu.org @ 2020-05-06 11:24 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Created attachment 48465
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48465&action=edit
Partially reduced test-case

Cannot reduce much..

^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug bootstrap/94961] [11 Regression] ICE in df_refs_verify, at df-scan.c:4002 since r11-87-gd44f14ccef831d90feb57fab56bc3389d543ffdd
  2020-05-05 20:13 [Bug bootstrap/94961] New: [11 regression] internal compiler error: in df_refs_verify, at df-scan.c:4002 dimhen at gmail dot com
                   ` (3 preceding siblings ...)
  2020-05-06 11:24 ` [Bug bootstrap/94961] [11 Regression] ICE " marxin at gcc dot gnu.org
@ 2020-05-06 11:32 ` jakub at gcc dot gnu.org
  2020-05-08  7:31 ` cvs-commit at gcc dot gnu.org
                   ` (2 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: jakub at gcc dot gnu.org @ 2020-05-06 11:32 UTC (permalink / raw)
  To: gcc-bugs

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 48466
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48466&action=edit
gcc11-pr94961.patch

Untested fix.

^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug bootstrap/94961] [11 Regression] ICE in df_refs_verify, at df-scan.c:4002 since r11-87-gd44f14ccef831d90feb57fab56bc3389d543ffdd
  2020-05-05 20:13 [Bug bootstrap/94961] New: [11 regression] internal compiler error: in df_refs_verify, at df-scan.c:4002 dimhen at gmail dot com
                   ` (4 preceding siblings ...)
  2020-05-06 11:32 ` jakub at gcc dot gnu.org
@ 2020-05-08  7:31 ` cvs-commit at gcc dot gnu.org
  2020-05-08  7:51 ` jakub at gcc dot gnu.org
  2020-05-08 10:46 ` dimhen at gmail dot com
  7 siblings, 0 replies; 9+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2020-05-08  7:31 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:

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

commit r11-192-gaf1634f1b555004753a22d1124dbb8419ee095cb
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Fri May 8 09:30:54 2020 +0200

    csa: Fix --enable-checking=yes,df bootstrap failure in csa [PR94961]

    My recent combine-stack-adj.c change broke df checking bootstrap,
    while most of the changes are done through validate_change/confirm_changes
    which update df info, the removal of REG_EQUAL notes didn't update df info.

    2020-05-08  Jakub Jelinek  <jakub@redhat.com>

            PR bootstrap/94961
            PR rtl-optimization/94516
            * rtl.h (remove_reg_equal_equiv_notes): Add a bool argument
defaulted
            to false.
            * rtlanal.c (remove_reg_equal_equiv_notes): Add no_rescan argument.
            Call df_notes_rescan if that argument is not true and returning
true.
            * combine.c (adjust_for_new_dest): Pass true as second argument to
            remove_reg_equal_equiv_notes.
            * postreload.c (reload_combine_recognize_pattern): Don't call
            df_notes_rescan.

^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug bootstrap/94961] [11 Regression] ICE in df_refs_verify, at df-scan.c:4002 since r11-87-gd44f14ccef831d90feb57fab56bc3389d543ffdd
  2020-05-05 20:13 [Bug bootstrap/94961] New: [11 regression] internal compiler error: in df_refs_verify, at df-scan.c:4002 dimhen at gmail dot com
                   ` (5 preceding siblings ...)
  2020-05-08  7:31 ` cvs-commit at gcc dot gnu.org
@ 2020-05-08  7:51 ` jakub at gcc dot gnu.org
  2020-05-08 10:46 ` dimhen at gmail dot com
  7 siblings, 0 replies; 9+ messages in thread
From: jakub at gcc dot gnu.org @ 2020-05-08  7:51 UTC (permalink / raw)
  To: gcc-bugs

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed.

^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug bootstrap/94961] [11 Regression] ICE in df_refs_verify, at df-scan.c:4002 since r11-87-gd44f14ccef831d90feb57fab56bc3389d543ffdd
  2020-05-05 20:13 [Bug bootstrap/94961] New: [11 regression] internal compiler error: in df_refs_verify, at df-scan.c:4002 dimhen at gmail dot com
                   ` (6 preceding siblings ...)
  2020-05-08  7:51 ` jakub at gcc dot gnu.org
@ 2020-05-08 10:46 ` dimhen at gmail dot com
  7 siblings, 0 replies; 9+ messages in thread
From: dimhen at gmail dot com @ 2020-05-08 10:46 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #7 from Dmitry G. Dyachenko <dimhen at gmail dot com> ---
r11-196 PASS for me.
Thanks.

^ permalink raw reply	[flat|nested] 9+ messages in thread

end of thread, other threads:[~2020-05-08 10:46 UTC | newest]

Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-05-05 20:13 [Bug bootstrap/94961] New: [11 regression] internal compiler error: in df_refs_verify, at df-scan.c:4002 dimhen at gmail dot com
2020-05-06  7:06 ` [Bug bootstrap/94961] " rguenth at gcc dot gnu.org
2020-05-06  7:51 ` marxin at gcc dot gnu.org
2020-05-06  9:47 ` [Bug bootstrap/94961] [11 regression] internal compiler error: in df_refs_verify, at df-scan.c:4002 since r11-87-gd44f14ccef831d90feb57fab56bc3389d543ffdd marxin at gcc dot gnu.org
2020-05-06 11:24 ` [Bug bootstrap/94961] [11 Regression] ICE " marxin at gcc dot gnu.org
2020-05-06 11:32 ` jakub at gcc dot gnu.org
2020-05-08  7:31 ` cvs-commit at gcc dot gnu.org
2020-05-08  7:51 ` jakub at gcc dot gnu.org
2020-05-08 10:46 ` dimhen at gmail dot com

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).