[Bug ada/31417] Illegal program not detected, RM 7.3(13), 4.9.1(1), nonstatic discriminants

2024-10-26 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=31417

--- Comment #5 from Eric Botcazou  ---
The errors are still missing.

[Bug ada/31417] Illegal program not detected, RM 7.3(13), 4.9.1(1), nonstatic discriminants

2015-12-05 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=31417

Eric Botcazou  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2015-12-05
 CC||ebotcazou at gcc dot gnu.org
 Ever confirmed|0   |1
   Severity|normal  |minor

--- Comment #4 from Eric Botcazou  ---
The errors are still missing.

[Bug ada/31417] Illegal program not detected, RM 7.3(13), 4.9.1(1), nonstatic discriminants

2014-02-27 Thread nicolas.boulenguez at free dot fr
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31417

--- Comment #3 from nicolas.boulenguez at free dot fr ---
Found in 4.9-20140218


[Bug ada/31417] Illegal program not detected, RM 7.3(13), 4.9.1(1), nonstatic discriminants

2011-08-31 Thread nicolas.boulenguez at free dot fr
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31417

nicolas.boulenguez at free dot fr changed:

   What|Removed |Added

 CC||nicolas.boulenguez at free
   ||dot fr

--- Comment #2 from nicolas.boulenguez at free dot fr 2011-08-31 14:40:29 UTC 
---
found 4.6.1


[Bug ada/31417] Illegal program not detected, RM 7.3(13), 4.9.1(1), nonstatic discriminants

2007-03-31 Thread ludovic at ludovic-brenta dot org


--- Comment #1 from ludovic at ludovic-brenta dot org  2007-03-31 23:28 
---
This is Debian Bug#416979.


-- 

ludovic at ludovic-brenta dot org changed:

   What|Removed |Added

   Keywords||accepts-invalid


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31417