diff options
| author | Steve Baird <baird@adacore.com> | 2020-08-18 17:38:21 -0700 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-22 08:11:25 -0400 |
| commit | 9a678fedcbabb69b3d44e9ef557709aecfffbeab (patch) | |
| tree | 087552c28a46b9505f709aa0018d017db031baa9 /gcc/tree-ssa-dom.c | |
| parent | d7a6aa4969869138117312ec48a2b995f8252793 (diff) | |
| download | gcc-9a678fedcbabb69b3d44e9ef557709aecfffbeab.zip gcc-9a678fedcbabb69b3d44e9ef557709aecfffbeab.tar.gz gcc-9a678fedcbabb69b3d44e9ef557709aecfffbeab.tar.bz2 | |
[Ada] Implement AI12-0280's interactions with container aggregates
gcc/ada/
* sem_util.adb (Is_Container_Aggregate): A new local predicates
which indicates whether a given expression is a container
aggregate. The implementation of this function is incomplete; in
the unusual case of a record aggregate (i.e., not a container
aggregate) of a type whose Aggregate aspect is specified, the
function will incorrectly return True.
(Immediate_Context_Implies_Is_Potentially_Unevaluated): Improve
handling of aggregate components.
(Is_Repeatedly_Evaluated): Test for container aggregate
components along with existing test for array aggregate
components.
Diffstat (limited to 'gcc/tree-ssa-dom.c')
0 files changed, 0 insertions, 0 deletions