Changeset 76b48f1

Timestamp:

Sep 15, 2015, 1:58:27 PM (10 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc

Children:

18387ef, c8fcda2

Parents:

32a1e5fd

Message:

drop cast when the result type is an lvalue type

File:

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

src/CodeGen/CodeGenerator.cc

@@ -10 +10 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Fri Sep 11 12:59:09 2015
-// Update Count     : 223
+// Last Modified On : Tue Sep 15 13:55:27 2015
+// Update Count     : 230
 //
 
@@ -322 +322 @@
               
                                   case OT_CALL:
+                                  case OT_CTOR:
+                                  case OT_DTOR:
                                         assert( false );
                                         break;
@@ -392 +394 @@
 
         void CodeGenerator::visit( CastExpr *castExpr ) {
-                output << "((";
-                if ( castExpr->get_results().empty() ) {
-                        output << "void" ;
-                } else {
-                        output << genType( castExpr->get_results().front(), "" );
-                } // if
-                output << ")";
-                castExpr->get_arg()->accept( *this );
-                output << ")";
+                // if the cast is to an lvalue type, then the cast
+                // should be dropped, since the result of a cast is
+                // never an lvalue in C
+                if ( castExpr->get_results().front()->get_isLvalue() ) {
+                        castExpr->get_arg()->accept( *this );
+                } else {
+                        output << "((";
+                        if ( castExpr->get_results().empty() ) {
+                                output << "void" ;
+                        } else {
+                                output << genType( castExpr->get_results().front(), "" );
+                        } // if
+                        output << ")";
+                        castExpr->get_arg()->accept( *this );
+                        output << ")";                  
+                }
         }