diff options
Diffstat (limited to 'gcc/ada/sem_disp.adb')
| -rw-r--r-- | gcc/ada/sem_disp.adb | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/ada/sem_disp.adb b/gcc/ada/sem_disp.adb index 7e0da64df67..7e64d98cd67 100644 --- a/gcc/ada/sem_disp.adb +++ b/gcc/ada/sem_disp.adb @@ -2262,6 +2262,14 @@ package body Sem_Disp is then return; + -- When expansion is suppressed, an unexpanded call to 'Input can occur, + -- and in that case we can simply return. + + elsif Nkind (Actual) = N_Attribute_Reference then + pragma Assert (Attribute_Name (Actual) = Name_Input); + + return; + -- Only other possibilities are parenthesized or qualified expression, -- or an expander-generated unchecked conversion of a function call to -- a stream Input attribute. |