Changes in src/SynTree/Expression.cc [b4f8808:5d00425]

File:

• src/SynTree/Expression.cc (modified) (16 diffs)

src/SynTree/Expression.cc

@@ -19 +19 @@
 #include <iostream>                  // for ostream, operator<<, basic_ostream
 #include <list>                      // for list, _List_iterator, list<>::co...
-#include <set>                       // for set
 
 #include "Common/utility.h"          // for maybeClone, cloneAll, deleteAll
@@ -65 +64 @@
 
 bool Expression::get_lvalue() const {
+        assert( !result->get_lvalue() );
         return false;
 }
@@ -115 +115 @@
         assert( var->get_type() );
         Type * type = var->get_type()->clone();
+        type->set_lvalue( true );
 
         // xxx - doesn't quite work yet - get different alternatives with the same cost
@@ -124 +125 @@
         //      long long int value;
         //      if ( decl->valueOf( var, value ) ) {
-        //              type->set_lvalue( false ); // Would have to move to get_lvalue.
+        //              type->set_lvalue( false );
         //      }
         // }
@@ -139 +140 @@
 
 bool VariableExpr::get_lvalue() const {
-        // It isn't always an lvalue, but it is never an rvalue.
-        return true;
+        return result->get_lvalue();
 }
 
@@ -277 +277 @@
 
 bool CastExpr::get_lvalue() const {
-        // This is actually wrong by C, but it works with our current set-up.
-        return arg->get_lvalue();
+        return result->get_lvalue();
 }
 
@@ -361 +360 @@
 }
 
-bool UntypedMemberExpr::get_lvalue() const {
-        return aggregate->get_lvalue();
-}
-
 void UntypedMemberExpr::print( std::ostream & os, Indenter indent ) const {
         os << "Untyped Member Expression, with field: " << std::endl << indent+1;
@@ -383 +378 @@
         sub.apply( res );
         result = res;
+        result->set_lvalue( true );
         result->get_qualifiers() |= aggregate->result->get_qualifiers();
 }
@@ -396 +392 @@
 
 bool MemberExpr::get_lvalue() const {
-        // This is actually wrong by C, but it works with our current set-up.
+        assert( result->get_lvalue() );
         return true;
 }
@@ -431 +427 @@
                         // if references are still allowed in the AST, dereference returns a reference
                         ret->set_result( new ReferenceType( Type::Qualifiers(), ret->get_result() ) );
+                } else {
+                        // references have been removed, in which case dereference returns an lvalue of the base type.
+                        ret->result->set_lvalue( true );
                 }
         }
@@ -448 +447 @@
 
 bool UntypedExpr::get_lvalue() const {
-        // from src/GenPoly/Lvalue.cc: isIntrinsicReference
-        static std::set<std::string> lvalueFunctions = { "*?", "?[?]" };
-        std::string fname = InitTweak::getFunctionName( const_cast< UntypedExpr * >( this ) );
-        return lvalueFunctions.count(fname);
+        return result->get_lvalue();
 }
 
@@ -514 +510 @@
 
 bool ConditionalExpr::get_lvalue() const {
-        return false;
+        return result->get_lvalue();
 }
 
@@ -574 +570 @@
 
 bool ConstructorExpr::get_lvalue() const {
-        return false;
+        return result->get_lvalue();
 }
 
@@ -586 +582 @@
 CompoundLiteralExpr::CompoundLiteralExpr( Type * type, Initializer * initializer ) : initializer( initializer ) {
         assert( type && initializer );
+        type->set_lvalue( true );
         set_result( type );
 }
@@ -596 +593 @@
 
 bool CompoundLiteralExpr::get_lvalue() const {
+        assert( result->get_lvalue() );
         return true;
 }
@@ -650 +648 @@
 }
 bool StmtExpr::get_lvalue() const {
-        return false;
+        return result->get_lvalue();
 }
 void StmtExpr::print( std::ostream & os, Indenter indent ) const {