diff options
| author | Claire Dross <dross@adacore.com> | 2022-04-11 14:10:49 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-18 08:41:09 +0000 |
| commit | 9f068ad0f2f1d65349ac564178cddbe9aec39f3a (patch) | |
| tree | a9604e535ed8bae11c31398f2f6fe275ad624236 /gcc/fortran/dump-parse-tree.cc | |
| parent | 17cd8bf5a4204b56c337614c0c0752527409f993 (diff) | |
| download | gcc-9f068ad0f2f1d65349ac564178cddbe9aec39f3a.zip gcc-9f068ad0f2f1d65349ac564178cddbe9aec39f3a.tar.gz gcc-9f068ad0f2f1d65349ac564178cddbe9aec39f3a.tar.bz2 | |
[Ada] Fix proof of runtime unit s-imageu
Update to provers caused some proof regressions. Fix the proof by
adding an assertion.
gcc/ada/
* libgnat/s-imageu.adb (Set_Image_Unsigned): Change assertion.
Diffstat (limited to 'gcc/fortran/dump-parse-tree.cc')
0 files changed, 0 insertions, 0 deletions