[Bug ada/23750] Suggest using a more standard soname for libgnat

-- What|Removed |Added Severity|normal |enhancement http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23750

[Bug ada/23750] New: Suggest using a more standard soname for libgnat

t: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic dot brenta at insalien dot org CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23750

[Bug ada/23208] Illegal program not detected, RM 12.5.1(15, 28)

--- Additional Comments From ludovic dot brenta at insalien dot org 2005-08-03 05:14 --- Yes, I was mistaken: RM 3.3(23) says: "A subtype is an indefinite subtype if it is an unconstrained array subtype, or if it has unknown discriminants or unconstrained discriminants without def

[Bug ada/23208] Illegal program not detected, RM 12.5.1(15, 28)

-- What|Removed |Added Keywords||accepts-invalid http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23208

[Bug ada/23208] New: Illegal program not detected, RM 12.5.1(15, 28)

NFIRMED Severity: normal Priority: P2 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic dot brenta at insalien dot org CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23208

[Bug ada/22601] GNAT Command lists many commands as available that are not

-- What|Removed |Added CC||ludovic dot brenta at ||insalien dot org http://gcc.gnu.org

[Bug ada/22601] GNAT Command lists many commands as available that are not

--- Additional Comments From ludovic dot brenta at insalien dot org 2005-07-22 08:28 --- The missing commands require ASIS, which is unfortunately not available yet for versions of GNAT other than 3.15p (based on gcc 2.8.1). -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22601

[Bug ada/22559] New: Bug box, Program_Error at sinput.adb:404, derived fixed-point type

dot gnu dot org ReportedBy: ludovic dot brenta at insalien dot org CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22559

[Bug ada/22557] New: Legal program runs incorrectly, RM 4.5.1(6): array xor array

Priority: P2 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic dot brenta at insalien dot org CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22557

[Bug ada/22164] GNAT rejects matching parameter in generic instantiation as non-matching

--- Additional Comments From ludovic dot brenta at insalien dot org 2005-06-23 14:53 --- Sorry - replace line 9 with: package Instance_Of_Q is new Instance_Of_P.Q (Formal_Array_Type => Array_Type); -- Ludovic Brenta. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22164

[Bug ada/22164] GNAT rejects matching parameter in generic instantiation as non-matching

-- What|Removed |Added CC||sparre at nbi dot dk http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22164

[Bug ada/22165] New: GNAT rejects matching parameter in generic instantiation as non-matching

eric instantiation as non-matching Product: gcc Version: 4.0.0 Status: UNCONFIRMED Severity: normal Priority: P2 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic dot

[Bug ada/22164] GNAT rejects matching parameter in generic instantiation as non-matching

-- What|Removed |Added Keywords||rejects-valid http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22164

[Bug ada/22164] New: GNAT rejects matching parameter in generic instantiation as non-matching

eric instantiation as non-matching Product: gcc Version: 4.0.0 Status: UNCONFIRMED Severity: normal Priority: P2 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic dot

[Bug ada/21490] New: Illegal program not detected, RM 3.6(11)

P2 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic dot brenta at insalien dot org CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21490

[Bug ada/21489] Wrong code generated for legal program, RM 6.4.1(13), 9.5.1(3), 9.5.3(8)

-- What|Removed |Added Summary|Wrong code generated with -O|Wrong code generated for |-fPIC |legal program, RM 6.4.1(13),

[Bug ada/21489] New: Wrong code generated with -O -fPIC

ng code generated with -O -fPIC Product: gcc Version: 4.0.0 Status: UNCONFIRMED Severity: normal Priority: P2 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic dot brenta at insalien dot org

[Bug ada/19002] GNAT BUG DETECTED, unqualified record aggregate triggers

--- Additional Comments From ludovic dot brenta at insalien dot org 2005-04-28 19:52 --- Here is another test case that produces the same bug box, from the Debian BTS: package Test_306832 is type T1 is record i: integer; end record; package pak1 is type T2 is

[Bug ada/20075] Bug in GNAT.Expect.Non_Blocking_Spawn

--- Additional Comments From ludovic dot brenta at insalien dot org 2005-02-20 17:14 --- Hi Stefan, I've given some more thought to the problem, and I think that perhaps the bug is in Ada.Command_Line.Command_Name, not in GNAT.OS_Lib or GNAT.Expect. Indeed,

[Bug ada/18876] New: Bug box, Assert_Failure at namet.adb:630, on legal program

legal program Product: gcc Version: 3.4.2 Status: UNCONFIRMED Severity: normal Priority: P2 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic dot brenta at insalien do

[Bug ada/18845] New: Illegal program not detected, RM 4.7(3)

Summary: Illegal program not detected, RM 4.7(3) Product: gcc Version: 3.4.2 Status: UNCONFIRMED Severity: normal Priority: P2 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic dot brenta at

[Bug ada/18846] New: Illegal program accepted, RM 10.2.1(10), 12.3(1.a)

, 12.3(1.a) Product: gcc Version: 3.4.2 Status: UNCONFIRMED Severity: normal Priority: P2 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic dot brenta at insalien dot org CC: gcc-b

[Bug ada/18765] New: Illegal program not detected, "/=" when "=" is ambiguous

Product: gcc Version: 3.4.2 Status: UNCONFIRMED Severity: normal Priority: P2 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic dot brenta at insalien dot org CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18765

[Bug ada/18762] Illegal program not detected, RM 6.3.1(7), 8.5.4(5), 13.14(3)

-- What|Removed |Added Keywords||accepts-invalid http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18762

[Bug ada/18762] New: Illegal program not detected, RM 6.3.1(7), 8.5.4(5), 13.14(3)

IRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic dot brenta at insalien dot org CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18762

[Bug ada/18455] New: Legal rejected in gnat 3.15p, RM 3.10(15); incorrect execution in gcc 3.4.2

gcc Version: 3.4.2 Status: UNCONFIRMED Severity: normal Priority: P2 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic dot brenta at insalien dot org CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18455

[Bug ada/18454] New: Illegal program not detected, RM 10.1.5(4), 8.1(16)

Severity: normal Priority: P2 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic dot brenta at insalien dot org CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18454

[Bug ada/18453] New: Legal instantiation rejected; illegal instantiation accepted

ion accepted Product: gcc Version: 3.4.2 Status: UNCONFIRMED Severity: normal Priority: P2 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic dot brenta at insalien dot org

[Bug ada/18221] New: Illegal program not detected, access to invisible type RM 8.2(9)

le type RM 8.2(9) Product: gcc Version: 3.4.2 Status: UNCONFIRMED Severity: normal Priority: P2 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic dot brenta at insalien d

[Bug ada/18205] New: Legal program rejected, RM 13.13.2(14)

erity: normal Priority: P2 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic dot brenta at insalien dot org CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18205

[Bug ada/18204] Legal program rejected, completion of private type declaration

--- Additional Comments From ludovic dot brenta at insalien dot org 2004-10-28 17:51 --- Debian bug #278686. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18204

[Bug ada/18204] New: Legal program rejected, completion of private type declaration

n Product: gcc Version: 3.4.2 Status: UNCONFIRMED Severity: normal Priority: P2 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic dot brenta at insalien dot org CC: gcc-bugs at

[Bug ada/17954] New: Legal program rejected, packed array of booleans

of booleans Product: gcc Version: 3.4.2 Status: UNCONFIRMED Severity: normal Priority: P2 Component: ada AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: ludovic dot brenta at insalien dot org CC: gcc-bu

[Bug ada/17953] New: Illegal program not detected, RM 3.9.2(9)

at gcc dot gnu dot org ReportedBy: ludovic dot brenta at insalien dot org CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17953