diff options
| author | Yannick Moy <moy@adacore.com> | 2022-04-20 09:39:11 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-30 08:29:01 +0000 |
| commit | 1ea22318caf52a98b32f8ef4e155376e7751db4b (patch) | |
| tree | 0695039fc78b5643e05c9ead47ad0bb6b271d11f /gcc/c | |
| parent | 5b7630f2f266346173eb2172a9a96e925010afc5 (diff) | |
| download | gcc-1ea22318caf52a98b32f8ef4e155376e7751db4b.zip gcc-1ea22318caf52a98b32f8ef4e155376e7751db4b.tar.gz gcc-1ea22318caf52a98b32f8ef4e155376e7751db4b.tar.bz2 | |
[Ada] Adapt proof of runtime unit s-arit32
After changes in GNATprove, adapt proof. Simply move an assertion up
before it is first needed here.
gcc/ada/
* libgnat/s-arit32.adb (Scaled_Divide32): Move assertion up.
Diffstat (limited to 'gcc/c')
0 files changed, 0 insertions, 0 deletions