Changeset ce36b55 for src/InitTweak

Timestamp:

Nov 15, 2021, 2:51:44 PM (3 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, master, pthread-emulation, qualifiedEnum

Children:

1387ea0

Parents:

5dcb881

Message:

Translation of Validate F; and some improvements in some helpers.

File:

• src/InitTweak/FixInitNew.cpp (modified) (2 diffs)

src/InitTweak/FixInitNew.cpp

@@ -591 +591 @@
                 // need to add __Destructor for _tmp_cp variables as well
 
-                assertf( ast::dtorStruct && ast::dtorStruct->members.size() == 2, "Destructor generation requires __Destructor definition." );
+                assertf( ast::dtorStruct, "Destructor generation requires __Destructor definition." );
+                assertf( ast::dtorStruct->members.size() == 2, "__Destructor definition does not have expected fields." );
                 assertf( ast::dtorStructDestroy, "Destructor generation requires __destroy_Destructor." );
 
@@ -1216 +1217 @@
 
                                                         static UniqueName memberDtorNamer = { "__memberDtor" };
-                                                        assertf( Validate::dtorStruct, "builtin __Destructor not found." );
-                                                        assertf( Validate::dtorStructDestroy, "builtin __destroy_Destructor not found." );
+                                                        assertf( ast::dtorStruct, "builtin __Destructor not found." );
+                                                        assertf( ast::dtorStructDestroy, "builtin __destroy_Destructor not found." );
 
                                                         ast::Expr * thisExpr = new ast::CastExpr( new ast::AddressExpr( new ast::VariableExpr(loc, thisParam ) ), new ast::PointerType( new ast::VoidType(), ast::CV::Qualifiers() ) );