[Bug ada/42410] New: Illegal Ada 83 program accepted, universal_integer literal where Character expected

2009-12-17 Thread ludovic at ludovic-brenta dot org
literal where Character expected Product: gcc Version: 4.3.4 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http

[Bug ada/42410] Illegal Ada 83 program accepted, universal_integer literal where Character expected

2009-12-17 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2009-12-17 19:42 --- Fixed in 4.4; this PR only to document the the issue for users of previous versions. -- ludovic at ludovic-brenta dot org changed: What|Removed |Added

[Bug ada/42411] New: Illegal program accepted, RM 4.1(8), 8.6(27)/2

2009-12-17 Thread ludovic at ludovic-brenta dot org
, RM 4.1(8), 8.6(27)/2 Product: gcc Version: 4.3.4 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http

[Bug ada/42411] Illegal program accepted, RM 4.1(8), 8.6(27)/2

2009-12-17 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2009-12-17 19:47 --- RM 8.6(27)/2 is also relevant: When a construct is one that requires that its expected type be a single type in a given class, the type of the construct shall be determinable solely from the context

[Bug ada/42412] New: Illegal program accepted, RM 8.5.1(3), renames of classwide object

2009-12-17 Thread ludovic at ludovic-brenta dot org
AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42412

[Bug ada/42412] Illegal program accepted, RM 8.5.1(3), renames of classwide object

2009-12-17 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2009-12-17 19:52 --- $ gnatmake pak1 gcc-4.4 -c pak1.ads pak1.ads:5:25: expected type T1'class defined at line 2 pak1.ads:5:25: found type T1 defined at line 2 pak1.ads:6:19: dynamically tagged expression not allowed gnatmake: pak1

[Bug ada/42413] New: Legal tasking program hangs at run time, function returning task that is then passed to a subprogram

2009-12-17 Thread ludovic at ludovic-brenta dot org
Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42413

[Bug ada/42342] New: Please clarify the rules regarding relationships between project files

2009-12-09 Thread ludovic at ludovic-brenta dot org
AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42342

[Bug ada/42148] New: Accepts illegal program, RM 10.1.1/14

2009-11-22 Thread ludovic at ludovic-brenta dot org
ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42148

[Bug ada/42073] [4.4 regression] Infinite loop when parsing a project file, alpha only

2009-11-19 Thread ludovic at ludovic-brenta dot org
--- Comment #7 from ludovic at ludovic-brenta dot org 2009-11-19 18:50 --- Created an attachment (id=19060) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19060action=view) Disassembly of prj-part.adb, with sources (objdump -S) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id

[Bug ada/42073] [4.4 regression] Infinite loop when parsing a project file, alpha only

2009-11-18 Thread ludovic at ludovic-brenta dot org
--- Comment #6 from ludovic at ludovic-brenta dot org 2009-11-18 22:09 --- With a stock GCC 4.4.2 bootstrapped with the default options (-g -O2, I think) on alpha the symptoms are the same. Here is a backtrace: (gdb) run -vP2 -Pp Starting program: /home/lbrenta/gcc-obj/gcc/gnatmake

[Bug ada/42073] [4.4 regression] Infinite loop when parsing a project file, alpha only

2009-11-17 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2009-11-17 10:27 --- The following project file is known to work on alpha-gnu-linux with GCC 4.3.4: project Build_XMLAda is for Source_Dirs use (dom, input_sources, sax, schema, unicode); for Library_Name use xmlada

[Bug ada/42073] [4.4 regression] Infinite loop when parsing a project file, alpha only

2009-11-17 Thread ludovic at ludovic-brenta dot org
--- Comment #3 from ludovic at ludovic-brenta dot org 2009-11-17 19:56 --- Even an empty project file triggers the bug: $ cat p.gpr EOF project p is end p; EOF $ gdb gnatmake (gdb) run -vP2 -Pp Starting program: /usr/bin/gnatmake -vP2 -Pp GPR_PROJECT_PATH=.:/usr/share/ada/adainclude

[Bug ada/42073] [4.4 regression] Infinite loop when parsing a project file, alpha only

2009-11-17 Thread ludovic at ludovic-brenta dot org
--- Comment #4 from ludovic at ludovic-brenta dot org 2009-11-17 19:59 --- Actually the disassembly above was that of Tab.Get_Next. The source for Tab.Get_Next is: function Get_Next (T : Instance) return Elmt_Ptr is begin if T = null or else not T.Iterator_Started

