procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

[Ada] Add early return to Apply_Universal_Integer_Attribute_Checks

Browse source 
2020-06-17  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

	* checks.adb (Apply_Universal_Integer_Attribute_Checks): Do not do
	anything when the type of the node is already Universal_Integer.
This commit is contained in:
Eric Botcazou 2020-04-20 13:04:45 +02:00 • committed by Pierre-Marie de Rodat
parent 86f8060436
commit 48b6386f5d
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gcc/ada/checks.adb
View file

@ -3823,6 +3823,11 @@ package body Checks is
if Inside_A_Generic then
return;
-- Nothing to do if the result type is universal integer
elsif Typ = Universal_Integer then
return;
-- Nothing to do if checks are suppressed
elsif Range_Checks_Suppressed (Typ)