Changeset 486caad for src/main.cc

Timestamp:

Mar 25, 2024, 7:15:30 PM (6 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

d734fa1

Parents:

df78cce (diff), bf050c5 (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.cc (modified) (2 diffs)

src/main.cc

@@ -101 +101 @@
 }
 
-// Helpers for checkInvariant:
-void checkInvariants( std::list< Declaration * > & ) {}
-using ast::checkInvariants;
-
 #define PASS( name, pass, unit, ... )       \
         if ( errorp ) { cerr << name << endl; } \
@@ -112 +108 @@
         Stats::Time::StopBlock();               \
         if ( invariant ) {                      \
-                checkInvariants(unit);              \
+                ast::checkInvariants(unit);         \
         }