diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-01-21 00:33:06 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-10 08:19:25 +0000 |
| commit | 469688bfee89002aa8e5a7812dcbf2b1ee9073dc (patch) | |
| tree | 4ecbfb73be1e65decfbe3205fba5f072461a1d3d /gcc/fold-const.cc | |
| parent | 850bf074c5fd27abf154c704ff51bf89f1e9d56c (diff) | |
| download | gcc-469688bfee89002aa8e5a7812dcbf2b1ee9073dc.zip gcc-469688bfee89002aa8e5a7812dcbf2b1ee9073dc.tar.gz gcc-469688bfee89002aa8e5a7812dcbf2b1ee9073dc.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/fold-const.cc')
0 files changed, 0 insertions, 0 deletions