[Ada] No_Implicit_Loops restriction and pragma Assert
authorArnaud Charlet <charlet@adacore.com>
Tue, 22 Dec 2020 15:02:29 +0000 (10:02 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 3 May 2021 09:28:21 +0000 (05:28 -0400)
commit56adf813f4e23d95d92385dee9b31e5e0d476abd
tree4b9c81db20e9e147a709e1f5dfe948d431112bd8
parente36ee1b4df7197b6e7542bb67004b1fcf09714ce
[Ada] No_Implicit_Loops restriction and pragma Assert

gcc/ada/

* tbuild.adb (Make_Implicit_Loop_Statement): Disable restriction
checking on dead paths.
gcc/ada/tbuild.adb