[Bug ada/68171] Default value in record for component with predicate causes bug box

2024-10-26 Thread ebotcazou at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68171 Eric Botcazou changed: What|Removed |Added Resolution|--- |FIXED Status|NEW

[Bug ada/68171] Default value in record for component with predicate causes bug box

2015-12-06 Thread ebotcazou at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68171 Eric Botcazou changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

[Bug ada/68171] Default value in record for component with predicate causes bug box

2015-11-01 Thread gcc at gyw dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68171 --- Comment #1 from Troy --- As an aside, the test is based on an example in the Ada 2012 Rationale. The original uses Static_Predicate, but fails to compile with gnat 4.9.2. That is why I used Dynamic_Predicate instead.