Changes in src/AST/Expr.hpp [7870799:b8524ca]

File:

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

src/AST/Expr.hpp

@@ -47 +47 @@
 
         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 +112 @@
                         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");
                         }
+                        return *((ResnSlots*)nullptr);
                 }
 
@@ -120 +121 @@
                                 return data.resnSlots;
                         }
-                        assertf(false, "Mode was not already resnSlots");
-                        abort();
+                        assert(!"Mode was not already resnSlots");
+                        return *((ResnSlots*)nullptr);
                 }
 
@@ -130 +131 @@
                         case Params: return data.inferParams;
                         }
-                        assertf(false, "unreachable");
+                        assert(!"unreachable");
+                        return *((InferredParams*)nullptr);
                 }
 
@@ -137 +139 @@
                                 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;
@@ -170 +172 @@
                                         data.inferParams[p.first] = std::move(p.second);
                                 }
-                        } else assertf(false, "invalid mode");
+                        } else assert(!"invalid mode");
                 }
         };
@@ -382 +384 @@
 
         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 ) {}