[Ada] Check if- and case-expressions for unset references
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 20 Jan 2022 23:33:06 +0000 (00:33 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 10 May 2022 08:19:25 +0000 (08:19 +0000)
commit469688bfee89002aa8e5a7812dcbf2b1ee9073dc
tree4ecbfb73be1e65decfbe3205fba5f072461a1d3d
parent850bf074c5fd27abf154c704ff51bf89f1e9d56c
[Ada] Check if- and case-expressions for unset references

Detection of references to unset (uninitialized) objects requires calls
to Check_Unset_Reference on every subexpression of a composite statement
and expression. This was missing for if-expressions and incomplete for
case-expressions.

gcc/ada/

* sem_res.adb (Resolve_Case_Expression): Check alternative
expressions for references to unset objects.
(Resolve_If_Expression): Check condition, then and else
expressions for references to unset objects.
gcc/ada/sem_res.adb