[Ada] Stronger assertion about flag for checking static expressions
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 21 May 2021 09:47:45 +0000 (11:47 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 7 Jul 2021 16:23:19 +0000 (16:23 +0000)
commitcce46226b0bb33c688398f861c70dbb06c3e7bda
tree1c4cb9e5fcd7e4d4712cc5236ef5ee9ce7a7c60e
parent18b267aeeb126290355ec394fbc0f6a1fba1f340
[Ada] Stronger assertion about flag for checking static expressions

gcc/ada/

* sem_eval.adb (Set_Checking_Potentially_Static_Expression):
Stronger assertion.
gcc/ada/sem_eval.adb