source: src/SynTree/AddressExpr.cc @ c5e3208

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since c5e3208 was c5e3208, checked in by Rob Schluntz <rschlunt@…>, 6 years ago

Properly assign types to AddressExpr?

  • Property mode set to 100644
File size: 2.1 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// AddressExpr.cc --
8//
9// Author           : Richard C. Bilson
10// Created On       : Sun May 17 23:54:44 2015
11// Last Modified By : Rob Schluntz
12// Last Modified On : Tue Apr 26 12:35:13 2016
13// Update Count     : 6
14//
15
16#include "Expression.h"
17#include "Type.h"
18#include "Common/utility.h"
19
20// Address expressions are typed based on the following inference rules:
21//    E : lvalue T  &..& (n references)
22//   &E :        T *&..& (n references)
23//
24//    E : T  &..&        (m references)
25//   &E : T *&..&        (m-1 references)
26//
27// That is, lvalues becomes
28
29namespace {
30        Type * addrType( Type * type ) {
31                if ( ReferenceType * refType = dynamic_cast< ReferenceType * >( type ) ) {
32                        return new ReferenceType( refType->get_qualifiers(), addrType( refType->get_base() ) );
33                } else {
34                        return new PointerType( Type::Qualifiers(), type->clone() );
35                }
36        }
37}
38
39AddressExpr::AddressExpr( Expression *arg, Expression *_aname ) : Expression( _aname ), arg( arg ) {
40        if ( arg->has_result() ) {
41                if ( arg->get_result()->get_lvalue() ) {
42                        // lvalue, retains all layers of reference and gains a pointer inside the references
43                        set_result( addrType( arg->get_result() ) );
44                } else {
45                        // taking address of non-lvalue -- must be a reference, loses one layer of reference
46                        ReferenceType * refType = safe_dynamic_cast< ReferenceType * >( arg->get_result() );
47                        set_result( addrType( refType->get_base() ) );
48                }
49                // result of & is never an lvalue
50                get_result()->set_lvalue( false );
51        }
52}
53
54AddressExpr::AddressExpr( const AddressExpr &other ) : Expression( other ), arg( maybeClone( other.arg ) ) {
55}
56
57AddressExpr::~AddressExpr() {
58        delete arg;
59}
60
61void AddressExpr::print( std::ostream &os, int indent ) const {
62        os << "Address of:" << std::endl;
63        if ( arg ) {
64                os << std::string( indent+2, ' ' );
65                arg->print( os, indent+2 );
66        } // if
67}
68
69// Local Variables: //
70// tab-width: 4 //
71// mode: c++ //
72// compile-command: "make install" //
73// End: //
Note: See TracBrowser for help on using the repository browser.