Processed: Changing my email address
Processing commands for control@bugs.debian.org:
> submitter 230809 ludovic@ludovic-brenta.org
Bug#230809: libgnat-3.15p-1: Strings.Maps.Is_Subset always returns False
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 263498 ludovic@ludovic-brenta.org
Bug#263498: gnat: Ada.Numerics.Generic_Elementary_Functions.Log erroneout with -gnatN
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 243795 ludovic@ludovic-brenta.org
Bug#243795: gnat: Bug box from "with Text_IO" when compiling optimized
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 243796 ludovic@ludovic-brenta.org
Bug#243796: gnat: Nonconforming parameter lists not detected
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 243797 ludovic@ludovic-brenta.org
Bug#243797: gnat: Illegal use clause not detected
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 243799 ludovic@ludovic-brenta.org
Bug#243799: gnat: Compiler enters infinite loop on illegal program with tagged records
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 243800 ludovic@ludovic-brenta.org
Bug#243800: gnat: Compiler crashes on illegal program (missing discriminant, unconstrained parent)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 243801 ludovic@ludovic-brenta.org
Bug#243801: gnat: Bug box at sinfo.adb:1215 on illegal program
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 243802 ludovic@ludovic-brenta.org
Bug#243802: gnat: Bug box at sinfo.adb:1651 on illegal program
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 243803 ludovic@ludovic-brenta.org
Bug#243803: gnat: Illegal program not detected (entry families)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 244225 ludovic@ludovic-brenta.org
Bug#244225: gnat: Bug box in Gigi, code=116, on legal program
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 246188 ludovic@ludovic-brenta.org
Bug#246188: gnat: Legal program rejected, overloaded procedures
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 246389 ludovic@ludovic-brenta.org
Bug#246389: gnat: Illegal program not detected, RM 10.1.6(3)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247014 ludovic@ludovic-brenta.org
Bug#247014: gnat: Illegal program not detected, RM 3.10.2(24)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247021 ludovic@ludovic-brenta.org
Bug#247021: gnat: Legal program rejected
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247022 ludovic@ludovic-brenta.org
Bug#247022: gnat: Illegal program not detected, RM 4.7(3)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247562 ludovic@ludovic-brenta.org
Bug#247562: gnat: Illegal program not detected, RM 3.10.2(27)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247563 ludovic@ludovic-brenta.org
Bug#247563: gnat: Legal program rejected, "limited type has no stream attributes"
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247565 ludovic@ludovic-brenta.org
Bug#247565: gnat: Wrong output from legal program
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247568 ludovic@ludovic-brenta.org
Bug#247568: gnat: Illegal program not detected, RM 8.6(31)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 248174 ludovic@ludovic-brenta.org
Bug#248174: gnat: Compiler crashes on illegal program, RM 5.2(6)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 248677 ludovic@ludovic-brenta.org
Bug#248677: gnat: Cannot find generic package body, RM 1.1.3(4)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 248679 ludovic@ludovic-brenta.org
Bug#248679: gnat: Illegal program not detected, RM 3.4.1(5)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 276225 ludovic@ludovic-brenta.org
Bug#276225: gnat: Stack overflow on illegal program, AI-306
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 276226 ludovic@ludovic-brenta.org
Bug#276226: gnat: Illegal program not detected, RM B.1(24)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 306833 ludovic@ludovic-brenta.org
Bug#306833: gnat: Wrong code generated with -O -fPIC
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 243816 ludovic@ludovic-brenta.org
Bug#243816: gnat: Illegal program not detected, RM 4.1.4(14)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 232448 ludovic@ludovic-brenta.org
Bug#232448: debian-policy: Ada Library Information files must be read-only
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 234551 ludovic@ludovic-brenta.org
Bug#234551: RFP: libbooch_components -- The Ada 95 Booch Components
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 243807 ludovic@ludovic-brenta.org
Bug#243807: gnat: Illegal program not detected, RM 10.1.1(14)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 243812 ludovic@ludovic-brenta.org
Bug#243812: gnat: Bug box at exp_ch9.adb:7254 on illegal code
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 244483 ludovic@ludovic-brenta.org
Bug#244483: [fixed in 4.0] gnat: Illegal program not detected, 12.7(10) (generic parameter is visible, shouldn't be)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 244496 ludovic@ludovic-brenta.org
Bug#244496: gnat: Illegal program not detected, ambiguous aggregate
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 244935 ludovic@ludovic-brenta.org
Bug#244935: gnat: Illegal program not detected, RM 8.3(22)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 244936 ludovic@ludovic-brenta.org
Bug#244936: gnat: Legal program rejected, RM 8.2(22)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 244940 ludovic@ludovic-brenta.org
Bug#244940: [fixed in 4.1] gnat: Bug box at sem_ch3.adb:8003
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 244943 ludovic@ludovic-brenta.org
Bug#244943: gnat: Illegal program not detected, RM 3.7(11)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 244945 ludovic@ludovic-brenta.org
Bug#244945: [fixed in 4.0] gnat: Bug box in Gigi, code=103, on illegal program
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 244946 ludovic@ludovic-brenta.org
Bug#244946: [fixed in 4.1] gnat: Illegal program not detected, named parameters
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 244970 ludovic@ludovic-brenta.org
Bug#244970: gnat: Illegal program not detected, RM 12.1(11)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 246183 ludovic@ludovic-brenta.org
Bug#246183: gnat: Legal program rejected, derived tagged type in child package doesn't see parent's element
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 246184 ludovic@ludovic-brenta.org
Bug#246184: gnat: Linking error on legal program using generic package
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 246185 ludovic@ludovic-brenta.org
Bug#246185: gnat: Bug box in Gigi, code=201, on legal program with tasking
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 246186 ludovic@ludovic-brenta.org
Bug#246186: gnat: Legal program rejected, using Boolean'Base
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 246187 ludovic@ludovic-brenta.org
Bug#246187: gnat: Bug box, Storage_Error at system.ads:139:5 on legal program
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 246384 ludovic@ludovic-brenta.org
Bug#246384: gnat: Bug box in Gigi, code=999, on legal program
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 246385 ludovic@ludovic-brenta.org
Bug#246385: gnat: Illegal program not detected, RM 8.3(19)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 246386 ludovic@ludovic-brenta.org
Bug#246386: gnat: Illegal program not detected, RM 3.8.1(2)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 246387 ludovic@ludovic-brenta.org
Bug#246387: gnat: Illegal program not detected, allows writing through access to constant
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 246388 ludovic@ludovic-brenta.org
Bug#246388: [fixed in 4.1] gnat: Bug box in Gigi, code=999, on legal program
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 246390 ludovic@ludovic-brenta.org
Bug#246390: gnat: Legal program runs incorrectly, RM 3.10.2(3,29)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 246392 ludovic@ludovic-brenta.org
Bug#246392: gnat: Illegal program not detected, RM 3.9.3(10)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247013 ludovic@ludovic-brenta.org
Bug#247013: gnat: Illegal program not detected, RM 3.7(14)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247015 ludovic@ludovic-brenta.org
Bug#247015: gnat: Illegal program not detected, RM 3.9(17)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247016 ludovic@ludovic-brenta.org
Bug#247016: gnat: Legal program rejected
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247017 ludovic@ludovic-brenta.org
Bug#247017: gnat: Illegal program not detected, RM 3.7.2(2)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247018 ludovic@ludovic-brenta.org
Bug#247018: gnat: Illegal program not detected, RM 8.3(8)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247019 ludovic@ludovic-brenta.org
Bug#247019: gnat: Illegal program not detected, circular renames
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247020 ludovic@ludovic-brenta.org
Bug#247020: gnat: Illegal program not detected, self renames
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247023 ludovic@ludovic-brenta.org
Bug#247023: gnat: Legal program rejected, RM 3.10.2(32)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247560 ludovic@ludovic-brenta.org
Bug#247560: gnat: Illegal program not detected, RM 13.11(15)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247561 ludovic@ludovic-brenta.org
Bug#247561: gnat: Illegal program not detected, RM 12.4(7)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247564 ludovic@ludovic-brenta.org
Bug#247564: gnat: Bug box in Gigi, code=103, on legal program
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247567 ludovic@ludovic-brenta.org
Bug#247567: gnat: Compiler enters infinite loop on illegal program
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247569 ludovic@ludovic-brenta.org
Bug#247569: gnat: Wrong output from legal program, ordered generic parameter association
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247570 ludovic@ludovic-brenta.org
Bug#247570: gnat: Illegal program not detected, RM 13.14(5)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247571 ludovic@ludovic-brenta.org
Bug#247571: gnat: Wrong output from legal program, pragma Import (Ada)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247572 ludovic@ludovic-brenta.org
Bug#247572: gnat: Legal program rejected, visible declaration not seen
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 247573 ludovic@ludovic-brenta.org
Bug#247573: [fixed in 4.0] gnat: Illegal program not detected, RM 8.2(9)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 248166 ludovic@ludovic-brenta.org
Bug#248166: gnat: Illegal program not detected, ambiguous call to "="
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 248167 ludovic@ludovic-brenta.org
Bug#248167: gnat: Legal program rejected, expect derived type in instantiation
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 248168 ludovic@ludovic-brenta.org
Bug#248168: gnat: Illegal program not detected, RM 3.9.2(13)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 248170 ludovic@ludovic-brenta.org
Bug#248170: gnat: Illegal program not detected, RM 3.10.2(24)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 248171 ludovic@ludovic-brenta.org
Bug#248171: gnat: Wrong output from legal program, dereferencing access all T'Class
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 248172 ludovic@ludovic-brenta.org
Bug#248172: gnat: Legal program rejected, procedure of protected object should be visible
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 248173 ludovic@ludovic-brenta.org
Bug#248173: gnat: Legal program rejected, RM 7.3(13)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 248678 ludovic@ludovic-brenta.org
Bug#248678: gnat: Illegal program not detected, RM 3.4.1(5)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 248680 ludovic@ludovic-brenta.org
Bug#248680: gnat: Illegal program not detected, X'Access of wrong type
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 248681 ludovic@ludovic-brenta.org
Bug#248681: gnat: Illegal program not detected, RM 8.5.4(5)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 248682 ludovic@ludovic-brenta.org
Bug#248682: gnat: Illegal program not detected, RM 6.3.1(9), RM 8.5.4(5)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 248683 ludovic@ludovic-brenta.org
Bug#248683: gnat: Illegal program not detected, RM 13.1(6)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 248684 ludovic@ludovic-brenta.org
Bug#248684: gnat: Wrong output from legal program
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 248685 ludovic@ludovic-brenta.org
Bug#248685: gnat: Put_Line (X'Img (Index)), index ignored
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 248686 ludovic@ludovic-brenta.org
Bug#248686: [fixed in 4.0] gnat: Compiler ignores legal override of abstract subprogram
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 248687 ludovic@ludovic-brenta.org
Bug#248687: gnat: Illegal program not detected, pragma Convention after freeze
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 251265 ludovic@ludovic-brenta.org
Bug#251265: gnat: Bug box in Gigi, code=316, on legal Ada 83 program
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 251266 ludovic@ludovic-brenta.org
Bug#251266: gnat: Bug box, Assert_Failure at sinfo.adb:2365 on illegal program
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 253737 ludovic@ludovic-brenta.org
Bug#253737: gnat: Legal program rejected, nested generic packages
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 269948 ludovic@ludovic-brenta.org
Bug#269948: gnat: Illegal program not detected, RM 3.9.3(11)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 269951 ludovic@ludovic-brenta.org
Bug#269951: gnat: Illegal program not detected, name hidden by use clauses
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 274077 ludovic@ludovic-brenta.org
Bug#274077: gnat: Bug box, Program_Error sem_type.adb:1348 in legal program
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 276224 ludovic@ludovic-brenta.org
Bug#276224: gnat: Illegal program not detected, RM 3.9.2(9)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 276227 ludovic@ludovic-brenta.org
Bug#276227: gnat: Legal program rejected, packed array of booleans
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 278685 ludovic@ludovic-brenta.org
Bug#278685: accepts extension aggregate where expexted type is not extension
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 278686 ludovic@ludovic-brenta.org
Bug#278686: gnat: Legal program rejected, completion of private type declaration
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 278687 ludovic@ludovic-brenta.org
Bug#278687: gnat: Legal program rejected, RM 13.13.2(14)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 278831 ludovic@ludovic-brenta.org
Bug#278831: gnat: Illegal program not detected, access to invisible type RM 8.2(9)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 279893 ludovic@ludovic-brenta.org
Bug#279893: gnat: Legal instantiation rejected; illegal instantiation accepted
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 280939 ludovic@ludovic-brenta.org
Bug#280939: gnat: Illegal program not detected, RM 10.1.5(4), 8.1(16)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 280940 ludovic@ludovic-brenta.org
Bug#280940: gnat: Legal rejected in gnat 3.15p, RM 3.10(15); incorrect execution in gcc 3.4.0
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 283835 ludovic@ludovic-brenta.org
Bug#283835: gnat: Illegal program not detected, "/=" when "=" is ambiguous
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 284332 ludovic@ludovic-brenta.org
Bug#284332: gnat: Illegal program not detected, RM 4.7(3)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 284333 ludovic@ludovic-brenta.org
Bug#284333: gnat: Illegal program accepted, RM 10.2.1(10), 12.3(1.a)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 284359 ludovic@ludovic-brenta.org
Bug#284359: mcvs: Wrong charset selected for UTF-8 locale
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 284651 ludovic@ludovic-brenta.org
Bug#284651: gnat: Bug box, Assert_Failure at namet.adb:581, on legal program
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 306832 ludovic@ludovic-brenta.org
Bug#306832: gnat: Bug box, Assert_Failure at sinfo.adb:2365 on legal program
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 306834 ludovic@ludovic-brenta.org
Bug#306834: gnat: Wrong code generated for legal program, RM 6.4.1(13), 9.5.1(3), 9.5.3(8)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 306835 ludovic@ludovic-brenta.org
Bug#306835: gnat: Illegal program not detected, RM 3.6(11)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 249915 ludovic@ludovic-brenta.org
Bug#249915: libopentoken-dev: Illegal Ada code in Examples/ASU_Example_5_10/asu_example_5_10_rd-run.adb
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 249916 ludovic@ludovic-brenta.org
Bug#249916: libopentoken-dev: Illegal Ada code in Examples/ASU_Example_5_10/asu_example_5_10.ads
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 249917 ludovic@ludovic-brenta.org
Bug#249917: libtexttools-dev: Illegal Ada code in userio.adb, windows.adb
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 283833 ludovic@ludovic-brenta.org
Bug#283833: gnat: Illegal program not detected, RM 6.3.1(7), 8.5.4(5), 13.14(3)
Changed Bug submitter from ludovic.brenta@insalien.org to ludovic@ludovic-brenta.org.
> submitter 312621 ludovic@ludovic-brenta.org
Bug#312621: [fixed in 4.1] gnat: Bug Box when reading a program with UTF-8 encoded enumeration literals
Changed Bug submitter from "Ludovic Brenta" <ludovic.brenta@insalien.org> to ludovic@ludovic-brenta.org.
(By the way, that Bug is currently marked as done.)
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: