projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4b54d93) | patch
[Ada] More precise analysis of function renamings in GNATprove
authorYannick Moy <moy@adacore.com>
Fri, 16 Jul 2021 14:35:19 +0000 (16:35 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 22 Sep 2021 15:01:46 +0000 (15:01 +0000)
commit0b7ddfb9f13b3bfb7f4fc9ac23f6adf4f36e7098
tree41b9ff3f97e4a0ff66d2fddd82bc6d6baeb4da31tree | snapshot
parent4b54d9393e2af43393cce9b76798617b3c3452f1commit | diff
[Ada] More precise analysis of function renamings in GNATprove

gcc/ada/

* freeze.adb (Build_Renamed_Body): Special case for GNATprove.
* sem_ch6.adb (Analyze_Expression_Function): Remove useless test
for a node to come from source, which becomes harmful otherwise.
gcc/ada/freeze.adb diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history
Domain: System / Toolchain;