Changeset dee680c

Timestamp:

Aug 13, 2024, 9:17:26 AM (4 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

4941716

Parents:

f9b42bd (diff), 97f8f0f (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

Files:

• src/GenPoly/Lvalue.cpp (modified) (3 diffs)
• tests/.expect/sizeof.txt (added)
• tests/sizeof.cfa (added)

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 ) {