Changeset 7119daa

Timestamp:

May 22, 2020, 2:49:54 PM (5 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

f4530d7

Parents:

99fea48

Message:

More clean-up in ExceptTranslate.

Location:

src/ControlStruct

Files:

• ExceptTranslate.cc (modified) (3 diffs)
• ExceptTranslate.h (modified) (1 diff)

src/ControlStruct/ExceptTranslate.cc

@@ -107 +107 @@
                         nameOf( terminate_handler_except ),
                         new ConstantExpr( Constant::null(
-                                //new PointerType(
-                                //      noQualifiers,
-                                        terminate_handler_except->get_type()->clone()
-                                //      )
+                                terminate_handler_except->get_type()->clone()
                                 ) )
                         ) ) );
@@ -232 +229 @@
 
                 void premutate( StructDecl *structDecl );
-                Statement * postmutate( ThrowStmt *throwStmt );
                 Statement * postmutate( TryStmt *tryStmt );
         };
@@ -621 +617 @@
         }
 
-        Statement * TryMutatorCore::postmutate( ThrowStmt * ) {
-                // All throws should be removed by this point.
-                assert( false );
-        }
-
         Statement * TryMutatorCore::postmutate( TryStmt *tryStmt ) {
                 assert( except_decl );

src/ControlStruct/ExceptTranslate.h

@@ -29 +29 @@
         /* Replaces all try blocks (and their many clauses) with function definitions and calls.
          * This uses the exception built-ins to produce typed output and should take place after
-         * the resolver.
+         * the resolver. It also produces virtual casts and should happen before they are expanded.
          */
 }