Changeset 8a930c03 for src/Validate/ReplaceTypedef.cpp

Timestamp:

Jun 12, 2023, 12:05:58 PM (2 years ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

fec8bd1

Parents:

2b78949 (diff), 38e266ca (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/Validate/ReplaceTypedef.cpp (modified) (2 diffs)

src/Validate/ReplaceTypedef.cpp

@@ -16 +16 @@
 #include "ReplaceTypedef.hpp"
 
+#include "AST/Copy.hpp"
 #include "AST/Pass.hpp"
 #include "Common/ScopedMap.h"
@@ -149 +150 @@
                 // constant/enumerator. The effort required to fix this corner case
                 // likely outweighs the utility of allowing it.
-                if ( !ResolvExpr::typesCompatible( t0, t1, ast::SymbolTable() )
+                if ( !ResolvExpr::typesCompatible( t0, t1 )
                                 || ast::Pass<VarLenChecker>::read( t0 )
                                 || ast::Pass<VarLenChecker>::read( t1 ) ) {