https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105212
--- Comment #2 from Honki Tonk <service at totalplanlos dot de> --- The error still occurs with version 13.1.
[Bug ada/105212] -gnatwu gives false error message for certain arrays.
service at totalplanlos dot de via Gcc-bugs Sat, 24 Jun 2023 07:26:11 -0700
