diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-04-20 13:04:45 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-17 04:14:23 -0400 |
| commit | 48b6386f5d0bdcbe5c901678a043516d544a9f7f (patch) | |
| tree | d30e0f8f76375ea6587bca45d78e4e02b1abbaf9 /gcc/ada | |
| parent | 86f80604361ef12ecbe2d749fcb5f08ec7f71bfc (diff) | |
| download | gcc-48b6386f5d0bdcbe5c901678a043516d544a9f7f.zip gcc-48b6386f5d0bdcbe5c901678a043516d544a9f7f.tar.gz gcc-48b6386f5d0bdcbe5c901678a043516d544a9f7f.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada')
| -rw-r--r-- | gcc/ada/checks.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index 4382951..ad60a45 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -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) |