diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-11-22 05:34:54 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-12-14 10:51:53 -0500 |
| commit | b9348660558358303d4cba070aef8590fde4894d (patch) | |
| tree | 3113a5c715e86463af4cb9ee980338257563f022 /gcc/gcov.c | |
| parent | 415791cf5c906cceff4fc444c3f5795e636ed6ab (diff) | |
| download | gcc-b9348660558358303d4cba070aef8590fde4894d.zip gcc-b9348660558358303d4cba070aef8590fde4894d.tar.gz gcc-b9348660558358303d4cba070aef8590fde4894d.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/gcov.c')
0 files changed, 0 insertions, 0 deletions