[Ada] Potentially unevaluated nested expressions
authorJavier Miranda <miranda@adacore.com>
Wed, 27 May 2020 20:44:40 +0000 (16:44 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 10 Jul 2020 09:16:21 +0000 (05:16 -0400)
commit1b5dc454ac88d5961d9bc339b63051b680b09ffa
tree1bcb9f1166f180295675eb684fd1218c7e1f2be3
parentce59f39f78b0a517eaa61b6845c25c60bc19c455
[Ada] Potentially unevaluated nested expressions

gcc/ada/

* sem_util.adb
(Immediate_Context_Implies_Is_Potentially_Unevaluated): New
subprogram.
(Is_Potentially_Unevaluated): Do not stop climbing the tree on
the first candidate subexpression; required to handle nested
expressions.
gcc/ada/sem_util.adb