Changeset 14c0f7b for src/main.cc

Timestamp:

Jul 31, 2023, 11:25:51 AM (10 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

f496046

Parents:

e0332dd

Message:

Added invariant to check that referenced declarations are in scope. This one took a while, I don't remember why forall pointer decay is involved.

File:

• src/main.cc (modified) (3 diffs)

src/main.cc

@@ -334 +334 @@
                 PASS( "Link Reference To Types", Validate::linkReferenceToTypes, transUnit );
 
+                PASS( "Forall Pointer Decay", Validate::decayForallPointers, transUnit );
                 PASS( "Fix Qualified Types", Validate::fixQualifiedTypes, transUnit );
                 PASS( "Eliminate Typedef", Validate::eliminateTypedef, transUnit );
@@ -342 +343 @@
                 PASS( "Fix Return Statements", InitTweak::fixReturnStatements, transUnit );
                 PASS( "Implement Concurrent Keywords", Concurrency::implementKeywords, transUnit );
-                PASS( "Forall Pointer Decay", Validate::decayForallPointers, transUnit );
+                PASS( "Fix Unique Ids", Validate::fixUniqueIds, transUnit );
                 PASS( "Hoist Control Declarations", ControlStruct::hoistControlDecls, transUnit );
 
@@ -369 +370 @@
                 PASS( "Translate Throws", ControlStruct::translateThrows, transUnit );
                 PASS( "Fix Labels", ControlStruct::fixLabels, transUnit );
-        PASS( "Implement Waituntil", Concurrency::generateWaitUntil, transUnit  );
+                PASS( "Implement Waituntil", Concurrency::generateWaitUntil, transUnit  );
                 PASS( "Fix Names", CodeGen::fixNames, transUnit );
                 PASS( "Gen Init", InitTweak::genInit, transUnit );