Changeset 00675a1 for src/ControlStruct

Timestamp:

May 10, 2022, 12:25:05 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, master, pthread-emulation, qualifiedEnum

Children:

8faa6612

Parents:

3b80db8 (diff), 7edd5c1 (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/MultiLevelExit.cpp (modified) (1 diff)

src/ControlStruct/MultiLevelExit.cpp

@@ -594 +594 @@
                 }
 
+                // check if loop node and if so add else clause if it exists
+                const WhileDoStmt * whilePtr = dynamic_cast<const WhileDoStmt *>(kid.get());
+                if ( whilePtr && whilePtr->else_) ret.push_back(whilePtr->else_);
+                const ForStmt * forPtr = dynamic_cast<const ForStmt *>(kid.get());
+                if ( forPtr && forPtr->else_) ret.push_back(forPtr->else_);
+
                 if ( ! break_label.empty() ) {
                         ret.push_back( labelledNullStmt( ret.back()->location, break_label ) );