diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2021-01-14 17:54:05 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-05-06 03:51:20 -0400 |
| commit | c2f94a898f16d790e21533a6e0d345c23dd379a0 (patch) | |
| tree | b8670e74409b7cff80753b552d4c1ecb292f6769 /gcc/tree-ssa-phiopt.c | |
| parent | afab03da75f6b5e11087738d71aeb8c3efa40f1c (diff) | |
| download | gcc-c2f94a898f16d790e21533a6e0d345c23dd379a0.zip gcc-c2f94a898f16d790e21533a6e0d345c23dd379a0.tar.gz gcc-c2f94a898f16d790e21533a6e0d345c23dd379a0.tar.bz2 | |
[Ada] Crash on if_expression used as index of discriminant-dependent array
gcc/ada/
* sem_res.adb (Resolve_If_Expression): If the context of the
expression is an indexed_component, resolve the expression and
its dependent_expressions with the base type of the index, to
ensure that an index check is generated when resolving the
enclosing indexxed_component, and avoid an improper use of
discriminants out of scope, when the index type is
discriminant-dependent.
Diffstat (limited to 'gcc/tree-ssa-phiopt.c')
0 files changed, 0 insertions, 0 deletions