[Ada] Rewrite Validated_View in recursive style
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 6 Apr 2021 11:10:40 +0000 (13:10 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 29 Jun 2021 14:23:46 +0000 (14:23 +0000)
commitd23455ce238122c20c4fa81fa55eeb9ad1d938ee
tree8aeac1498baa3721af240d24e359c463dcd7ae27
parentd94afa43f7c21c9625fd636903f490cc474b444d
[Ada] Rewrite Validated_View in recursive style

gcc/ada/

* sem_util.ads (Validated_View): Fix style in comment.
* sem_util.adb (Validated_View): Rewrite in recursive style.
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads