diff options
Diffstat (limited to 'gcc/ada/sem_ch12.adb')
| -rw-r--r-- | gcc/ada/sem_ch12.adb | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb index cbc8b4d..31c9293 100644 --- a/gcc/ada/sem_ch12.adb +++ b/gcc/ada/sem_ch12.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2011, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2012, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -5104,6 +5104,15 @@ package body Sem_Ch12 is then null; + -- No check needed if subprogram is a defaulted null procedure + + elsif No (Alias (E2)) + and then Ekind (E2) = E_Procedure + and then + Null_Present (Specification (Unit_Declaration_Node (E2))) + then + null; + -- Otherwise the actual in the formal and the actual in the -- instantiation of the formal must match, up to renamings. |