projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e9c8539) | patch
[Ada] Remove unnecessary special-casing of GNATprove expansion
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 10 Apr 2020 17:30:13 +0000 (19:30 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 17 Jun 2020 08:14:00 +0000 (04:14 -0400)
commit4ffefb704a8e805278e72ed9bee7c94c0a1401d4
tree819d449dce38e6440606cd6b86001de20f621772tree
parente9c85394fb16fd43a05cd9ee5dbca3e96cc68dfbcommit | diff
[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.
gcc/ada/checks.adb diff | blob | history
gcc/ada/sem_ch3.adb diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history