]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 992fb2a) | patch
ada: Fix inefficient Unchecked_Conversion to large array type
authorEric Botcazou <ebotcazou@adacore.com>
Thu, 19 Jun 2025 20:17:09 +0000 (22:17 +0200)
committerEric Botcazou <ebotcazou@adacore.com>
Fri, 4 Jul 2025 08:18:15 +0000 (10:18 +0200)
commite6e1d889b5603a617cbc7fca7d0f5b2751b2d489
treedc12ab73e4c13bdfdba467619d8fc693047df1d7tree | snapshot
parent992fb2af98ff804de262c78e2fd975d56ede5807commit | diff
ada: Fix inefficient Unchecked_Conversion to large array type

We fail to use the implementation permission given by RM 13.9(12) because
the array type does not have the Size_Known_At_Compile_Time flag set.

gcc/ada/ChangeLog:

* freeze.adb (Check_Compile_Time_Size): Try harder to see whether
the bounds of array types are known at compile time.
gcc/ada/freeze.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git