[Ada] Add early return to Apply_Universal_Integer_Attribute_Checks
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 20 Apr 2020 11:04:45 +0000 (13:04 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 17 Jun 2020 08:14:23 +0000 (04:14 -0400)
commit48b6386f5d0bdcbe5c901678a043516d544a9f7f
treed30e0f8f76375ea6587bca45d78e4e02b1abbaf9
parent86f80604361ef12ecbe2d749fcb5f08ec7f71bfc
[Ada] Add early return to Apply_Universal_Integer_Attribute_Checks

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.
gcc/ada/checks.adb