projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b47b543) | patch
[Ada] Fix type conversion handling in validity checks
authorMarc Poulhiès <poulhies@adacore.com>
Fri, 8 Oct 2021 08:02:11 +0000 (10:02 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 20 Oct 2021 10:17:03 +0000 (10:17 +0000)
commitd9fe0e53d8dbc7cae3170cd6ad783100ec3a704a
tree88011fa8fe95727127ae8563e847858957f95a36tree | snapshot
parentb47b5438b9b95cea90f8d925518e893259255a50commit | diff
[Ada] Fix type conversion handling in validity checks

gcc/ada/

* checks.adb (Insert_Valid_Check): in case of checked type
conversion, update Typ to match Exp's type and add call to
Analyze_And_Resolve.
gcc/ada/checks.adb diff | blob | history
Domain: System / Toolchain;