[Ada] Refine implementation of AI05-0149 missing conversion checks
authorArnaud Charlet <charlet@adacore.com>
Fri, 21 Feb 2020 16:36:40 +0000 (11:36 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 9 Jun 2020 08:09:00 +0000 (04:09 -0400)
commit742048af50e79b4e0dabba3f4cf2e5779bdc273a
tree07cd6e078d988f6f8a03a001e8c3c1d982785f12
parent54025948c0a4cad05cc22fe67d104e5e3ac9b0de
[Ada] Refine implementation of AI05-0149 missing conversion checks

2020-06-09  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* sem_type.adb (Covers): Fix implementation of AI05-0149.
* sem_res.adb: Fix typo.
gcc/ada/sem_res.adb
gcc/ada/sem_type.adb