Changes in src/CodeGen/CodeGenerator.cc [066d77a:486341f]

File:

• src/CodeGen/CodeGenerator.cc (modified) (4 diffs)

src/CodeGen/CodeGenerator.cc

@@ -307 +307 @@
                                                 } else {
                                                         // no address-of operator, so must be a pointer - add dereference
-                                                        // NOTE: if the assertion starts to trigger, check that the application expr isn't being shared.
-                                                        // Since its arguments are modified here, this assertion most commonly triggers when the application
-                                                        // is visited multiple times.
                                                         UntypedExpr * newExpr = new UntypedExpr( new NameExpr( "*?" ) );
                                                         newExpr->get_args().push_back( *arg );
-                                                        Type * type = InitTweak::getPointerBase( (*arg)->get_result() );
-                                                        assertf( type, "First argument to a derefence must be a pointer. Ensure that expressions are not being shared." );
-                                                        newExpr->set_result( type->clone() );
+                                                        assert( (*arg)->get_results().size() == 1 );
+                                                        Type * type = InitTweak::getPointerBase( (*arg)->get_results().front() );
+                                                        assert( type );
+                                                        newExpr->get_results().push_back( type->clone() );
                                                         *arg = newExpr;
                                                 } // if
@@ -529 +527 @@
                 extension( castExpr );
                 output << "(";
-                if ( castExpr->get_result()->isVoid() ) {
+                if ( castExpr->get_results().empty() ) {
                         output << "(void)" ;
-                } else if ( ! castExpr->get_result()->get_isLvalue() ) {
+                } else if ( ! castExpr->get_results().front()->get_isLvalue() ) {
                         // at least one result type of cast, but not an lvalue
                         output << "(";
-                        output << genType( castExpr->get_result(), "" );
+                        output << genType( castExpr->get_results().front(), "" );
                         output << ")";
                 } else {
@@ -642 +640 @@
         }
 
-        void CodeGenerator::visit( TupleExpr * tupleExpr ) { assert( false ); }
+        void CodeGenerator::visit( TupleExpr * tupleExpr ) {}
 
         void CodeGenerator::visit( TypeExpr * typeExpr ) {}
@@ -656 +654 @@
                 asmExpr->get_operand()->accept( *this );
                 output << " )";
-        }
-
-        void CodeGenerator::visit( CompoundLiteralExpr *compLitExpr ) {
-                assert( compLitExpr->get_type() && dynamic_cast< ListInit * > ( compLitExpr->get_initializer() ) );
-                output << "(" << genType( compLitExpr->get_type(), "" ) << ")";
-                compLitExpr->get_initializer()->accept( *this );
-        }
-
-        void CodeGenerator::visit( StmtExpr * stmtExpr ) {
-                std::list< Statement * > & stmts = stmtExpr->get_statements()->get_kids();
-                output << "({" << std::endl;
-                cur_indent += CodeGenerator::tabsize;
-                unsigned int numStmts = stmts.size();
-                unsigned int i = 0;
-                for ( Statement * stmt : stmts ) {
-                        output << indent << printLabels( stmt->get_labels() );
-                        if ( i+1 == numStmts ) {
-                                // last statement in a statement expression needs to be handled specially -
-                                // cannot cast to void, otherwise the expression statement has no value
-                                if ( ExprStmt * exprStmt = dynamic_cast< ExprStmt * >( stmt ) ) {
-                                        exprStmt->get_expr()->accept( *this );
-                                        output << ";" << endl;
-                                        ++i;
-                                        break;
-                                }
-                        }
-                        stmt->accept( *this );
-                        output << endl;
-                        if ( wantSpacing( stmt ) ) {
-                                output << endl;
-                        } // if
-                        ++i;
-                }
-                cur_indent -= CodeGenerator::tabsize;
-                output << indent << "})";
         }