Changeset 97f8f0f

Timestamp:

Aug 12, 2024, 6:47:39 PM (5 weeks ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

dee680c

Parents:

8492b85

Message:

Implemented special case of sizeof/alignof, where reference types are ignored for these operations.

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