[Ada] Warn on statically known empty loop caused by constraint
commit8ff47b3f88330ae222d393883d6b4a9c5393dc69
authorGhjuvan Lacambre <lacambre@adacore.com>
Wed, 12 May 2021 12:43:06 +0000 (12 14:43 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 6 Jul 2021 14:46:58 +0000 (6 14:46 +0000)
tree6dd76f6808ff9e7c7030985107f66c0f6eb7ea67
parentd8870b1f64ae927e9469082490760b760ef5616f
[Ada] Warn on statically known empty loop caused by constraint

gcc/ada/

* sem_ch5.adb (Analyze_Loop_Parameter_Specification): Check for
empty loops caused by constraints.
gcc/ada/sem_ch5.adb