| commit | b6bb60b2414b6cdfc8f24b3b50bbbdfc8090c443 | |
| author | Bob Duff <duff@adacore.com> | |
| Tue, 6 Jul 2021 21:12:32 +0000 (6 17:12 -0400) | ||
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | |
| Tue, 21 Sep 2021 15:25:00 +0000 (21 15:25 +0000) | ||
| tree | 8fb803e1f020fde2c2c02105ab9e14a6741c44e5 | treesnapshot (tar.gz zip) |
| parent | 911b00fba9a092448035c0951d5b229819124d20 | commitdiff |
[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.
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.
| gcc/ada/uintp.adb | diffblobblamehistory | |
| gcc/ada/uintp.ads | diffblobblamehistory |