Changeset 81da3da4 for src/ControlStruct/ExceptTranslate.cpp

Timestamp:

Dec 11, 2023, 4:18:13 AM (22 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

21ce2c7, 2554f24

Parents:

5ddb8bf (diff), 1c85ffc (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/ControlStruct/ExceptTranslate.cpp (moved) (moved from src/ControlStruct/ExceptTranslateNew.cpp ) (7 diffs)

src/ControlStruct/ExceptTranslate.cpp

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// ExceptTranslateNew.cpp -- Conversion of exception control flow structures.
+// ExceptTranslate.cpp -- Conversion of exception control flow structures.
 //
 // Author           : Andrew Beach
@@ -26 +26 @@
 namespace {
 
-        typedef std::list<ast::CatchClause*> CatchList;
-
-        void appendDeclStmt( ast::CompoundStmt * block, ast::DeclWithType * item ) {
-                block->push_back(new ast::DeclStmt(block->location, item));
-        }
+typedef std::list<ast::CatchClause*> CatchList;
+
+void appendDeclStmt( ast::CompoundStmt * block, ast::DeclWithType * item ) {
+        block->push_back( new ast::DeclStmt( block->location, item ) );
+}
 
 class TranslateThrowsCore final : public ast::WithGuards {
@@ -253 +253 @@
                 location,
                 "try",
-                {}, //forall
                 {}, //no param
                 {}, //no return
@@ -267 +266 @@
                 location,
                 "catch",
-                {}, //forall
                 { make_index_object( location ), make_exception_object( location ) },
                 {}, //return void
@@ -281 +279 @@
                 location,
                 "match",
-                {}, //forall
                 { make_exception_object( location ) },
                 { make_unused_index_object( location ) },
@@ -295 +292 @@
                 location,
                 "handle",
-                {}, //forall
                 { make_exception_object( location ) },
                 { make_bool_object( location ) },
@@ -309 +305 @@
                 location,
                 "finally",
-                {}, //forall
                 { make_voidptr_object( location ) },
                 {}, //return void