[Bug ada/42073] New: Infinite loop when parsing a project file, alpha only

2009-11-16 Thread ludovic at ludovic-brenta dot org
Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org GCC build triplet: alpha-linux-gnu GCC host triplet: alpha-linux-gnu GCC target triplet: alpha-linux-gnu http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42073

[Bug middle-end/20548] [4.3/4.4/4.5 regression] ACATS c52103x c52104x c52104y segfault

2009-11-07 Thread ludovic at ludovic-brenta dot org
--- Comment #41 from ludovic at ludovic-brenta dot org 2009-11-07 09:45 --- As I understand it, there is still a patch pending for i386? Does anyone plan to backport this patch into gcc-4_4-branch? I am considering applying this patch (up to r153918) in Debian's gnat-4.4. Before I

[Bug ada/41100] [4.4/4.5 regression] Unchecked_Deallocation causes wrong free errors

2009-09-30 Thread ludovic at ludovic-brenta dot org
--- Comment #19 from ludovic at ludovic-brenta dot org 2009-09-30 17:35 --- I also applied the patch to GCC 4.4 and confirmed that it fixes this particular bug. Barring any other blocking problems, Debian will be able to switch to GCC 4.4 as the default Ada compiler. Thank you all

[Bug ada/41100] [4.4/4.5 regression] Unchecked_Deallocation causes wrong free errors

2009-09-25 Thread ludovic at ludovic-brenta dot org
--- Comment #12 from ludovic at ludovic-brenta dot org 2009-09-25 18:15 --- Eric, in comment #8, did you mean a workaround inside the compiler, or a workaround in user code? Because the latter is impractical for Debian which contains more than 2 million lines of Ada, with 350k more

[Bug ada/41100] [4.4 regression] Unchecked_Deallocation causes double-free errors

2009-09-05 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2009-09-05 07:34 --- Created an attachment (id=18499) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18499action=view) Diff between gnatmake -gnatDg -Pdoublefree.gpr on 32-bit i486 and 64-bit amd64. -- http://gcc.gnu.org

[Bug ada/41100] [4.4 regression] Unchecked_Deallocation causes double-free errors

2009-09-05 Thread ludovic at ludovic-brenta dot org
--- Comment #2 from ludovic at ludovic-brenta dot org 2009-09-05 07:38 --- Created an attachment (id=18500) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18500action=view) Object and executable files, plus output of -gnatDg, on 32-bit i486. -- http://gcc.gnu.org/bugzilla

[Bug ada/41100] [4.4 regression] Unchecked_Deallocation causes double-free errors

2009-09-05 Thread ludovic at ludovic-brenta dot org
--- Comment #3 from ludovic at ludovic-brenta dot org 2009-09-05 07:39 --- Created an attachment (id=18501) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18501action=view) Object and executable files, plus output of -gnatDg, on 64-bit x86-64 (amd64). -- http://gcc.gnu.org

[Bug ada/41122] libada multilib string parsing error

2009-08-20 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2009-08-20 12:02 --- At first glance: the makefile seems not to be calling awk at all; the first word is BEGIN; obviously the command BEGIN is not found. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41122

[Bug ada/41122] libada multilib string parsing error

2009-08-20 Thread ludovic at ludovic-brenta dot org
--- Comment #2 from ludovic at ludovic-brenta dot org 2009-08-20 12:04 --- Actually, the whole awk program, which is presumably between single quotes in the makefile, is the command which is not found. The command should be awk. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id

[Bug ada/41100] New: [4.4 regression] Unchecked_Deallocation causes double-free errors

2009-08-18 Thread ludovic at ludovic-brenta dot org
Product: gcc Version: 4.4.1 Status: UNCONFIRMED Severity: major Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org GCC host triplet: x86_64-linux-gnu http

[Bug ada/41041] -fwide-exec-charset defaults to UCS-4/UCS-2, not UTF-32/UTF-16

2009-08-18 Thread ludovic at ludovic-brenta dot org
--- Comment #4 from ludovic at ludovic-brenta dot org 2009-08-18 12:01 --- Please change the component of this PR from ada to c. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41041

[Bug ada/41040] -fwide-exec-charset defaults to UCS-4/UCS-2, not UTF-32/UTF-16

2009-08-18 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2009-08-18 12:02 --- Duplicate of 41041, which has the attachments. Also, please change the component of this PR from ada to c. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41040

