Changeset 72e76fd

Timestamp:

Jun 28, 2022, 3:07:04 PM (3 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, master, pthread-emulation, qualifiedEnum

Children:

d7af839

Parents:

43aec9e

Message:

Converted the last pass in validate B (linkReferenceToTypes). Cleaned up a related test.

Files:

• src/SymTab/Validate.cc (modified) (1 diff)
• src/Validate/LinkReferenceToTypes.cpp (added)
• src/Validate/LinkReferenceToTypes.hpp (added)
• src/Validate/module.mk (modified) (1 diff)
• src/main.cc (modified) (3 diffs)
• tests/enum_tests/structEnum.cfa (modified) (1 diff)

src/SymTab/Validate.cc

@@ -312 +312 @@
                         Stats::Heap::newPass("validate-B");
                         Stats::Time::BlockGuard guard("validate-B");
-                        //linkReferenceToTypes( translationUnit );
+                        linkReferenceToTypes( translationUnit ); // Must happen before auto-gen, because it uses the sized flag.
                         mutateAll( translationUnit, fixQual ); // must happen after LinkReferenceToTypes_old, because aggregate members are accessed
                         HoistStruct::hoistStruct( translationUnit );

src/Validate/module.mk

@@ -41 +41 @@
         Validate/LabelAddressFixer.cpp \
         Validate/LabelAddressFixer.hpp \
+        Validate/LinkReferenceToTypes.cpp \
+        Validate/LinkReferenceToTypes.hpp \
         Validate/NoIdSymbolTable.hpp \
         Validate/ReturnCheck.cpp \

src/main.cc

@@ -85 +85 @@
 #include "Validate/InitializerLength.hpp"   // for setLengthFromInitializer
 #include "Validate/LabelAddressFixer.hpp"   // for fixLabelAddresses
+#include "Validate/LinkReferenceToTypes.hpp" // for linkReferenceToTypes
 #include "Validate/ReturnCheck.hpp"         // for checkReturnStatements
 #include "Virtual/ExpandCasts.h"            // for expandCasts
@@ -333 +334 @@
                 PASS( "Validate-A", SymTab::validate_A( translationUnit ) );
 
-                // Must happen before auto-gen, because it uses the sized flag.
-                PASS( "Link Reference To Types", SymTab::linkReferenceToTypes( translationUnit ) );
-
                 CodeTools::fillLocations( translationUnit );
 
@@ -348 +346 @@
 
                         forceFillCodeLocations( transUnit );
+
+                        // Must happen before auto-gen, because it uses the sized flag.
+                        PASS( "Link Reference To Types", Validate::linkReferenceToTypes( transUnit ) );
 
                         // Must happen after Link References To Types,

tests/enum_tests/structEnum.cfa

@@ -24 +24 @@
 int main() {
     printf("%d %c\n", apple.x, apple.y);
-    // Failed; enumInstType is now not a real type and not instantiated. 
+    // Failed; enumInstType is now not a real type and not instantiated.
     // Not sure if we want that
     // printf("%d %c\n", second.x, second.y);
     return 0;
 }
-
-
-