diff options
| author | Yannick Moy <moy@adacore.com> | 2021-07-16 16:35:19 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-09-22 15:01:46 +0000 |
| commit | 0b7ddfb9f13b3bfb7f4fc9ac23f6adf4f36e7098 (patch) | |
| tree | 41b9ff3f97e4a0ff66d2fddd82bc6d6baeb4da31 /gcc/ada/gcc-interface | |
| parent | 4b54d9393e2af43393cce9b76798617b3c3452f1 (diff) | |
| download | gcc-0b7ddfb9f13b3bfb7f4fc9ac23f6adf4f36e7098.zip gcc-0b7ddfb9f13b3bfb7f4fc9ac23f6adf4f36e7098.tar.gz gcc-0b7ddfb9f13b3bfb7f4fc9ac23f6adf4f36e7098.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions