https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106037
Pascal Pignard <p.p11 at orange dot fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |p.p11 at orange dot fr
--- Comment #2 from Pascal Pignard <p.p11 at orange dot fr> ---
Same error with iterated element association in aggregate:
597. declare
598. Keys : constant array (Positive range <>) of Integer := [2, 3,
5, 7, 11];
599. begin
600.
601. -- A map aggregate where the values produced by the
602. -- iterated_element_association are of the same type as the
key
603. -- (eliminating the need for a separate key_expression):
604.
605. M := [for Key1 of Keys => Integer'Image (Key1)];
+===========================GNAT BUG DETECTED==============================+
| 12.1.0 (x86_64-apple-darwin19.6.0) Program_Error sem_type.adb:837 explicit
raise|
| Error detected at aarm_202x_ch04.adb:605:21
