Changeset 478dade for src/main.cpp

Timestamp:

Sep 9, 2024, 6:30:08 AM (2 days ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

02101a4, d93b813

Parents:

29c8675 (diff), a933489b (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/main.cpp (modified) (2 diffs)

src/main.cpp

@@ -67 +67 @@
 #include "Tuples/Tuples.hpp"                // for expandMemberTuples, expan...
 #include "Validate/Autogen.hpp"             // for autogenerateRoutines
+#include "Validate/CheckAssertions.hpp"     // for checkAssertions
 #include "Validate/CompoundLiteral.hpp"     // for handleCompoundLiterals
 #include "Validate/EliminateTypedef.hpp"    // for eliminateTypedef
@@ -314 +315 @@
                 PASS( "Replace Typedefs", Validate::replaceTypedef, transUnit );
                 PASS( "Fix Return Types", Validate::fixReturnTypes, transUnit );
+                PASS( "Check Assertions", Validate::checkAssertions, transUnit );
                 PASS( "Enum and Pointer Decay", Validate::decayEnumsAndPointers, transUnit );