[Ada] Fix oversight for case expression in Eval_Integer_Literal
authorEric Botcazou <ebotcazou@adacore.com>
Sat, 22 Jan 2022 09:56:05 +0000 (10:56 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 10 May 2022 08:19:23 +0000 (08:19 +0000)
commit6798cad793d9581936f2de76c85a22a5449d7358
treebf61448089bccbb293494a73ef15292d37044912
parent53f2aaf0b3c322e65d014ad2203a706bc8b26b8f
[Ada] Fix oversight for case expression in Eval_Integer_Literal

The intent of the entry test is to treat conditional expressions, that is
to say if-expression and case-expression, alike and to require that a second
condition be true for them.  But an N_Case_Expression_Alternative is not an
N_Subexpr so this second condition was short-circuited for this node.

gcc/ada/

* sem_eval.adb (Eval_Integer_Literal): Fix oversight in entry test.
gcc/ada/sem_eval.adb