diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-03-29 15:42:31 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-15 04:04:17 -0400 |
| commit | ba621931790224d5d4c060fa7bdaa5763c3202a2 (patch) | |
| tree | 2cc411074f03acc7c8751bda5dc8166ef0415a30 /gcc/gimple-expr.c | |
| parent | 82a3008e56c620008b4575a97e459e2769df54db (diff) | |
| download | gcc-ba621931790224d5d4c060fa7bdaa5763c3202a2.zip gcc-ba621931790224d5d4c060fa7bdaa5763c3202a2.tar.gz gcc-ba621931790224d5d4c060fa7bdaa5763c3202a2.tar.bz2 | |
[Ada] Use uniform type resolution for membership tests
2020-06-15 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* sem_res.adb (Resolve_Set_Membership): Remove local variable.
In the non-overloaded case, call Intersect_Types on the left
operand and the first alternative to get the resolution type.
But test the subtype of the left operand to give the warning.
Diffstat (limited to 'gcc/gimple-expr.c')
0 files changed, 0 insertions, 0 deletions