Changes in src/AST/Expr.cpp [ee574a2:20a5977]

File:

• src/AST/Expr.cpp (modified) (5 diffs)

src/AST/Expr.cpp

@@ -64 +64 @@
                         // references have been removed, in which case dereference returns an lvalue of the
                         // base type
-                        ret->result = base;
-                        add_qualifiers( ret->result, CV::Lvalue );
+                        ret->result.set_and_mutate( base )->set_lvalue( true );
                 }
         }
@@ -165 +164 @@
         genericSubsitution( aggregate->result ).apply( result );
         // ensure lvalue and appropriate restrictions from aggregate type
-        add_qualifiers( result, aggregate->result->qualifiers | CV::Lvalue );
+        result.get_and_mutate()->qualifiers |= aggregate->result->qualifiers | CV::Lvalue;
 }
 
@@ -174 +173 @@
         assert( var );
         assert( var->get_type() );
-        result = var->get_type();
-        add_qualifiers( result, CV::Lvalue );
+        result.set_and_mutate( var->get_type() )->set_lvalue( true );
 }
 
@@ -308 +306 @@
 : Expr( loc ), init( i ) {
         assert( t && i );
-        result = t;
-        add_qualifiers( result, CV::Lvalue );
+        result.set_and_mutate( t )->set_lvalue( true );
 }
 
@@ -325 +322 @@
                 "index %d in expr %s", type->size(), index, toString( tuple ).c_str() );
         // like MemberExpr, TupleIndexExpr is always an lvalue
-        result = type->types[ index ];
-        add_qualifiers( result, CV::Lvalue );
+        result.set_and_mutate( type->types[ index ] )->set_lvalue( true );
 }