public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/100564] New: [12 Regression] Broken Ada bootstrap
@ 2021-05-12 9:44 marxin at gcc dot gnu.org
2021-05-12 9:45 ` [Bug ada/100564] " marxin at gcc dot gnu.org
` (5 more replies)
0 siblings, 6 replies; 7+ messages in thread
From: marxin at gcc dot gnu.org @ 2021-05-12 9:44 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100564
Bug ID: 100564
Summary: [12 Regression] Broken Ada bootstrap
Product: gcc
Version: 11.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: marxin at gcc dot gnu.org
Target Milestone: ---
I see the following crash when using stage1 GNAT compiler:
abuild@marxinbox:~/rpmbuild/BUILD/gcc-12.0.0+git185139/obj-x86_64-suse-linux/gcc>
valgrind --trace-children=yes
/home/abuild/rpmbuild/BUILD/gcc-12.0.0+git185139/obj-x86_64-suse-linux/./prev-gcc/xgcc
-B/home/abuild/rpmbuild/BUILD/gcc-12.0.0+git185139/obj-x86_64-suse-linux/./prev-gcc/
-B/usr/x86_64-suse-linux/bin/ -B/usr/x86_64-suse-linux/bin/
-B/usr/x86_64-suse-linux/lib/ -isystem /usr/x86_64-suse-linux/include -isystem
/usr/x86_64-suse-linux/sys-include -fno-checking -c -fmessage-length=0
-grecord-gcc-switches -O2 -D_FORTIFY_SOURCE=2 -funwind-tables
-fasynchronous-unwind-tables -fstack-clash-protection -g -U_FORTIFY_SOURCE
-fno-checking -gtoggle -fprofile-generate -gnatpg -gnatwns -W -Wall -nostdinc
-I- -I. -Iada/generated -Iada -Iada/gcc-interface -I../../gcc/ada
-I../../gcc/ada/gcc-interface -Iada/libgnat -I../../gcc/ada/libgnat
../../gcc/ada/sem_intr.adb -o ada/sem_intr.o
==14193== Memcheck, a memory error detector
==14193== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
==14193== Using Valgrind-3.13.0 and LibVEX; rerun with -h for copyright info
==14193== Command:
/home/abuild/rpmbuild/BUILD/gcc-12.0.0+git185139/obj-x86_64-suse-linux/./prev-gcc/xgcc
-B/home/abuild/rpmbuild/BUILD/gcc-12.0.0+git185139/obj-x86_64-suse-linux/./prev-gcc/
-B/usr/x86_64-suse-linux/bin/ -B/usr/x86_64-suse-linux/bin/
-B/usr/x86_64-suse-linux/lib/ -isystem /usr/x86_64-suse-linux/include -isystem
/usr/x86_64-suse-linux/sys-include -fno-checking -c -fmessage-length=0
-grecord-gcc-switches -O2 -D_FORTIFY_SOURCE=2 -funwind-tables
-fasynchronous-unwind-tables -fstack-clash-protection -g -U_FORTIFY_SOURCE
-fno-checking -gtoggle -fprofile-generate -gnatpg -gnatwns -W -Wall -nostdinc
-I- -I. -Iada/generated -Iada -Iada/gcc-interface -I../../gcc/ada
-I../../gcc/ada/gcc-interface -Iada/libgnat -I../../gcc/ada/libgnat
../../gcc/ada/sem_intr.adb -o ada/sem_intr.o
==14193==
==14194== Memcheck, a memory error detector
==14194== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
==14194== Using Valgrind-3.13.0 and LibVEX; rerun with -h for copyright info
==14194== Command:
/home/abuild/rpmbuild/BUILD/gcc-12.0.0+git185139/obj-x86_64-suse-linux/./prev-gcc/gnat1
-I - -I . -I ada/generated -I ada -I ada/gcc-interface -I ../../gcc/ada -I
../../gcc/ada/gcc-interface -I ada/libgnat -I ../../gcc/ada/libgnat -gnatwa
-quiet -nostdinc -O2 -Wextra -Wall -dumpdir ada/ -dumpbase sem_intr.adb
-dumpbase-ext .adb -fmessage-length=0 -grecord-gcc-switches -funwind-tables
-fasynchronous-unwind-tables -fstack-clash-protection -g -fno-checking -gtoggle
-fprofile-generate -gnatpg -gnatwns -mtune=generic -march=x86-64 -gnatO
ada/sem_intr.o ../../gcc/ada/sem_intr.adb -o /tmp/ccDExgSm.s
==14194==
--14194-- WARNING: Serious error when reading debug info
--14194-- When reading debug info from
/home/abuild/rpmbuild/BUILD/gcc-12.0.0+git185139/obj-x86_64-suse-linux/prev-gcc/gnat1:
--14194-- get_inlFnName: absori not a subprogram
==14194== Conditional jump or move depends on uninitialised value(s)
==14194== at 0x4D43A3: atree__size_in_slots (atree.adb:2129)
==14194== by 0x4D535E: atree__change_node (atree.adb:1717)
==14194== by 0x79F55C: sinfo__cn__change_name_to_procedure_call_statement
(sinfo-cn.adb:142)
==14194== by 0x61F517: par__ch5__p_sequence_of_statements.4888
(par-ch5.adb:676)
==14194== by 0x623AC7: par__ch5__p_if_statement.7928 (par-ch5.adb:1222)
==14194== by 0x61DD23: par__ch5__p_sequence_of_statements.4888
(par-ch5.adb:891)
==14194== by 0x620639: par__ch11__p_handled_sequence_of_statements.4939
(par-ch11.adb:64)
==14194== by 0x62102A: par__ch5__parse_decls_begin_end.4891
(par-ch5.adb:2272)
==14194== by 0x621DD5: par__ch6__p_subprogram.4909 (par-ch6.adb:935)
==14194== by 0x612806: par__ch3__p_declarative_items.5836 (par-ch3.adb:4325)
==14194== by 0x620E3D: par__ch5__parse_decls_begin_end.4891
(par-ch3.adb:4273)
==14194== by 0x62454A: par__ch7__p_package.4912 (par-ch7.adb:184)
...
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug ada/100564] [12 Regression] Broken Ada bootstrap
2021-05-12 9:44 [Bug ada/100564] New: [12 Regression] Broken Ada bootstrap marxin at gcc dot gnu.org
@ 2021-05-12 9:45 ` marxin at gcc dot gnu.org
2021-05-12 9:50 ` [Bug ada/100564] [12 Regression] valgrind complaints on gnat1 ebotcazou at gcc dot gnu.org
` (4 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: marxin at gcc dot gnu.org @ 2021-05-12 9:45 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100564
Martin Liška <marxin at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Priority|P3 |P1
CC| |ebotcazou at gcc dot gnu.org
Ever confirmed|0 |1
Last reconfirmed| |2021-05-12
Target Milestone|--- |12.0
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug ada/100564] [12 Regression] valgrind complaints on gnat1
2021-05-12 9:44 [Bug ada/100564] New: [12 Regression] Broken Ada bootstrap marxin at gcc dot gnu.org
2021-05-12 9:45 ` [Bug ada/100564] " marxin at gcc dot gnu.org
@ 2021-05-12 9:50 ` ebotcazou at gcc dot gnu.org
2021-05-12 9:54 ` ebotcazou at gcc dot gnu.org
` (3 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: ebotcazou at gcc dot gnu.org @ 2021-05-12 9:50 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100564
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[12 Regression] Broken Ada |[12 Regression] valgrind
|bootstrap |complaints on gnat1
Priority|P1 |P3
--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Regular bootstrap works fine though, I tried a couple of hours ago.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug ada/100564] [12 Regression] valgrind complaints on gnat1
2021-05-12 9:44 [Bug ada/100564] New: [12 Regression] Broken Ada bootstrap marxin at gcc dot gnu.org
2021-05-12 9:45 ` [Bug ada/100564] " marxin at gcc dot gnu.org
2021-05-12 9:50 ` [Bug ada/100564] [12 Regression] valgrind complaints on gnat1 ebotcazou at gcc dot gnu.org
@ 2021-05-12 9:54 ` ebotcazou at gcc dot gnu.org
2021-05-12 10:11 ` marxin at gcc dot gnu.org
` (2 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: ebotcazou at gcc dot gnu.org @ 2021-05-12 9:54 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100564
--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Created attachment 50799
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50799&action=edit
Tentative fix
Please give it a try in your setup.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug ada/100564] [12 Regression] valgrind complaints on gnat1
2021-05-12 9:44 [Bug ada/100564] New: [12 Regression] Broken Ada bootstrap marxin at gcc dot gnu.org
` (2 preceding siblings ...)
2021-05-12 9:54 ` ebotcazou at gcc dot gnu.org
@ 2021-05-12 10:11 ` marxin at gcc dot gnu.org
2021-05-12 10:16 ` cvs-commit at gcc dot gnu.org
2021-05-12 10:16 ` ebotcazou at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: marxin at gcc dot gnu.org @ 2021-05-12 10:11 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100564
--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
(In reply to Eric Botcazou from comment #2)
> Created attachment 50799 [details]
> Tentative fix
>
> Please give it a try in your setup.
It helps! Thank you.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug ada/100564] [12 Regression] valgrind complaints on gnat1
2021-05-12 9:44 [Bug ada/100564] New: [12 Regression] Broken Ada bootstrap marxin at gcc dot gnu.org
` (3 preceding siblings ...)
2021-05-12 10:11 ` marxin at gcc dot gnu.org
@ 2021-05-12 10:16 ` cvs-commit at gcc dot gnu.org
2021-05-12 10:16 ` ebotcazou at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2021-05-12 10:16 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100564
--- Comment #4 from CVS 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:ac18ded230f1559f271f8d66121b2f16805f0b27
commit r12-744-gac18ded230f1559f271f8d66121b2f16805f0b27
Author: Bob Duff <duff@adacore.com>
Date: Wed May 12 11:56:47 2021 +0200
Fix uninitialized variable in Atree.Size_In_Slots
Size_In_Slots uses the Nkind to look up the size in a table indexed
by Nkind. This patch fixes a couple of places where the Nkind is
wrong (uninitialized or zeroed out) so Size_In_Slots cannot be used.
gcc/ada/
PR ada/100564
* atree.adb (Change_Node): Do not call Zero_Slots on a Node_Id
when the Nkind has not yet been set; call the other Zero_Slots
that takes a range of slot offsets. Call the new Mutate_Kind
that takes an Old_Size, for the same reason -- the size cannot
be computed without the Nkind.
(Mutate_Nkind): New function that allows specifying the Old_Size.
(Size_In_Slots): Assert that the Nkind has proper (nonzero) value.
* atree.ads: Minor reformatting.
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug ada/100564] [12 Regression] valgrind complaints on gnat1
2021-05-12 9:44 [Bug ada/100564] New: [12 Regression] Broken Ada bootstrap marxin at gcc dot gnu.org
` (4 preceding siblings ...)
2021-05-12 10:16 ` cvs-commit at gcc dot gnu.org
@ 2021-05-12 10:16 ` ebotcazou at gcc dot gnu.org
5 siblings, 0 replies; 7+ messages in thread
From: ebotcazou at gcc dot gnu.org @ 2021-05-12 10:16 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100564
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|NEW |RESOLVED
--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
.
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2021-05-12 10:16 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-05-12 9:44 [Bug ada/100564] New: [12 Regression] Broken Ada bootstrap marxin at gcc dot gnu.org
2021-05-12 9:45 ` [Bug ada/100564] " marxin at gcc dot gnu.org
2021-05-12 9:50 ` [Bug ada/100564] [12 Regression] valgrind complaints on gnat1 ebotcazou at gcc dot gnu.org
2021-05-12 9:54 ` ebotcazou at gcc dot gnu.org
2021-05-12 10:11 ` marxin at gcc dot gnu.org
2021-05-12 10:16 ` cvs-commit at gcc dot gnu.org
2021-05-12 10:16 ` ebotcazou at gcc dot gnu.org
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).