Changeset 85a95cc for tests/linking

Timestamp:

Mar 13, 2023, 6:25:27 PM (22 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, ast-experimental, master

Children:

02b1ac6

Parents:

1cdc052

Message:

add test for problem with anonymous naming across compilation units

Location:

tests/linking/mangling

Files:

• .expect/anon.txt (added)
• header.hfa (modified) (1 diff)
• lib.cfa (modified) (1 diff)
• main.cfa (modified) (2 diffs)

tests/linking/mangling/header.hfa

@@ -8 +8 @@
 extern name_but_a_typedefed_t a_typedefed_global;
 
-extern struct /* anonymous */ {
-        int some_int;
-        int some_other_int;
-} a_global_with_no_type;
+// Must be extern C to prevent name mangling.
+extern "C" {
+        extern struct /* anonymous */ {
+                int some_int;
+                int some_other_int;
+        } a_global_with_no_type;
+}

tests/linking/mangling/lib.cfa

@@ -3 +3 @@
 name_but_a_typedefed_t a_typedefed_global;
 
-struct {
-        int some_int;
-        int some_other_int;
-} a_global_with_no_type;
+// Must be extern C to prevent name mangling.
+extern "C" {
+        // This declaration is necessary to create an instance of a_global_with_no_type.
+        // typeof is a trick to get a_global_with_no_type's type because its type is anonymous.
+        // Otherwise C generates conflicting types for a_global_with_no_type in .h and .c
+        // because C uses name equivalence and the two anonymous types cannot have the same name.
+        typeof(a_global_with_no_type) a_global_with_no_type;
+}

tests/linking/mangling/main.cfa

@@ -1 +1 @@
 #include <fstream.hfa>
 
-struct { int a; } test; //purposefully before the include
+static struct { int a; } test; // purposefully before the include to force anonymous name numbering
 
 #include "header.hfa"
@@ -13 +13 @@
 
         sout | "Done!";
-
-        return 0;
 }