[Bug ada/41096] GNAT run-time missing CFLAGS_FOR_TARGET

2009-08-18 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2009-08-18 12:04 --- Does that imply that Ada cross-compilers are broken? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41096

[Bug bootstrap/40578] FOPEN double defined used in ada/adaint.h:58

2009-08-18 Thread ludovic at ludovic-brenta dot org
--- Comment #10 from ludovic at ludovic-brenta dot org 2009-08-18 12:10 --- Does the fix mean that GNAT does not support large files on any platform? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40578

[Bug ada/40986] New: Assert_Failure sinfo.adb:360, error detected at a-unccon.ads:23:27

2009-08-06 Thread ludovic at ludovic-brenta dot org
AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40986

[Bug ada/40986] [4.3/4.4 regression] Assert_Failure sinfo.adb:360, error detected at a-unccon.ads:23:27

2009-08-06 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2009-08-06 14:41 --- These work OK: /opt/gcc-3.4.5/bin/gcc -c -I./ -gnato -gnatwl -gnatwauJF -gnatef -g -fno-strict-aliasing -gnatwA -I- ./test.adb /opt/gcc-4.1.1/bin/gcc -c -I./ -gnato -gnatwl -gnatwauJF -gnatef -g -fno

[Bug ada/15606] Legal program rejected, RM 8.2(22)

2009-08-06 Thread ludovic at ludovic-brenta dot org
--- Comment #5 from ludovic at ludovic-brenta dot org 2009-08-06 20:27 --- Confirmed on 4.4.1. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15606

[Bug ada/15611] Invalid program not detected, RM 3.7(11)

2009-08-06 Thread ludovic at ludovic-brenta dot org
--- Comment #5 from ludovic at ludovic-brenta dot org 2009-08-06 20:29 --- Confirmed on 4.4.1. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15611

[Bug ada/15614] Illegal program not detected, RM 12.1(11)

2009-08-06 Thread ludovic at ludovic-brenta dot org
--- Comment #3 from ludovic at ludovic-brenta dot org 2009-08-06 20:30 --- Confirmed on 4.4.1. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15614

[Bug ada/15615] Legal program rejected, derived tagged type in child package doesn't see parent's element

2009-08-06 Thread ludovic at ludovic-brenta dot org
--- Comment #3 from ludovic at ludovic-brenta dot org 2009-08-06 20:31 --- Confirmed on 4.4.1. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15615

[Bug ada/15798] Bug box in Gigi, code=201, on legal program with tasking

2009-08-06 Thread ludovic at ludovic-brenta dot org
--- Comment #5 from ludovic at ludovic-brenta dot org 2009-08-06 20:33 --- Xavier Grave reports: +===GNAT BUG DETECTED==+ | 4.4.1 (i486-pc-linux-gnu) GCC error: | | in get_expr_operands, at tree

[Bug ada/15799] Legal program rejected, using 'Base

2009-08-06 Thread ludovic at ludovic-brenta dot org
--- Comment #7 from ludovic at ludovic-brenta dot org 2009-08-06 20:39 --- Confirmed in 4.4.1. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15799

[Bug ada/15800] SIGSEGV on mutually recursive record type declarations

2009-08-06 Thread ludovic at ludovic-brenta dot org
--- Comment #4 from ludovic at ludovic-brenta dot org 2009-08-06 20:40 --- +===GNAT BUG DETECTED==+ | 4.4.1 (i486-pc-linux-gnu) Storage_Error stack overflow (or erroneous memory access)| | Error detected at system.ads:153:5

[Bug ada/15840] Illegal program not detected, RM 3.7(14)

2009-08-06 Thread ludovic at ludovic-brenta dot org
--- Comment #3 from ludovic at ludovic-brenta dot org 2009-08-06 20:43 --- Confirmed on 4.4.1. -- ludovic at ludovic-brenta dot org changed: What|Removed |Added

[Bug ada/15843] Illegal program not detected, RM 3.7.2(2)

2009-08-06 Thread ludovic at ludovic-brenta dot org
--- Comment #4 from ludovic at ludovic-brenta dot org 2009-08-06 20:44 --- Confirmed on 4.4.1. -- ludovic at ludovic-brenta dot org changed: What|Removed |Added

[Bug ada/40929] New: Illegal program accepted, RM 10.2.1(15.6/2), access type in pure generic package

