projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e60fea) | patch
[Ada] Fix recent optimization in evaluation of selected component for GNATprove
authorArnaud Charlet <charlet@adacore.com>
Thu, 10 Dec 2020 16:22:23 +0000 (11:22 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 28 Apr 2021 09:38:18 +0000 (05:38 -0400)
commit5485d0e5569037c0bdc04192e174a048f7d69a61
tree4382ba482e0d8c6548a06ed7c003030b7fd15b83tree | snapshot
parent4e60fea9206696782e2292419da9add02d0b609ccommit | diff
[Ada] Fix recent optimization in evaluation of selected component for GNATprove

gcc/ada/

* sem_eval.adb (Eval_Selected_Component): Only consider compile
time known aggregates.
gcc/ada/sem_eval.adb diff | blob | history
Domain: System / Toolchain;