Changes in src/SynTree/Expression.cc [42107b4:cdb990a]

File:

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

src/SynTree/Expression.cc

@@ -50 +50 @@
 }
 
+void Expression::spliceInferParams( Expression * other ) {
+        if ( ! other ) return;
+        for ( auto p : other->inferParams ) {
+                inferParams[p.first] = std::move( p.second );
+        }
+}
+
 Expression::~Expression() {
         delete env;
+        delete result;
 }
 
@@ -73 +81 @@
 ConstantExpr::ConstantExpr( const ConstantExpr &other) : Expression( other ), constant( other.constant ) {
 }
+
+ConstantExpr::~ConstantExpr() {}
 
 void ConstantExpr::print( std::ostream &os, Indenter indent ) const {
@@ -117 +127 @@
 }
 
+VariableExpr::~VariableExpr() {
+        // don't delete the declaration, since it points somewhere else in the tree
+}
+
 VariableExpr * VariableExpr::functionPointer( FunctionDecl * func ) {
         VariableExpr * funcExpr = new VariableExpr( func );
@@ -143 +157 @@
 }
 
+SizeofExpr::~SizeofExpr() {
+        delete expr;
+        delete type;
+}
+
 void SizeofExpr::print( std::ostream &os, Indenter indent) const {
         os << "Sizeof Expression on: ";
@@ -164 +183 @@
 }
 
