Changeset 379b6ea for src/InitTweak

Timestamp:

Mar 26, 2025, 9:42:02 AM (9 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

30bf6bf, b1c220a

Parents:

8ef0bf7 (diff), 446dde5 (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/InitTweak/FixInit.cpp (modified) (2 diffs)

src/InitTweak/FixInit.cpp

@@ -697 +697 @@
         assert( stmtExpr->result );
         if ( stmtExpr->result->isVoid() ) {
-                assert( stmtExpr->returnDecls.empty() );
-                assert( stmtExpr->dtors.empty() );
-
                 return stmtExpr;
         }
@@ -747 +744 @@
         // if there is a return decl, add a use as the last statement; will not have return decl on non-constructable returns
         stmts.push_back( new ast::ExprStmt(loc, new ast::VariableExpr(loc, ret ) ) );
-
-        assert( stmtExpr->returnDecls.empty() );
-        assert( stmtExpr->dtors.empty() );
 
         return stmtExpr;