Changeset b6f2e7ab for src/AST/Expr.hpp

Timestamp:

Sep 9, 2024, 5:15:32 PM (37 hours ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

f5dbc8d

Parents:

5c6d439

Message:

Removed SizeofExpr::expr and AlignofExpr::expr, expressions that would be stored there are wrapped in TypeofType? and stored in the type field. Some special cases to hide the typeof in code generation were added. In addition, initializer length is calculated in more cases so that the full type of more arrays is known sooner. Other than that, most of the code changes were just stripping out the conditional code and checks no longer needed. Some tests had to be updated, because the typeof is not hidden in dumps and the resolver replaces known typeof expressions with the type. The extension case caused some concern but it appears that just hides warnings in the expression which no longer exists.

File:

• src/AST/Expr.hpp (modified) (2 diffs)

src/AST/Expr.hpp

@@ -480 +480 @@
 class SizeofExpr final : public Expr {
 public:
+        ptr<Type> type;
+
+        SizeofExpr( const CodeLocation & loc, const Type * t );
+
+        const Expr * accept( Visitor & v ) const override { return v.visit( this ); }
+private:
+        SizeofExpr * clone() const override { return new SizeofExpr{ *this }; }
+        MUTATE_FRIEND
+};
+
+class CountExpr final : public Expr {
+public:
         ptr<Expr> expr;
         ptr<Type> type;
 
-        SizeofExpr( const CodeLocation & loc, const Expr * e );
-        SizeofExpr( const CodeLocation & loc, const Type * t );
-        // deliberately no disambiguating overload for nullptr_t
-
-        const Expr * accept( Visitor & v ) const override { return v.visit( this ); }
-private:
-        SizeofExpr * clone() const override { return new SizeofExpr{ *this }; }
-        MUTATE_FRIEND
-};
-
-class CountExpr final : public Expr {
-public:
-        ptr<Expr> expr;
-        ptr<Type> type;
-
         CountExpr( const CodeLocation & loc, const Expr * t );
         CountExpr( const CodeLocation & loc, const Type * t );
@@ -510 +507 @@
 class AlignofExpr final : public Expr {
 public:
-        ptr<Expr> expr;
         ptr<Type> type;
 
-        AlignofExpr( const CodeLocation & loc, const Expr * e );
         AlignofExpr( const CodeLocation & loc, const Type * t );
-        // deliberately no disambiguating overload for nullptr_t
 
         const Expr * accept( Visitor & v ) const override { return v.visit( this ); }