Changeset 462a7c7 for src/SynTree/ApplicationExpr.cc
- Timestamp:
- Jun 14, 2019, 11:56:12 AM (5 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 120a28c3
- Parents:
- 21300d7
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/SynTree/ApplicationExpr.cc
r21300d7 r462a7c7 28 28 #include "Type.h" // for Type, PointerType, FunctionType 29 29 30 ParamEntry::ParamEntry( UniqueId decl, Declaration * declptr, Type * actualType, Type * formalType, Expression* expr ) 31 : decl( decl ), declptr( declptr ), actualType( actualType ), formalType( formalType ), expr( expr ) { 32 } 33 30 34 ParamEntry::ParamEntry( const ParamEntry &other ) : 31 decl( other.decl ), declptr( maybeClone( other.declptr ) ), actualType( maybeClone( other.actualType ) ), formalType( maybeClone( other.formalType ) ), expr( maybeClone( other.expr ) )/*, inferParams( new InferredParams( *other.inferParams ) )*/ { 32 } 33 34 ParamEntry &ParamEntry::operator=( const ParamEntry &other ) { 35 if ( &other == this ) return *this; 36 const_cast<UniqueId &>(decl) = other.decl; 37 const_cast<Declaration * &>(declptr) = maybeClone( other.declptr ); 38 // xxx - this looks like a memory leak 39 const_cast<Type * &>(actualType) = maybeClone( other.actualType ); 40 const_cast<Type * &>(formalType) = maybeClone( other.formalType ); 41 expr = maybeClone( other.expr ); 42 // *inferParams = *other.inferParams; 43 return *this; 35 decl( other.decl ), declptr( maybeClone( other.declptr ) ), actualType( maybeClone( other.actualType ) ), formalType( maybeClone( other.formalType ) ), expr( maybeClone( other.expr ) ) { 44 36 } 45 37 … … 52 44 53 45 ParamEntry::ParamEntry( ParamEntry && other ) : 54 decl( other.decl ), declptr( other.declptr ), actualType( other.actualType ), formalType( other.formalType ), expr( other.expr )/*, inferParams( std::move( other.inferParams ) )*/ { 55 const_cast<Declaration * &>(other.declptr) = nullptr; 56 const_cast<Type * &>(other.actualType) = nullptr; 57 const_cast<Type * &>(other.formalType) = nullptr; 58 other.expr = nullptr; 46 decl( other.decl ), declptr( other.declptr ), actualType( other.actualType ), formalType( other.formalType ), expr( other.expr ) { 47 new (&other) ParamEntry(); 59 48 } 60 49 61 50 ParamEntry & ParamEntry::operator=( ParamEntry && other ) { 62 51 if ( &other == this ) return *this; 63 delete declptr; 64 delete actualType; 65 delete formalType; 66 delete expr; 67 const_cast<UniqueId &>(decl) = other.decl; 68 const_cast<Declaration * &>(declptr) = other.declptr; 69 const_cast<Type * &>(actualType) = other.actualType; 70 const_cast<Type * &>(formalType) = other.formalType; 71 expr = other.expr; 72 const_cast<Declaration * &>(other.declptr) = nullptr; 73 const_cast<Type * &>(other.actualType) = nullptr; 74 const_cast<Type * &>(other.formalType) = nullptr; 75 other.expr = nullptr; 76 // inferParams = std::move( other.inferParams ); 52 this->~ParamEntry(); 53 new (this) ParamEntry(other.decl, other.declptr, other.actualType, other.formalType, other.expr); 54 new (&other) ParamEntry(); 55 77 56 return *this; 78 57 }
Note: See TracChangeset
for help on using the changeset viewer.