ada: Small adjustment to special resolution of membership test
authorEric Botcazou <ebotcazou@adacore.com>
Sun, 4 Dec 2022 13:53:26 +0000 (14:53 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 6 Dec 2022 13:58:48 +0000 (14:58 +0100)
commita444c05623faa2b6bd1bbc8f7908b8ea3d83b475
tree4dcd1c05681762b51284074dbbedc80b98dc0125
parentd1ab8eddca918f342b06a66fedb8fbc06c5532ab
ada: Small adjustment to special resolution of membership test

It's needed because, in GNAT, universal_integer does not cover all the
values of all the supported integer types.

gcc/ada/

* sem_res.adb (Resolve_Membership_Op): Adjust latest change.
gcc/ada/sem_res.adb