modula2: Ensure that module registration constructors are 'extern' [PR108183].
authorIain Sandoe <iain@sandoe.co.uk>
Wed, 21 Dec 2022 09:05:32 +0000 (09:05 +0000)
committerIain Sandoe <iain@sandoe.co.uk>
Sun, 1 Jan 2023 09:29:07 +0000 (09:29 +0000)
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>
gcc/m2/gm2-compiler/M2GCCDeclare.mod

index 7e814b6..d784fbc 100644 (file)
@@ -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