2009-08-01 Thread ludovic at ludovic-brenta dot org
: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40929

[Bug ada/40930] New: ICE in legal program, record containing a controlled component

2009-08-01 Thread ludovic at ludovic-brenta dot org
component Product: gcc Version: 4.3.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org

[Bug ada/40930] ICE in legal program, record containing a controlled component

2009-08-01 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2009-08-01 14:03 --- Fixed in 4.4.1 (I only wanted to document the problem.) -- ludovic at ludovic-brenta dot org changed: What|Removed |Added

[Bug ada/40931] New: ICE in legal program, Boolean type with user-defined function True

2009-08-01 Thread ludovic at ludovic-brenta dot org
at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40931

[Bug ada/40931] ICE in legal program, Boolean type with user-defined function True

2009-08-01 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2009-08-01 14:10 --- gcc-4.4 -c p.adb p.adb:14:07: warning: variable A is never read and never assigned p.adb:20:07: warning: variable A is never read and never assigned +===GNAT BUG DETECTED

[Bug ada/40932] New: ICE in illegal program, Assert_Failure atree.adb:3815, RM 4.3.1(17.1/2)

2009-08-01 Thread ludovic at ludovic-brenta dot org
Version: 4.3.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40932

[Bug ada/40933] New: Illegal program accepted, applying predefined operators of Integer on a derived type

2009-08-01 Thread ludovic at ludovic-brenta dot org
Version: 4.3.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40933

[Bug ada/40025] gnatmake does not honour project files' Library_Version exactly

2009-08-01 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2009-08-01 14:50 --- To aggravate the violation of the Law of Least Astonishment, GCC's misbehavior is even inconsistent: libfoo.so.1.2 becomes libfoo.so.1 but libfoo.so.1.2.3 is honored exactly. -- http://gcc.gnu.org/bugzilla

[Bug ada/40932] ICE in legal program, Assert_Failure atree.adb:3815, RM 4.3.1(4/2, 19.1/2)

2009-08-01 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2009-08-01 14:59 --- I now think my analysis was wrong; a1 is not a discriminant, so the program is actually legal and the value of x1 should be: x1 = (a1 = (b = False)) (this does not change anything to the GCC bug, actually

[Bug ada/40936] New: Assert_Failure atree.adb:884 on illegal code (mixture of protected object and accept of entry family)

2009-08-01 Thread ludovic at ludovic-brenta dot org
: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40936

[Bug ada/40936] Assert_Failure atree.adb:884 on illegal code (mixture of protected object and accept of entry family)

2009-08-01 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2009-08-01 22:49 --- GNAT 3.15p used GCC 2.8.1 as its backend; the bug is that old :) -- ludovic at ludovic-brenta dot org changed: What|Removed |Added

[Bug ada/40185] Segmentation fault on legal program

2009-05-19 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2009-05-19 06:30 --- There was a typo in the original program that I mistakenly corrected. This typo is the trigger for the bug: with Ada.Unchecked_Conversion; package Essai is type Attributed_Chararcter is record -- line 3

[Bug ada/40185] New: Segmentation fault on legal program

2009-05-18 Thread ludovic at ludovic-brenta dot org
Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40185

[Bug ada/40025] New: gnatmake does not honour project files' Library_Version exactly

2009-05-05 Thread ludovic at ludovic-brenta dot org
exactly Product: gcc Version: 4.3.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org GCC

[Bug ada/15798] Bug box in Gigi, code=201, on legal program with tasking

2008-12-30 Thread ludovic at ludovic-brenta dot org
--- Comment #4 from ludovic at ludovic-brenta dot org 2008-12-30 10:42 --- Jörgen Tegnér reports: gnatmake test_41.adb gcc-4.3 -c test_41.adb +===GNAT BUG DETECTED==+ | 4.3.2 (i486-pc-linux-gnu) in gimplify_expr, at gimplify.c:6314

[Bug ada/38327] New: Rejects legal program involving T'Class'Read

2008-11-30 Thread ludovic at ludovic-brenta dot org
: Rejects legal program involving T'Class'Read Product: gcc Version: 4.3.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta

[Bug ada/38329] New: Illegal program not detected, private with in a generic package

2008-11-30 Thread ludovic at ludovic-brenta dot org
Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38329

[Bug ada/38330] New: Illegal program not detected, RM 4.3.1(16/2)

2008-11-30 Thread ludovic at ludovic-brenta dot org
at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38330