+AlignofExpr::~AlignofExpr() {
+        delete expr;
+        delete type;
+}
+
 void AlignofExpr::print( std::ostream &os, Indenter indent) const {
         os << "Alignof Expression on: ";
@@ -179 +203 @@
 UntypedOffsetofExpr::UntypedOffsetofExpr( const UntypedOffsetofExpr &other ) :
         Expression( other ), type( maybeClone( other.type ) ), member( other.member ) {}
+
+UntypedOffsetofExpr::~UntypedOffsetofExpr() {
+        delete type;
+}
 
 void UntypedOffsetofExpr::print( std::ostream &os, Indenter indent) const {
@@ -196 +224 @@
         Expression( other ), type( maybeClone( other.type ) ), member( other.member ) {}
 
+OffsetofExpr::~OffsetofExpr() {
+        delete type;
+}
+
 void OffsetofExpr::print( std::ostream &os, Indenter indent) const {
         os << "Offsetof Expression on member " << member->name << " of ";
@@ -209 +241 @@
 OffsetPackExpr::OffsetPackExpr( const OffsetPackExpr &other ) : Expression( other ), type( maybeClone( other.type ) ) {}
 
+OffsetPackExpr::~OffsetPackExpr() { delete type; }
+
 void OffsetPackExpr::print( std::ostream &os, Indenter indent ) const {
         os << "Offset pack expression on ";
@@ -225 +259 @@
 AttrExpr::AttrExpr( const AttrExpr &other ) :
                 Expression( other ), attr( maybeClone( other.attr ) ), expr( maybeClone( other.expr ) ), type( maybeClone( other.type ) ), isType( other.isType ) {
+}
+
+AttrExpr::~AttrExpr() {
+        delete attr;
+        delete expr;
+        delete type;
 }
 
@@ -247 +287 @@
 
 CastExpr::CastExpr( const CastExpr &other ) : Expression( other ), arg( maybeClone( other.arg ) ), isGenerated( other.isGenerated ) {
+}
+
+CastExpr::~CastExpr() {
+        delete arg;
 }
 
@@ -268 +312 @@
 }
 
+KeywordCastExpr::~KeywordCastExpr() {
+        delete arg;
+}
+
 const std::string & KeywordCastExpr::targetString() const {
         static const std::string targetStrs[] = {
@@ -292 +340 @@
 
 VirtualCastExpr::VirtualCastExpr( const VirtualCastExpr &other ) : Expression( other ), arg( maybeClone( other.arg ) ) {
+}
+
+VirtualCastExpr::~VirtualCastExpr() {
+        delete arg;
 }
 
@@ -316 +368 @@
 }
 
+UntypedMemberExpr::~UntypedMemberExpr() {
+        delete aggregate;
+        delete member;
+}
+
 void UntypedMemberExpr::print( std::ostream &os, Indenter indent ) const {
         os << "Untyped Member Expression, with field: " << std::endl << indent+1;
@@ -342 +399 @@
 }
 
+MemberExpr::~MemberExpr() {
+        // don't delete the member declaration, since it points somewhere else in the tree
+        delete aggregate;
+}
+
 void MemberExpr::print( std::ostream &os, Indenter indent ) const {
         os << "Member Expression, with field: " << std::endl;
@@ -357 +419 @@
                 Expression( other ), function( maybeClone( other.function ) ) {
         cloneAll( other.args, args );
+}
+
+UntypedExpr::~UntypedExpr() {
+        delete function;
+        deleteAll( args );
 }
 
@@ -405 +472 @@
 }
 
+NameExpr::~NameExpr() {}
+
 void NameExpr::print( std::ostream &os, Indenter indent ) const {
         os << "Name: " << get_name();
@@ -417 +486 @@
 LogicalExpr::LogicalExpr( const LogicalExpr &other ) :
                 Expression( other ), arg1( maybeClone( other.arg1 ) ), arg2( maybeClone( other.arg2 ) ), isAnd( other.isAnd ) {
+}
+
+LogicalExpr::~LogicalExpr() {
+        delete arg1;
+        delete arg2;
 }
 
@@ -432 +506 @@
 ConditionalExpr::ConditionalExpr( const ConditionalExpr &other ) :
                 Expression( other ), arg1( maybeClone( other.arg1 ) ), arg2( maybeClone( other.arg2 ) ), arg3( maybeClone( other.arg3 ) ) {
+}
+
+ConditionalExpr::~ConditionalExpr() {
+        delete arg1;
+        delete arg2;
+        delete arg3;
 }
 
@@ -469 +549 @@
 ImplicitCopyCtorExpr::~ImplicitCopyCtorExpr() {
         set_env( nullptr ); // ImplicitCopyCtorExpr does not take ownership of an environment
+        delete callExpr;
+        deleteAll( tempDecls );
+        deleteAll( returnDecls );
+        deleteAll( dtors );
 }
 
@@ -493 +577 @@
 }
 
+ConstructorExpr::~ConstructorExpr() {
+        delete callExpr;
+}
+
 void ConstructorExpr::print( std::ostream &os, Indenter indent ) const {
         os <<  "Constructor Expression: " << std::endl << indent+1;
@@ -507 +595 @@
 
 CompoundLiteralExpr::CompoundLiteralExpr( const CompoundLiteralExpr &other ) : Expression( other ), initializer( other.initializer->clone() ) {}
+
+CompoundLiteralExpr::~CompoundLiteralExpr() {
+        delete initializer;
+}
 
 void CompoundLiteralExpr::print( std::ostream &os, Indenter indent ) const {
@@ -533 +625 @@
         cloneAll( other.dtors, dtors );
 }
+StmtExpr::~StmtExpr() {
+        delete statements;
+        deleteAll( dtors );
+        deleteAll( returnDecls );
+}
 void StmtExpr::computeResult() {
         assert( statements );
         std::list< Statement * > & body = statements->kids;
+        delete result;
         result = nullptr;
         if ( ! returnDecls.empty() ) {
@@ -578 +676 @@
 UniqueExpr::UniqueExpr( const UniqueExpr &other ) : Expression( other ), expr( maybeClone( other.expr ) ), object( maybeClone( other.object ) ), var( maybeClone( other.var ) ), id( other.id ) {
 }
-
+UniqueExpr::~UniqueExpr() {
+        delete expr;
+        delete object;
+        delete var;
+}
 void UniqueExpr::print( std::ostream &os, Indenter indent ) const {
         os << "Unique Expression with id:" << id << std::endl << indent+1;
@@ -591 +693 @@
 InitAlternative::InitAlternative( Type * type, Designation * designation ) : type( type ), designation( designation ) {}
 InitAlternative::InitAlternative( const InitAlternative & other ) : type( maybeClone( other.type ) ), designation( maybeClone( other.designation ) ) {}
+InitAlternative::~InitAlternative() {
+        delete type;
+        delete designation;
+}
 
 UntypedInitExpr::UntypedInitExpr( Expression * expr, const std::list<InitAlternative> & initAlts ) : expr( expr ), initAlts( initAlts ) {}
 UntypedInitExpr::UntypedInitExpr( const UntypedInitExpr & other ) : Expression( other ), expr( maybeClone( other.expr ) ), initAlts( other.initAlts ) {}
+UntypedInitExpr::~UntypedInitExpr() {
+        delete expr;
+}
 
 void UntypedInitExpr::print( std::ostream & os, Indenter indent ) const {
@@ -611 +720 @@
 }
 InitExpr::InitExpr( const InitExpr & other ) : Expression( other ), expr( maybeClone( other.expr ) ), designation( maybeClone( other.designation) ) {}
+InitExpr::~InitExpr() {
+        delete expr;
+        delete designation;
+}
 
 void InitExpr::print( std::ostream & os, Indenter indent ) const {
@@ -624 +737 @@
 }
 DeletedExpr::DeletedExpr( const DeletedExpr & other ) : Expression( other ), expr( maybeClone( other.expr ) ), deleteStmt( other.deleteStmt ) {}
+DeletedExpr::~DeletedExpr() {
+        delete expr;
+}
 
 void DeletedExpr::print( std::ostream & os, Indenter indent ) const {