diff options
| author | Yannick Moy <moy@adacore.com> | 2022-07-04 10:49:02 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-07-13 10:01:15 +0000 |
| commit | b872d3fe67b54fef84ccafc7d39f1017a68332c2 (patch) | |
| tree | 51ea86adbd6e103fe761eccf384081a9da82136e /README | |
| parent | 7a03001cd2dadbe845f109382e4c0dc2dbb50820 (diff) | |
| download | gcc-b872d3fe67b54fef84ccafc7d39f1017a68332c2.zip gcc-b872d3fe67b54fef84ccafc7d39f1017a68332c2.tar.gz gcc-b872d3fe67b54fef84ccafc7d39f1017a68332c2.tar.bz2 | |
[Ada] Fix automatic proof on System.Arith_32
gcc/ada/
* libgnat/s-arit32.adb (Scaled_Divide32): Add an assertion, move
the call of Prove_Sign_R around.
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions