https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108157
--- Comment #2 from simon at pushface dot org --- Still present in 13.1.0.
[Bug ada/108157] [12/13/14 regression] object subtype doesn't statically match designated subtype
simon at pushface dot org via Gcc-bugs Wed, 10 May 2023 04:07:13 -0700
- [Bug ada/108157] [12/13/14 regre... simon at pushface dot org via Gcc-bugs
- [Bug ada/108157] [12/13/14 ... ebotcazou at gcc dot gnu.org via Gcc-bugs
