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

File:

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

src/AST/Expr.hpp

@@ -30 +30 @@
 
 // Must be included in *all* AST classes; should be #undef'd at the end of the file
-#define MUTATE_FRIEND template<typename node_t> friend node_t * mutate(const node_t * node);
+#define MUTATE_FRIEND \
+    template<typename node_t> friend node_t * mutate(const node_t * node); \
+        template<typename node_t> friend node_t * shallowCopy(const node_t * node);
+
 
 class ConverterOldToNew;
@@ -47 +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 ) {}
@@ -112 +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);
                 }
 
@@ -121 +124 @@
                                 return data.resnSlots;
                         }
-                        assertf(false, "Mode was not already resnSlots");
-                        abort();
+                        assert(!"Mode was not already resnSlots");
+                        return *((ResnSlots*)nullptr);
                 }
 
@@ -131 +134 @@
                         case Params: return data.inferParams;
                         }
-                        assertf(false, "unreachable");
+                        assert(!"unreachable");
+                        return *((InferredParams*)nullptr);
                 }
 
@@ -138 +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;
@@ -171 +175 @@
                                         data.inferParams[p.first] = std::move(p.second);
                                 }
-                        } else assertf(false, "invalid mode");
+                        } else assert(!"invalid mode");
                 }
         };
@@ -383 +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 ) {}
@@ -769 +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 ); }