Changes in src/ControlStruct/ExceptTranslate.cc [b2de2e0:66ba544]

File:

• src/ControlStruct/ExceptTranslate.cc (modified) (5 diffs)

src/ControlStruct/ExceptTranslate.cc

@@ -10 +10 @@
 // Created On       : Wed Jun 14 16:49:00 2017
 // Last Modified By : Andrew Beach
-// Last Modified On : Tue May 26 10:56:00 2020
-// Update Count     : 16
+// Last Modified On : Thr May 21 13:18:00 2020
+// Update Count     : 15
 //
 
@@ -107 +107 @@
                         nameOf( terminate_handler_except ),
                         new ConstantExpr( Constant::null(
-                                terminate_handler_except->get_type()->clone()
+                                //new PointerType(
+                                //      noQualifiers,
+                                        terminate_handler_except->get_type()->clone()
+                                //      )
                                 ) )
                         ) ) );
@@ -134 +137 @@
                 ObjectDecl * decl = dynamic_cast<ObjectDecl *>( catchStmt->get_decl() );
                 // Also checking the type would be nice.
-                if ( !decl || !dynamic_cast<PointerType *>( decl->type ) ) {
-                        std::string kind = (CatchStmt::Terminate == catchStmt->kind) ? "catch" : "catchResume";
-                        SemanticError( catchStmt->location, kind + " must have pointer to an exception type" );
+                if ( decl ) {
+                        // Pass.
+                } else if ( CatchStmt::Terminate == catchStmt->get_kind() ) {
+                        SemanticError(catchStmt->location, "catch must have exception type");
+                } else {
+                        SemanticError(catchStmt->location, "catchResume must have exception type");
                 }
 
@@ -226 +232 @@
 
                 void premutate( StructDecl *structDecl );
+                Statement * postmutate( ThrowStmt *throwStmt );
                 Statement * postmutate( TryStmt *tryStmt );
         };
@@ -614 +621 @@
         }
 
+        Statement * TryMutatorCore::postmutate( ThrowStmt * ) {
+                // All throws should be removed by this point.
+                assert( false );
+        }
+
         Statement * TryMutatorCore::postmutate( TryStmt *tryStmt ) {
                 assert( except_decl );