diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2022-02-09 17:16:09 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-12 12:38:36 +0000 |
| commit | 9da379f1c220740c236ccfe223af5b435fe72284 (patch) | |
| tree | 4ce3a8e74d4ccd34afdd0b7f7a21d11a8b523178 /gcc/ada/fe.h | |
| parent | bcbf83ec10e2ef19d01372ce21fefb3deb3ee8e6 (diff) | |
| download | gcc-9da379f1c220740c236ccfe223af5b435fe72284.zip gcc-9da379f1c220740c236ccfe223af5b435fe72284.tar.gz gcc-9da379f1c220740c236ccfe223af5b435fe72284.tar.bz2 | |
[Ada] Plug loophole in Possible_Type_For_Conditional_Expression
We need to check that the designated subprograms of access-to-subprogram
types are subtype conformant before registering a common interpretation.
gcc/ada/
* sem_ch4.adb (Possible_Type_For_Conditional_Expression): Add
test for subtype conformance in the cases of
access-to-subprogram types.
Diffstat (limited to 'gcc/ada/fe.h')
0 files changed, 0 insertions, 0 deletions