https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123096
Sam James <sjames at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[16 regression] ICE when |[15/16 regression] ICE when
|building gnatdoc-25 with |building gnatdoc-25 with
|gcc-16 |gcc-16
Keywords| |ice-checking
--- Comment #1 from Sam James <sjames at gcc dot gnu.org> ---
>=15 ICEs for me with just gnatdoc.ads:
```
$ cat gnatdoc.ads
package GNATdoc is
type Abstract_Configuration_Provider is tagged;
type Configuration_Provider_Access is
access all Abstract_Configuration_Provider'Class;
type Abstract_Configuration_Provider
(Child : Configuration_Provider_Access := null) is
abstract tagged limited private;
private
type Abstract_Configuration_Provider
(Child : Configuration_Provider_Access := null) is
abstract tagged limited null record;
end GNATdoc;
```
```
$ gcc-14 -c -x ada -gnat2022 gnatdoc.ads
$ $ gcc-15 -c -x ada -gnat2022 gnatdoc.ads
+===========================GNAT BUG DETECTED==============================+
| 15.2.1 20251206 (x86_64-pc-linux-gnu) Assert_Failure exp_put_image.adb:961|
[...]
$ gcc-16 -c -x ada -gnat2022 gnatdoc.ads
+===========================GNAT BUG DETECTED==============================+
| 16.0.0 20251211 (experimental) d9e2605d9bfa24d288ad08db9c3e9ce08d73d2eb
(x86_64-pc-linux-gnu) |
| Assert_Failure exp_put_image.adb:1016 |
[...]
```
