aboutsummaryrefslogtreecommitdiff
path: root/libjava
diff options
context:
space:
mode:
authorBob Duff <duff@adacore.com>2021-07-06 17:12:32 -0400
committerPierre-Marie de Rodat <derodat@adacore.com>2021-09-21 15:25:00 +0000
commitb6bb60b2414b6cdfc8f24b3b50bbbdfc8090c443 (patch)
tree8fb803e1f020fde2c2c02105ab9e14a6741c44e5 /libjava
parent911b00fba9a092448035c0951d5b229819124d20 (diff)
downloadgcc-b6bb60b2414b6cdfc8f24b3b50bbbdfc8090c443.zip
gcc-b6bb60b2414b6cdfc8f24b3b50bbbdfc8090c443.tar.gz
gcc-b6bb60b2414b6cdfc8f24b3b50bbbdfc8090c443.tar.bz2
[Ada] Add assertions to Uintp (UI_Is_In_Int_Range)
gcc/ada/ * uintp.ads, uintp.adb (UI_Is_In_Int_Range): Change the type of the formal parameter to Valid_Uint. Remove code that preserved the previous behavior, and replace it with an assertion. The previous behavior is no longer needed given the recent change to gigi. (No, Present): Add comment.
Diffstat (limited to 'libjava')
0 files changed, 0 insertions, 0 deletions