Changes in src/AST/Expr.hpp [ae265b55:99da267]

File:

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

src/AST/Expr.hpp

@@ -50 +50 @@
 
         ParamEntry() : decl( 0 ), declptr( nullptr ), actualType( nullptr ), formalType( nullptr ), expr( nullptr ) {}
-        ParamEntry(
-                UniqueId id, const Decl * declptr, const Type * actual, const Type * formal,
+        ParamEntry( 
+                UniqueId id, const Decl * declptr, const Type * actual, const Type * formal, 
                 const Expr * e )
         : decl( id ), declptr( declptr ), actualType( actual ), formalType( formal ), expr( e ) {}
@@ -115 +115 @@
                         case Empty: new(&data.resnSlots) ResnSlots{}; mode = Slots; // fallthrough
                         case Slots: return data.resnSlots;
-                        case Params: assertf(false, "Cannot return to resnSlots from Params"); abort();
+                        case Params: assert(!"Cannot return to resnSlots from Params");
                         }
-                        assertf(false, "unreachable");
+                        return *((ResnSlots*)nullptr);
                 }
 
@@ -124 +124 @@
                                 return data.resnSlots;
                         }
-                        assertf(false, "Mode was not already resnSlots");
-                        abort();
+                        assert(!"Mode was not already resnSlots");
+                        return *((ResnSlots*)nullptr);
                 }
 
@@ -134 +134 @@
                         case Params: return data.inferParams;
                         }
-                        assertf(false, "unreachable");
+                        assert(!"unreachable");
+                        return *((InferredParams*)nullptr);
                 }
 
@@ -141 +142 @@
                                 return data.inferParams;
                         }
-                        assertf(false, "Mode was not already Params");
-                        abort();
+                        assert(!"Mode was not already Params");
+                        return *((InferredParams*)nullptr);
                 }
 
                 void set_inferParams( InferredParams && ps ) {
                         switch(mode) {
-                        case Slots:
+                        case Slots: 
                                 data.resnSlots.~ResnSlots();
                                 // fallthrough
-                        case Empty:
+                        case Empty: 
                                 new(&data.inferParams) InferredParams{ std::move( ps ) };
                                 mode = Params;
@@ -174 +175 @@
                                         data.inferParams[p.first] = std::move(p.second);
                                 }
-                        } else assertf(false, "invalid mode");
+                        } else assert(!"invalid mode");
                 }
         };
@@ -358 +359 @@
         MemberExpr * clone() const override { return new MemberExpr{ *this }; }
         MUTATE_FRIEND
-
-        // Custructor overload meant only for AST conversion
-        enum NoOpConstruction { NoOpConstructionChosen };
-        MemberExpr( const CodeLocation & loc, const DeclWithType * mem, const Expr * agg,
-            NoOpConstruction overloadSelector );
-        friend class ::ConverterOldToNew;
-        friend class ::ConverterNewToOld;
 };
 
@@ -393 +387 @@
 
         ConstantExpr(
-                const CodeLocation & loc, const Type * ty, const std::string & r,
+                const CodeLocation & loc, const Type * ty, const std::string & r, 
                         std::optional<unsigned long long> i )
         : Expr( loc, ty ), rep( r ), ival( i ) {}
@@ -779 +773 @@
 public:
         ptr<Expr> expr;
-        readonly<Decl> deleteStmt;
-
-        DeletedExpr( const CodeLocation & loc, const Expr * e, const Decl * del )
+        readonly<Node> deleteStmt;
+
+        DeletedExpr( const CodeLocation & loc, const Expr * e, const Node * del )
         : Expr( loc, e->result ), expr( e ), deleteStmt( del ) { assert( expr->result ); }