[Bug bootstrap/20417] New: Bootstrap fails running xnmake; it sigfaults in gnat__spitbol__patterns__xmatch
cp -p ../../gcc-4.0-20050305/gcc/ada/sinfo.ads ../../gcc-4.0- 20050305/gcc/ada/nmake.adt ../../gcc-4.0-20050305/gcc/ada/xnmake.adb ada/nmake.adb ada/bldtools (cd ada/bldtools; gnatmake -q xnmake ; ./xnmake -s ../nmake.ads ) make[2]: *** [ada/nmake.ads] Error 139 make[2]: Leaving directory `/home/dvdeug/Program_Source/gcc-build/gcc' make[1]: *** [stage1_build] Error 2 make[1]: Leaving directory `/home/dvdeug/Program_Source/gcc-build/gcc' make: *** [bootstrap] Error 2 ~/Program_Source/gcc-build $ cd gcc/ada/bldtools/ ~/Program_Source/gcc-build/gcc/ada/bldtools $ ./xnmake Segmentation fault (core dumped) ~/Program_Source/gcc-build/gcc/ada/bldtools $ gdb ./xnmake GNU gdb 6.1-debian Copyright 2004 Free Software Foundation, Inc. GDB is free software, covered by the GNU General Public License, and you are welcome to change it and/or distribute copies of it under certain conditions. Type "show copying" to see the conditions. There is absolutely no warranty for GDB. Type "show warranty" for details. This GDB was configured as "x86_64-linux"...Using host libthread_db library "/lib/libthread_db.so.1". (gdb) run Starting program: /home/dvdeug/Program_Source/gcc-build/gcc/ada/bldtools/xnmake Program received signal SIGSEGV, Segmentation fault. 0x002a957b9388 in gnat__spitbol__patterns__xmatch () from /usr/lib/libgnat- 3.4.so.1 (gdb) bt #0 0x002a957b9388 in gnat__spitbol__patterns__xmatch () from /usr/lib/libgnat-3.4.so.1 #1 0x002a957b3893 in gnat__spitbol__patterns__match__7 () from /usr/lib/libgnat-3.4.so.1 #2 0x0040a8bb in _ada_xnmake () #3 0x004038a0 in main () (gdb) The program is running. Exit anyway? (y or n) y ~/Program_Source/gcc-build/gcc/ada/bldtools $ CC=gcc-3.4 ../gcc-4.0-20050305/configure --prefix=/home/dvdeug/bin/gcc-4.0/ -- enable-languages=c,c++,ada Reading specs from /usr/lib/gcc/x86_64-linux/3.4.2/specs Configured with: ../src/configure -v --enable- languages=c,c++,java,f77,pascal,objc,ada,treelang --prefix=/usr -- libexecdir=/usr/lib --with-gxx-include-dir=/usr/include/c++/3.4 --enable- shared --with-system-zlib --enable-nls --without-included-gettext --program- suffix=-3.4 --enable-__cxa_atexit --enable-libstdcxx-allocator=mt --enable- clocale=gnu --enable-libstdcxx-debug --enable-java-gc=boehm --enable-java- awt=gtk --disable-werror x86_64-linux Thread model: posix gcc version 3.4.2 (Debian 3.4.2-2) Linux asimov 2.6.6-4-k8 #1 Thu Jun 10 02:51:19 UTC 2004 x86_64 GNU/Linux GNU assembler version 2.15 (x86_64-linux) using BFD version 2.15 -- Summary: Bootstrap fails running xnmake; it sigfaults in gnat__spitbol__patterns__xmatch Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal Priority: P2 Component: bootstrap AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: prosfilaes at gmail dot com CC: gcc-bugs at gcc dot gnu dot org GCC build triplet: amd_64-linux GCC host triplet: amd_64-linux GCC target triplet: amd_64-linux http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20417
[Bug bootstrap/56752] New: GCC fails to bootstrap on Debian GNU/Linux 7.0 (wheezy) when x32 libraries aren't installed
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56752 Bug #: 56752 Summary: GCC fails to bootstrap on Debian GNU/Linux 7.0 (wheezy) when x32 libraries aren't installed Classification: Unclassified Product: gcc Version: 4.8.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: bootstrap AssignedTo: unassig...@gcc.gnu.org ReportedBy: prosfil...@gmail.com Created attachment 29737 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29737 Last lines of compilation I ran CC=gcc-4.6 ../gcc-4.8.0/configure --prefix=/home/prosfilaes/bin/gcc-4.8.0/ --enable-languages=ada,c,c++,java,fortran and then make bootstrap It fails with In file included from /usr/include/stdio.h:28:0, from ../../../../gcc-4.8.0/libgcc/../gcc/tsystem.h:87, from ../../../../gcc-4.8.0/libgcc/libgcc2.c:27: /usr/include/features.h:323:26: fatal error: bits/predefs.h: No such file or directory #include ^ compilation terminated. make[5]: *** [_muldi3.o] Error 1 make[5]: Leaving directory `/home/prosfilaes/Program_Source/gcc-480-objdir/x86_64-unknown-linux-gnu/32/libgcc' (fuller log attached) Poking at it, this seems to be telling me that I don't have a 32-bit development package installed, which is true, but shouldn't it stop at configure and tell me that instead of erring out in the middle of compilation with an unhelpful error message?
[Bug bootstrap/56752] GCC fails to bootstrap on Debian GNU/Linux 7.0 (wheezy) when x32 libraries aren't installed
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56752 David Starner changed: What|Removed |Added Status|RESOLVED|UNCONFIRMED Resolution|INVALID | --- Comment #2 from David Starner 2013-03-27 10:55:02 UTC --- I don't understand how "that's the way it always has been" is an answer. If there's a library missing (especially one the installation instructions don't mention), it should tell you that, not fail in the middle with an obscure error message. That it has done in it in the past doesn't justify the behavior.
[Bug bootstrap/56752] GCC fails to bootstrap on Debian GNU/Linux 7.0 (wheezy) when 32-bit libraries aren't installed
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56752 --- Comment #5 from David Starner 2013-03-29 10:00:04 UTC --- You could check that right after building the multilib compiler before trying to compile real code. That would at least give an error message that said what was wrong, instead of one that's opaque to the causal installer.
[Bug ada/57849] New: With Convention => C causes Bug box with -gnat2012
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57849 Bug ID: 57849 Summary: With Convention => C causes Bug box with -gnat2012 Product: gcc Version: 4.8.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: prosfilaes at gmail dot com $ gcc -gnatd.n -gnat2012 -c -Wall g.adb /home/prosfilaes/bin/gcc-4.8.0/lib/gcc/x86_64-unknown-linux-gnu/4.8.0/adainclude/system.ads g.adb +===GNAT BUG DETECTED==+ | 4.8.0 (x86_64-unknown-linux-gnu) GCC error: | | in gnat_to_gnu_entity, at ada/gcc-interface/decl.c:336 | | Error detected at g.adb:3:48 | | Please submit a bug report; see http://gcc.gnu.org/bugs.html.| | Use a subject line meaningful to you and us to track the bug.| | Include the entire contents of this bug box in the report. | | Include the exact gcc or gnatmake command that you entered. | | Also include sources listed below in gnatchop format | | (concatenated together with no headers between files). | +==+ Please include these source files with error report Note that list may not be accurate in some cases, so please double check that the problem can still be reproduced with the set of files listed. Consider also -gnatd.n switch (see debug.adb). g.adb g.adb:3:04: warning: constant "AR" is not referenced compilation abandoned $ cat g.adb procedure g is type Glp_Matrix_Values_Array is array (Natural range <>) of Long_Float; AR : constant Glp_Matrix_Values_Array (0 .. 12) := (others => 1.0) with Convention => C; begin null; end g;
[Bug ada/57964] New: Bug box with ambiguity combined with expression if
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57964 Bug ID: 57964 Summary: Bug box with ambiguity combined with expression if Product: gcc Version: 4.8.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: prosfilaes at gmail dot com with Problem; use Problem; package Linear_Programming is procedure Linear_Init; end Linear_Programming; with Ada.Containers.Vectors; package Problem is package Natural_Vector_Package is new Ada.Containers.Vectors (Positive, Natural); -- We may need to stuff depots in there use Natural_Vector_Package; Num_Customers : Positive; Demand : Natural_Vector_Package.Vector; end Problem; with Ada.Containers.Vectors; with Ada.Containers; use Ada.Containers; with Interfaces.C; use Interfaces.C; package body Linear_Programming is package Double_Vector is new Ada.Containers.Vectors (Positive, Double); procedure Linear_Init is AR : Double_Vector.Vector; V: Integer := 1; begin for I in 0 .. Num_Customers - 1 loop for J in I + 1 .. Num_Customers loop if (I = 0 and then J >= V) or else I >= V then AR.Append (Interfaces.C.Double ((if I > 0 then Demand (I) else 0) + Demand (J)) / 2.0); end if; end loop; end loop; end Linear_Init; end Linear_Programming; gets me | 4.8.0 (x86_64-unknown-linux-gnu) Storage_Error stack overflow or erroneous memory access| | Error detected at linear_programming.adb:15:21 | compiled with gcc -c linear_programming.adb . (-gnat2012 gets rid of an error about if expression being an Ada 2012 expression, but it's the same bug box either way.)
[Bug ada/49524] container loop error
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49524 David Starner changed: What|Removed |Added CC||prosfilaes at gmail dot com --- Comment #1 from David Starner --- Code works fine with gcc 4.8.0 on x86_64-unknown-linux-gnu.
[Bug ada/58151] New: "conflict of writable function parameter in construct with arbitrary order of evaluation" is often a spurious error
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58151 Bug ID: 58151 Summary: "conflict of writable function parameter in construct with arbitrary order of evaluation" is often a spurious error Product: gcc Version: 4.8.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: prosfilaes at gmail dot com Created attachment 30651 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=30651&action=edit Code that shows the error message unless you comment out calculations.adb:21 Compiling the attached code with "gnatmake -gnat2012 solver.adb" gives me gcc -c -gnat2012 solver.adb gcc -c -gnat2012 calculations.adb calculations.adb:21:25: "Is_Route" is undefined calculations.adb:80:58: conflict of writable function parameter in construct with arbitrary order of evaluation calculations.adb:81:58: conflict of writable function parameter in construct with arbitrary order of evaluation gnatmake: "calculations.adb" compilation error "Is_Route" is undefined is quite correct. So comment out that pragma Assert on line 21. Then gnatmake -gnat2012 solver.adb gives me gcc -c -gnat2012 calculations.adb calculations.adb:60:07: warning: variable "Length" is never read and never assigned calculations.adb:62:07: warning: variable "Optimal" is never read and never assigned gcc -c -gnat2012 problem.adb gnatbind -x solver.ali gnatlink solver.ali Suddenly those lines of code on lines 80 and 81 are not a problem. This is not something special to this chunk of code; I've been getting this repeatedly when working in Ada2012 mode, where "conflict of writable function parameter in construct with arbitrary order of evaluation" goes away after a fix of a completely different error in a completely different part of the file.
[Bug ada/58151] "conflict of writable function parameter in construct with arbitrary order of evaluation" is often a spurious error
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58151 --- Comment #2 from David Starner --- I don't expect any problem from those lines. But it's giving me an error message on those lines when there's an error on an unrelated line. Comment that unrelated line out, and then it gives no error on 80 and 81. If 80 and 81 are fine, then it shouldn't be giving an error on them.
[Bug ada/55795] New: GNAT User Guide mentions features-ada12; no such file exists
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55795 Bug #: 55795 Summary: GNAT User Guide mentions features-ada12; no such file exists Classification: Unclassified Product: gcc Version: 4.6.3 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassig...@gcc.gnu.org ReportedBy: prosfil...@gmail.com The GNAT User Guide mentions features-ada12. (I have 4.6.3 installed, but this file is not present in the source distributions for 4.7.2 or 4.8-20121216, either.) This is rather frustrating, as there doesn't seem to be any place where what Ada 2012 features are supported are listed; formally speaking, that's an enhancement request, whereas the missing file is an error. (And not a completely trivial one, as it causes users to go on a wild goose chase for a file that doesn't exist. https://groups.google.com/forum/#!msg/comp.lang.ada/pR8t6YJI4JI/ELaifpbkUDIJ shows that I'm not the first to be frustrated by this problem.)
[Bug ada/29781] New: -O3 -gnatVa triggers a bug box on working Dragonchess code
Start.Column),
True_Move, Move_Number);
else
Move_Number := 2;
end if;
when 2 .. 6 =>
if not B (Upper) (Orig_Row,
Column_Type (Move_Number * 2 -
3)).Exists
and not (Orig_Row = Start.Row and
Column_Type (Move_Number * 2 - 3) =
Start.Column)
then
return (Start,
(Upper, Orig_Row, Column_Type (Move_Number
* 2 - 3)),
True_Move, Move_Number);
else
Move_Number := Move_Number + 1;
end if;
when 7 =>
-- 7 * 2 - 3 = 11
if not B (Upper) (Orig_Row, 11).Exists and
not (Orig_Row = Start.Row and 11 = Start.Column)
then
return (Start,
(Upper, Orig_Row, 11),
True_Move, Move_Number);
else
return Inc (C, Start, B);
end if;
when others =>
raise Program_Error;
end case;
end loop;
when Lower =>
-- Shouldn't reach here if assertions are turned on
raise Program_Error;
end case;
end Sylph_Increment;
function Increment (C : Player_Type; I : Board_Move; B : Board)
return Board_Move
is
Start : Board_Location renames I.Start_Loc;
Move_Number : Natural := I.Move_Number;
begin
case B (Start.Layer) (Start.Row, Start.Column).Piece is
when Sylph =>
return Sylph_Increment (C, Start, Move_Number, B);
when others => raise Program_Error;
end case;
end Increment;
function Next_Move (C: Player_Type; I: Board_Move; B: Board) return
Board_Move is
J : Board_Move := I;
begin
loop
J := Increment (C, J, B);
if not (B (J.End_Loc.Layer) (J.End_Loc.Row, J.End_Loc.Column).Exists
and then
B (J.End_Loc.Layer) (J.End_Loc.Row, J.End_Loc.Column).Player =
C)
then
return J;
end if;
end loop;
end Next_Move;
end Iterate_Moves;
with Board_Types; use Board_Types;
package Iterate_Moves is
pragma Pure (Iterate_Moves);
type Board_Move is private;
function Next_Move (C: Player_Type; I: Board_Move; B: Board) return
Board_Move;
No_Next_Move: exception;
private
type Board_Move_Type is (Forged, Initial, Increment, True_Move);
type Board_Move is record
Start_Loc : Board_Location;
End_Loc : Board_Location;
Move_Type : Board_Move_Type;
Move_Number : Natural;
end record;
end Iterate_Moves;
separate (Iterate_Moves)
function Next_Piece (C: Player_Type; Piece: Board_Location; B : Board)
return Board_Location
is
pragma Suppress (All_Checks);
S : Board_Location := Piece;
begin
while (S.Column /= Column_Type'Last) loop
S.Column := S.Column + 1;
if B (S.Layer) (S.Row, S.Column).Exists and then
B (S.Layer) (S.Row, S.Column).Player = C
then
return S;
end if;
end loop;
loop
if S.Row = Row_Type'Last then
if S.Layer = Lower then
raise No_Next_Move;
elsif S.Layer = Middle then
S := (Lower, 1, 1);
else
S := (Middle, 1, 1);
end if;
else
S.Row := S.Row + 1;
S.Column := 1;
end if;
for Column in Column_Type'Range loop
if B (S.Layer) (S.Row, Column).Exists and then
B (S.Layer) (S.Row, Column).Player = C
then
S.Column := Column;
return S;
end if;
end loop;
end loop;
end Next_Piece;
--
Summary: -O3 -gnatVa triggers a bug box on working Dragonchess
code
Product: gcc
Version: 4.1.2
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: prosfilaes at gmail dot com
GCC build triplet: x86_64-pc-linux-gnu
GCC host triplet: x86_64-pc-linux-gnu
GCC target triplet: x86_64-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29781
[Bug ada/112821] New: GNAT issues bug box on mismatched []
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112821 Bug ID: 112821 Summary: GNAT issues bug box on mismatched [] Product: gcc Version: 13.2.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: prosfilaes at gmail dot com CC: dkm at gcc dot gnu.org Target Milestone: --- x86_64-linux-gnu-gcc-13 -c -gnat2022 lexer.ads +===GNAT BUG DETECTED==+ | 13.2.0 (x86_64-linux-gnu) Program_Error par-ch4.adb:365 explicit raise | | Error detected at lexer.ads:5:18 | | Compiling lexer.ads | | Please submit a bug report; see https://gcc.gnu.org/bugs/ . | | Use a subject line meaningful to you and us to track the bug.| | Include the entire contents of this bug box in the report. | | Include the exact command that you entered. | | Also include sources listed below. | +==+ Please include these source files with error report Note that list may not be accurate in some cases, so please double check that the problem can still be reproduced with the set of files listed. Consider also -gnatd.n switch (see debug.adb). lexer.ads compilation abandoned gnatmake: "lexer.ads" compilation error package Lexer is keyword_list : constant array (Natural range <>) of St := [ +"xor" [; end Lexer; The code is erroneous, but GNAT should give an appropriate message instead of erroring out.