[Bug ada/38331] New: Illegal program not detected, = not predefined for class-wide types, ARM 4.5.2(6) and AI05-71

2008-11-30 Thread ludovic at ludovic-brenta dot org
dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38331

[Bug ada/38331] Illegal program not detected, = not predefined for class-wide types, ARM 4.5.2(6) and AI05-71

2008-11-30 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2008-11-30 15:16 --- *** This bug has been marked as a duplicate of 16094 *** -- ludovic at ludovic-brenta dot org changed: What|Removed |Added

[Bug ada/16094] Illegal program not detected, RM 3.4.1(5)

2008-11-30 Thread ludovic at ludovic-brenta dot org
--- Comment #2 from ludovic at ludovic-brenta dot org 2008-11-30 15:16 --- *** Bug 38331 has been marked as a duplicate of this bug. *** -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16094

[Bug ada/38332] New: Program fails to raise Constraint_Error as mandated by ARM 4.7(4)

2008-11-30 Thread ludovic at ludovic-brenta dot org
: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38332

[Bug ada/38333] New: Illegal program not detected, ARM 6.1(20): pragma Import illegal for abstract subprograms

2008-11-30 Thread ludovic at ludovic-brenta dot org
: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38333

[Bug ada/16095] Illegal program not detected, X'Access of wrong type

2008-11-17 Thread ludovic at ludovic-brenta dot org
--- Comment #3 from ludovic at ludovic-brenta dot org 2008-11-17 22:32 --- The bug was open at a time when the default mode of GCC was Ada 95; gcc -gnat95 still shows the error messages for line 11 if it is uncommented. I think the bug is legitimate in Ada 95 mode (and probably in Ada

[Bug target/37396] bootstrap broken on hppa-linux-gnu trunk with ada (20080906)

2008-10-17 Thread ludovic at ludovic-brenta dot org
--- Comment #3 from ludovic at ludovic-brenta dot org 2008-10-17 13:06 --- This is a duplicate of PR ada/37034. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37396

[Bug ada/37245] New: GDB reports No definition of var1 in current context. for an existing variable

2008-08-26 Thread ludovic at ludovic-brenta dot org
. for an existing variable Product: gcc Version: 4.3.1 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http

[Bug ada/37245] GDB reports No definition of var1 in current context. for an existing variable

2008-08-26 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2008-08-26 17:43 --- Created an attachment (id=16151) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16151action=view) Source file that reproduces the problem -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37245

[Bug ada/37245] GDB reports No definition of var1 in current context. for an existing variable

2008-08-26 Thread ludovic at ludovic-brenta dot org
--- Comment #2 from ludovic at ludovic-brenta dot org 2008-08-26 17:49 --- Note that 4.1.2 fails in a different way than 4.3.1 and trunk. -- ludovic at ludovic-brenta dot org changed: What|Removed |Added

[Bug ada/37110] New: Assert_Failure at atree.adb:886 caused by legal prefixed notation

2008-08-13 Thread ludovic at ludovic-brenta dot org
prefixed notation Product: gcc Version: 4.3.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org

[Bug ada/31808] cross-built gnattools installs vxaddr2line regardless of target triplet

2008-05-13 Thread ludovic at ludovic-brenta dot org
--- Comment #5 from ludovic at ludovic-brenta dot org 2008-05-13 08:29 --- Could someone please set the target milestone for this bug? Thanks. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31808

[Bug ada/31808] cross-built gnattools installs vxaddr2line regardless of target triplet

2008-05-13 Thread ludovic at ludovic-brenta dot org
--- Comment #6 from ludovic at ludovic-brenta dot org 2008-05-13 08:30 --- Also the bug should not remain tagged as INVALID. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31808

[Bug ada/32181] Legal program executes incorrectly, RM 3.4(27)

2008-04-24 Thread ludovic at ludovic-brenta dot org
--- Comment #6 from ludovic at ludovic-brenta dot org 2008-04-24 09:55 --- (In reply to comment #4) Anh Vo, you are perfectly right up to a point: Pak1.Eq returns True and Pak2.Eq returns False, therefore comparing the two results yields False. Where you are wrong is where you think

[Bug ada/32181] Legal program executes incorrectly, RM 3.4(27)

