Changeset d1f5054 for src/GenPoly

Timestamp:

Aug 14, 2024, 11:55:20 AM (18 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master, stuck-waitfor-destruct

Children:

960665c

Parents:

26d40a1 (diff), 2870cb6 (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/GenPoly/Lvalue.cpp (modified) (3 diffs)

src/GenPoly/Lvalue.cpp

@@ -10 +10 @@
 // Created On       : Thu Sep 15 14:08:00 2022
 // Last Modified By : Andrew Beach
-// Last Modified On : Wed Oct  6  9:59:00 2022
-// Update Count     : 0
+// Last Modified On : Mon Aug 12 18:07:00 2024
+// Update Count     : 1
 //
 
@@ -119 +119 @@
 /// Replace all reference types with pointer types.
 struct ReferenceTypeElimination final {
+        ast::SizeofExpr const * previsit( ast::SizeofExpr const * expr );
+        ast::AlignofExpr const * previsit( ast::AlignofExpr const * expr );
         ast::Type const * postvisit( ast::ReferenceType const * type );
 };
@@ -603 +605 @@
 }
 
+ast::SizeofExpr const * ReferenceTypeElimination::previsit(
+                ast::SizeofExpr const * expr ) {
+        if ( expr->expr ) return expr;
+        return ast::mutate_field( expr, &ast::SizeofExpr::type,
+                expr->type->stripReferences() );
+}
+
+ast::AlignofExpr const * ReferenceTypeElimination::previsit(
+                ast::AlignofExpr const * expr ) {
+        if ( expr->expr ) return expr;
+        return ast::mutate_field( expr, &ast::AlignofExpr::type,
+                expr->type->stripReferences() );
+}
+
 ast::Type const * ReferenceTypeElimination::postvisit(
                 ast::ReferenceType const * type ) {