[Ada] Add annotation after recent compiler changes
authorArnaud Charlet <charlet@adacore.com>
Sun, 22 Nov 2020 10:34:54 +0000 (05:34 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 14 Dec 2020 15:51:53 +0000 (10:51 -0500)
commitb9348660558358303d4cba070aef8590fde4894d
tree3113a5c715e86463af4cb9ee980338257563f022
parent415791cf5c906cceff4fc444c3f5795e636ed6ab
[Ada] Add annotation after recent compiler changes

gcc/ada/

* exp_util.adb (Process_Current_Value_Condition): Add assertion.
* libgnat/s-fatgen.adb (Scaling): Add annotation.
gcc/ada/exp_util.adb
gcc/ada/libgnat/s-fatgen.adb