2008-04-23 Thread ludovic at ludovic-brenta dot org
--- Comment #3 from ludovic at ludovic-brenta dot org 2008-04-23 23:47 --- Exactly. The quoted portion of the ARM says that Pak2.Eq (Z1, Z2) should implicitly convert Z1 and Z2 to type T1, then call Pak1.Eq, then return True. Instead, it returns False as though GNAT synthesised a new

[Bug ada/35984] New: Illegal program not detected, RM 4.6(24/2)

2008-04-20 Thread ludovic at ludovic-brenta dot org
: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35984

[Bug ada/29015] Ada 2005 observer pattern with mutually dependent packages and containers produces compiler error

2008-04-09 Thread ludovic at ludovic-brenta dot org
--- Comment #6 from ludovic at ludovic-brenta dot org 2008-04-09 20:10 --- Reduced test case: package Observers is type Observer is tagged null record; type Observer_Access is access all Observers.Observer'Class; end Observers; limited with Observers

[Bug ada/29015] Ada 2005 observer pattern with mutually dependent packages and containers produces compiler error

2008-04-09 Thread ludovic at ludovic-brenta dot org
--- Comment #7 from ludovic at ludovic-brenta dot org 2008-04-09 20:25 --- Further reduced test case: replace observers.ads with: package Observers is type Observer is new Integer; type Observer_Access is access Observer; end Observers; and the bug is still there. -- http

[Bug ada/35829] Please add support for mips and mipsel in gnat

2008-04-04 Thread ludovic at ludovic-brenta dot org
--- Comment #3 from ludovic at ludovic-brenta dot org 2008-04-04 23:44 --- This is the same patch that Aurelien Jarno submitted here: http://gcc.gnu.org/ml/gcc-patches/2008-04/msg00026.html I suggest closing this bug, as the patch has been committed to trunk. (I don't have

[Bug ada/35792] New: Illegal program not detected, RM 3.10.1(4/2)

2008-04-01 Thread ludovic at ludovic-brenta dot org
ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35792

[Bug ada/35793] New: Illegal program not detected, RM 3.8(12)

2008-04-01 Thread ludovic at ludovic-brenta dot org
ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35793

[Bug ada/35794] New: Illegal program not detected, RM 4.1.3(9.2/2)

2008-04-01 Thread ludovic at ludovic-brenta dot org
: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35794

[Bug ada/35794] Illegal program not detected, RM 4.1.3(9.2/2)

2008-04-01 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2008-04-01 21:26 --- gcc-4.3 -c -gnat05 pak1.ads pak1.ads:11:21: no selector f1 for private type T1 defined at line 4 -- ludovic at ludovic-brenta dot org changed: What|Removed |Added

[Bug ada/35645] New: ICE in gimplify_expr, at gimplify.c:6120

2008-03-19 Thread ludovic at ludovic-brenta dot org
: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35645

[Bug ada/34496] [4.2/4.3 Regression] prefixed notation allows changing the value of a constant

2008-03-19 Thread ludovic at ludovic-brenta dot org
--- Comment #3 from ludovic at ludovic-brenta dot org 2008-03-20 01:01 --- Still present in 4.3.0: $ gnatmake -gnat05 test1 gcc-4.3 -c -gnat05 test1.adb gnatbind -x test1.ali gnatlink test1.ali $ ./test1 3 raised STORAGE_ERROR : stack overflow (or erroneous memory access) I am

[Bug ada/35464] New: warning: condition is always False not issued inside generics

2008-03-04 Thread ludovic at ludovic-brenta dot org
AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35464

[Bug ada/33420] [Ada] crash passing SomeFunctionReturningPointer.all as function argument

2008-02-06 Thread ludovic at ludovic-brenta dot org
--- Comment #5 from ludovic at ludovic-brenta dot org 2008-02-06 13:42 --- Since the test case uses only Ada 95 features, what does the compiler say with -gnat95? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33420

[Bug ada/15610] Invalid program not detected, generic formal parameter hides declared item

2008-01-12 Thread ludovic at ludovic-brenta dot org
--- Comment #3 from ludovic at ludovic-brenta dot org 2008-01-12 13:52 --- By adding one line to the test case, we can see the bug reappears: procedure Test_244942 is function f1 return integer is begin return 1; end f1; generic with function foo return integer

[Bug ada/34508] Legal program rejected, RM 3.7(26)

2007-12-18 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2007-12-18 12:10 --- Actually, the declaration of x2 is illegal; GNAT is correct in rejecting it. The declaration of T3 is legal and incorrectly rejected. The error messages are: gnatmake -gnat05 pak1-pak3.ads gcc-4.1 -c -gnat05

