[gcc r12-2218] [Ada] par-ch6: do not mark subprogram as missing "is" if imported

[gcc r12-2218] [Ada] par-ch6: do not mark subprogram as missing "is" if imported

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:d35d546a7fcaf7e48e8d15abb8428d1e0b618948

commit r12-2218-gd35d546a7fcaf7e48e8d15abb8428d1e0b618948
Author: Ghjuvan Lacambre <lacambre@adacore.com>
Date:   Thu Jun 17 10:01:33 2021 +0200

    [Ada] par-ch6: do not mark subprogram as missing "is" if imported
    
    gcc/ada/
    
            * par-ch6.adb (Contains_Import_Aspect): New function.
            (P_Subprogram): Acknowledge `Import` aspects.

Diff:
---
 gcc/ada/par-ch6.adb | 26 +++++++++++++++++++++++++-
 1 file changed, 25 insertions(+), 1 deletion(-)

diff --git a/gcc/ada/par-ch6.adb b/gcc/ada/par-ch6.adb
index e3b315564d2..be85d093d1f 100644
--- a/gcc/ada/par-ch6.adb
+++ b/gcc/ada/par-ch6.adb
@@ -201,6 +201,28 @@ package body Ch6 is
    --  Error recovery: cannot raise Error_Resync
 
    function P_Subprogram (Pf_Flags : Pf_Rec) return Node_Id is
+
+      function Contains_Import_Aspect (Aspects : List_Id) return Boolean;
+      --  Return True if Aspects contains an Import aspect.
+
+      ----------------------------
+      -- Contains_Import_Aspect --
+      ----------------------------
+
+      function Contains_Import_Aspect (Aspects : List_Id) return Boolean is
+         Aspect : Node_Id := First (Aspects);
+      begin
+         while Present (Aspect) loop
+            if Chars (Identifier (Aspect)) = Name_Import then
+               return True;
+            end if;
+
+            Next (Aspect);
+         end loop;
+
+         return False;
+      end Contains_Import_Aspect;
+
       Specification_Node : Node_Id;
       Name_Node          : Node_Id;
       Aspects            : List_Id;
@@ -982,10 +1004,12 @@ package body Ch6 is
          if Pf_Flags.Pbod
 
            --  Disconnect this processing if we have scanned a null procedure
-           --  because in this case the spec is complete anyway with no body.
+           --  or an Import aspect because in this case the spec is complete
+           --  anyway with no body.
 
            and then (Nkind (Specification_Node) /= N_Procedure_Specification
                       or else not Null_Present (Specification_Node))
+           and then not Contains_Import_Aspect (Aspects)
          then
             SIS_Labl := Scopes (Scope.Last).Labl;
             SIS_Sloc := Scopes (Scope.Last).Sloc;