source: src/SynTree/AddressExpr.cc@ 7d49b72

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since 7d49b72 was c5e3208, checked in by Rob Schluntz <rschlunt@…>, 8 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.