Changeset 7f2bfb7 for src/ControlStruct/ExceptTranslateNew.cpp

Timestamp:

Nov 29, 2023, 1:41:52 PM (13 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

4dc3b8c

Parents:

4f1b2d69 (diff), ab9c1b3 (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/ExceptTranslateNew.cpp (modified) (5 diffs)

src/ControlStruct/ExceptTranslateNew.cpp

@@ -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