[Bug ada/68849] Bug box when using a type with static predicate as formal parameter of generic procedure

[ebotcazou at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68849

Eric Botcazou  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
   Target Milestone|--- |12.2
 Resolution|--- |FIXED

--- Comment #3 from Eric Botcazou  ---
.

[Bug ada/68849] Bug box when using a type with static predicate as formal parameter of generic procedure

[simon at pushface dot org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68849

simon at pushface dot org changed:

   What|Removed |Added

 CC||simon at pushface dot org

--- Comment #2 from simon at pushface dot org ---
Not triggered with 12.2.0 (or 7.1.0, or 13-20221120)

[Bug ada/68849] Bug box when using a type with static predicate as formal parameter of generic procedure

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68849

Eric Botcazou  changed:

   What|Removed |Added

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

--- Comment #1 from Eric Botcazou  ---
> I was able to reproduce it with the adacore libre version
> (gnat-gpl-2015-x86_64-linux-bin.tar.gz)
> from http://libre.adacore.com/download/configurations on a x86_64 Linux
> machine.
> 
> I used the latter configuration first and it told me to write to
> rep...@adacore.com, which I did.
> That was a week ago and there wasn't any reaction.
> I'm sorry if this bug report is redundant.

GNAT GPL and GCC are 2 different products so you can report problems for them
independently but please pick one of them and don't create duplicate reports.