projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9884fc7) | patch
[Ada] Do not apply range checks inside generics in GNATprove mode
authorYannick Moy <moy@adacore.com>
Wed, 4 Nov 2020 15:11:51 +0000 (16:11 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 27 Nov 2020 09:15:58 +0000 (04:15 -0500)
commitfdd0a8448945618a6756d474b7c931fabc51ad0f
tree17822e4958538ccdb650db4d0a839928bdffb9a1tree
parent9884fc7e79e0753299169a5045ba054520896ac6commit | diff
[Ada] Do not apply range checks inside generics in GNATprove mode

gcc/ada/

* checks.adb (Selected_Range_Checks): Adapt the condition for
applying range checks so that it is not done inside generics.
gcc/ada/checks.adb diff | blob | history