Changeset 3c6e417 for src/ResolvExpr/Resolver.cc

Timestamp:

Jun 20, 2019, 1:45:01 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

54dd994

Parents:

1e5dedc4 (diff), c0f9efe (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/ResolvExpr/Resolver.cc (modified) (1 diff)

src/ResolvExpr/Resolver.cc

@@ -1249 +1249 @@
 
         void resolve( std::list< ast::ptr<ast::Decl> >& translationUnit ) {
-                ast::Pass<Resolver_new> resolver;
+                ast::Pass< Resolver_new > resolver;
                 accept_all( translationUnit, resolver );
+        }
+
+        ast::ptr< ast::Expr > resolveStmtExpr( 
+                const ast::StmtExpr * stmtExpr, const ast::SymbolTable & symtab 
+        ) {
+                assert( stmtExpr );
+                ast::Pass< Resolver_new > resolver{ symtab };
+                ast::ptr< ast::Expr > ret = stmtExpr;
+                ret = ret->accept( resolver );
+                strict_dynamic_cast< ast::StmtExpr * >( ret.get_and_mutate() )->computeResult();
+                return ret;
         }