[Bug ada/34504] New: Legal program runs incorrectly, dynamic dispatching with interfaces, RM 3.9.2(5/2, 20/2), 3.9.4(1/2)

2007-12-17 Thread ludovic at ludovic-brenta dot org
Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34504

[Bug ada/34504] Legal program runs incorrectly, dynamic dispatching with interfaces, RM 3.9.2(5/2, 20/2), 3.9.4(1/2)

2007-12-17 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2007-12-17 09:19 --- Confirmed on GCC 4.1.2 and 4.2.2. -- ludovic at ludovic-brenta dot org changed: What|Removed |Added

[Bug ada/34507] New: Bug box, Assert_Failure einfo.adb:814 on illegal Ada 2005 program

2007-12-17 Thread ludovic at ludovic-brenta dot org
gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34507

[Bug ada/34507] Bug box, Assert_Failure einfo.adb:814 on illegal Ada 2005 program

2007-12-17 Thread ludovic at ludovic-brenta dot org
--- Comment #1 from ludovic at ludovic-brenta dot org 2007-12-17 09:30 --- The initial test case was incorrect regarding the lines marked ERROR. Here's a corrected version: package pak1 is type T1() is tagged limited private; private type T1(D: integer) is tagged limited null

[Bug ada/34508] New: Legal program rejected, RM 3.7(26)

2007-12-17 Thread ludovic at ludovic-brenta dot org
ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34508

[Bug ada/34509] New: Bug box in expand_expr_real_1, at expr.c:6711 on legal program

2007-12-17 Thread ludovic at ludovic-brenta dot org
Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34509

[Bug ada/34510] New: Legal program rejected, explicit type conversion between two unrelated class-wide types, RM 4.6(21/2,23.1/2)

2007-12-17 Thread ludovic at ludovic-brenta dot org
Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34510

[Bug ada/34511] New: Legal program rejected, RM 12.6(10): generic formal subprogram with implicit default

2007-12-17 Thread ludovic at ludovic-brenta dot org
ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34511

[Bug middle-end/34400] [4.3 regression] bad interaction between DF and SJLJ exceptions

2007-12-17 Thread ludovic at ludovic-brenta dot org
--- Comment #30 from ludovic at ludovic-brenta dot org 2007-12-17 10:52 --- (In reply to comment #28) Created an attachment (id=14778) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14778action=view) [edit] Change worklist solver to double queue algorithm I would like to try

[Bug middle-end/34400] [4.3 regression] bad interaction between DF and SJLJ exceptions

2007-12-17 Thread ludovic at ludovic-brenta dot org
--- Comment #35 from ludovic at ludovic-brenta dot org 2007-12-17 16:16 --- Created an attachment (id=14784) -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14784action=view) Results of gnat1 -ftime-report [...] g-catiio.adb with SJLJ exceptions $ time ../../gnat1 -ftime-report

[Bug ada/34496] New: [4.2 regression] prefixed notation allows changing the value of a constant

2007-12-16 Thread ludovic at ludovic-brenta dot org
: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34496

[Bug ada/15605] invalid program not detected, RM 8.3(22)

2007-12-16 Thread ludovic at ludovic-brenta dot org
--- Comment #4 from ludovic at ludovic-brenta dot org 2007-12-16 14:04 --- As of 4.2.2, only the first of the two errors is detected. Reopening. The second error violates 8.5.4(6): A name that denotes a formal parameter of the subprogram_specification is not allowed within

[Bug middle-end/34400] [4.3 regression] gnat1 takes too long to compile g-catiio.adb with SJLJ exceptions

2007-12-09 Thread ludovic at ludovic-brenta dot org
--- Comment #4 from ludovic at ludovic-brenta dot org 2007-12-09 20:48 --- First, read http://gcc.gnu.org/ml/gcc/2006-10/msg00303.html for a little background information on ZCX and SJLJ in Ada. Steps to reproduce: - bootstrap with ada enabled (i.e. ../gcc/configure --enable

[Bug ada/34400] New: [4.3 regression] gnat1 takes too long to compile g-catiio.adb with SJLJ exceptions

2007-12-08 Thread ludovic at ludovic-brenta dot org
gnu dot org ReportedBy: ludovic at ludovic-brenta dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34400

  1   2   >