diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-04-10 19:30:13 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-17 04:14:00 -0400 |
| commit | 4ffefb704a8e805278e72ed9bee7c94c0a1401d4 (patch) | |
| tree | 819d449dce38e6440606cd6b86001de20f621772 /gcc/gcov.c | |
| parent | e9c85394fb16fd43a05cd9ee5dbca3e96cc68dfb (diff) | |
| download | gcc-4ffefb704a8e805278e72ed9bee7c94c0a1401d4.zip gcc-4ffefb704a8e805278e72ed9bee7c94c0a1401d4.tar.gz gcc-4ffefb704a8e805278e72ed9bee7c94c0a1401d4.tar.bz2 | |
[Ada] Remove unnecessary special-casing of GNATprove expansion
2020-06-17 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* checks.adb (Generate_Range_Check): Simplify redundant
condition.
* sem_ch3.adb (Check_Initialization, Process_Discriminants):
Likewise.
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Likewise.
Diffstat (limited to 'gcc/gcov.c')
0 files changed, 0 insertions, 0 deletions