https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115535
--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-13 branch has been updated by Eric Botcazou <ebotca...@gcc.gnu.org>: https://gcc.gnu.org/g:d0abc47f940173863966c04d852fa75e76d07be9 commit r13-9094-gd0abc47f940173863966c04d852fa75e76d07be9 Author: Eric Botcazou <ebotca...@adacore.com> Date: Wed Sep 11 19:37:08 2024 +0200 ada: Fix negative value returned by 'Image for array with nonnegative component The problem is that Exp_Put_Image.Build_Elementary_Put_Image_Call uses the signedness of the base type but the size of the first subtype, hence the discrepancy between them. gcc/ada/ChangeLog: PR ada/115535 * exp_put_image.adb (Build_Elementary_Put_Image_Call): Use the size of the underlying type to find the support type.