Changeset 37e3af4

Timestamp:

May 10, 2019, 2:48:09 PM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

1f93c2c

Parents:

04124c4

Message:

Check that no-one returns null from mutate and prevent macro from leaking

Location:

src/Common

Files:

• PassVisitor.impl.h (modified) (2 diffs)
• PassVisitor.proto.h (modified) (1 diff)

src/Common/PassVisitor.impl.h

@@ -168 +168 @@
 template< typename Container, typename pass_type >
 inline void maybeMutate_impl( Container & container, PassVisitor< pass_type > & mutator ) {
+
         if ( ! mutator.get_visit_children() ) return;
         SemanticErrorException errors;
@@ -217 +218 @@
                 try {
                         func( *i );
+                        assert( *i );
                         assert(( empty( beforeStmts ) && empty( afterStmts ))
                             || ( empty( beforeDecls ) && empty( afterDecls )) );

src/Common/PassVisitor.proto.h

@@ -222 +222 @@
 INDEXER_FUNC2( addWith   , std::list< Expression * > &, BaseSyntaxNode * );
 
+#undef INDEXER_FUNC1
+#undef INDEXER_FUNC2
 
 template<typename pass_type>