[gcc r13-4943] modula2: Ensure that module registration constructors are 'extern' [PR108183].

[gcc r13-4943] modula2: Ensure that module registration constructors are 'extern' [PR108183].

[Iain D Sandoe]

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

commit r13-4943-gd423e8dc59045d8f281dcb1a02559cb6f91456bf
Author: Iain Sandoe <iain@sandoe.co.uk>
Date:   Wed Dec 21 09:05:32 2022 +0000

    modula2: Ensure that module registration constructors are 'extern' [PR108183].
    
    The symbols for module registration constructors need to be external
    or we get wrong code generated for targets that allow direct access to
    local symbol definitions.
    
    Signed-off-by: Iain Sandoe <iain@sandoe.co.uk>
    
            PR modula2/108183
    
    gcc/m2/ChangeLog:
    
            * gm2-compiler/M2GCCDeclare.mod: Module registration constructors are
            externs to the builder of m2_link.
    
    Co-Authored-By: Gaius Mulley <gaiusmod2@gmail.com>

Diff:
---
 gcc/m2/gm2-compiler/M2GCCDeclare.mod | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/gcc/m2/gm2-compiler/M2GCCDeclare.mod b/gcc/m2/gm2-compiler/M2GCCDeclare.mod
index 7e814b631ee..d784fbc40de 100644
--- a/gcc/m2/gm2-compiler/M2GCCDeclare.mod
+++ b/gcc/m2/gm2-compiler/M2GCCDeclare.mod
@@ -2294,6 +2294,11 @@ PROCEDURE IsExternal (sym: CARDINAL) : BOOLEAN ;
 VAR
    mod: CARDINAL ;
 BEGIN
+   Assert (NOT IsDefImp (sym)) ;
+   IF IsProcedure (sym) AND IsExtern (sym)
+   THEN
+     RETURN TRUE
+   END ;
    mod := GetScope(sym) ;
    REPEAT
       IF mod=NulSym