source: src/SynTree/Initializer.cc@ b58a5772

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 b58a5772 was 837a17c, checked in by Thierry Delisle <tdelisle@…>, 9 years ago

elminated multiple memory leaks of expressions

  • Property mode set to 100644
File size: 3.9 KB
RevLine 
[0dd3a2f]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//
[974906e2]7// Initializer.cc --
[0dd3a2f]8//
9// Author : Richard C. Bilson
10// Created On : Mon May 18 07:44:20 2015
[d58ebf3]11// Last Modified By : Rob Schluntz
[d668182]12// Last Modified On : Fri May 13 13:23:03 2016
[71f4e4f]13// Update Count : 28
[0dd3a2f]14//
15
[51b73452]16#include "Initializer.h"
17#include "Expression.h"
[5b2f5bb]18#include "Statement.h"
[d3b7937]19#include "Common/utility.h"
[51b73452]20
[974906e2]21Initializer::Initializer( bool maybeConstructed ) : maybeConstructed( maybeConstructed ) {}
[70f89d00]22Initializer::Initializer( const Initializer & other ) : maybeConstructed( other.maybeConstructed ) {
23}
24
[51b73452]25
[d9a0e76]26Initializer::~Initializer() {}
[51b73452]27
28std::string Initializer::designator_name( Expression *des ) {
[0dd3a2f]29 if ( NameExpr *n = dynamic_cast<NameExpr *>(des) )
30 return n->get_name();
31 else
32 throw 0;
[51b73452]33}
34
[d9a0e76]35void Initializer::print( std::ostream &os, int indent ) {}
[51b73452]36
[620cb95]37SingleInit::SingleInit( Expression *v, const std::list< Expression *> &_designators, bool maybeConstructed ) : Initializer( maybeConstructed ), value ( v ), designators( _designators ) {
[51b73452]38}
39
[a5a71d0]40SingleInit::SingleInit( const SingleInit &other ) : Initializer(other), value ( maybeClone( other.value ) ) {
[0dd3a2f]41 cloneAll(other.designators, designators );
[51b73452]42}
43
[70f89d00]44SingleInit::~SingleInit() {
[837a17c]45 delete value;
[70f89d00]46 deleteAll(designators);
47}
[51b73452]48
[d9a0e76]49void SingleInit::print( std::ostream &os, int indent ) {
[d58ebf3]50 os << std::endl << std::string(indent, ' ' ) << "Simple Initializer: " << std::endl;
[60089f4]51 os << std::string(indent+4, ' ' );
[d58ebf3]52 value->print( os, indent+4 );
[0dd3a2f]53
54 if ( ! designators.empty() ) {
[bb8ea30]55 os << std::endl << std::string(indent + 2, ' ' ) << "designated by: " << std::endl;
[d58ebf3]56 for ( std::list < Expression * >::iterator i = designators.begin(); i != designators.end(); i++ ) {
[bb8ea30]57 os << std::string(indent + 4, ' ' );
[0dd3a2f]58 ( *i )->print(os, indent + 4 );
[d58ebf3]59 }
[0dd3a2f]60 } // if
[51b73452]61}
62
[5b40f30]63ListInit::ListInit( const std::list<Initializer*> &_initializers, const std::list<Expression *> &_designators, bool maybeConstructed )
[70f89d00]64 : Initializer( maybeConstructed ), initializers( _initializers ), designators( _designators ) {
[51b73452]65}
66
[70f89d00]67ListInit::~ListInit() {
68 deleteAll( initializers );
69 deleteAll( designators );
[51b73452]70}
71
[d9a0e76]72void ListInit::print( std::ostream &os, int indent ) {
[974906e2]73 os << std::endl << std::string(indent, ' ') << "Compound initializer: ";
[0dd3a2f]74 if ( ! designators.empty() ) {
75 os << std::string(indent + 2, ' ' ) << "designated by: [";
76 for ( std::list < Expression * >::iterator i = designators.begin();
77 i != designators.end(); i++ ) {
[974906e2]78 ( *i )->print(os, indent + 4 );
[0dd3a2f]79 } // for
[974906e2]80
[0dd3a2f]81 os << std::string(indent + 2, ' ' ) << "]";
82 } // if
[51b73452]83
[974906e2]84 for ( std::list<Initializer *>::iterator i = initializers.begin(); i != initializers.end(); i++ )
[0dd3a2f]85 (*i)->print( os, indent + 2 );
[51b73452]86}
[71f4e4f]87
88
[f1b1e4c]89ConstructorInit::ConstructorInit( Statement * ctor, Statement * dtor, Initializer * init ) : Initializer( true ), ctor( ctor ), dtor( dtor ), init( init ) {}
90ConstructorInit::ConstructorInit( const ConstructorInit &other ) : Initializer( other ), ctor( maybeClone( other.ctor ) ), dtor( maybeClone( other.dtor ) ), init( maybeClone( other.init ) ) {
[70f89d00]91}
92
[71f4e4f]93ConstructorInit::~ConstructorInit() {
94 delete ctor;
[70f89d00]95 delete dtor;
[71f4e4f]96 delete init;
97}
98
99void ConstructorInit::print( std::ostream &os, int indent ) {
[84bb4d9]100 os << std::endl << std::string(indent, ' ') << "Constructor initializer: " << std::endl;
[71f4e4f]101 if ( ctor ) {
[84bb4d9]102 os << std::string(indent+2, ' ');
103 os << "initially constructed with ";
104 ctor->print( os, indent+4 );
[71f4e4f]105 } // if
106
[5b2f5bb]107 if ( dtor ) {
[84bb4d9]108 os << std::string(indent+2, ' ');
109 os << "destructed with ";
110 dtor->print( os, indent+4 );
[5b2f5bb]111 }
112
[71f4e4f]113 if ( init ) {
[84bb4d9]114 os << std::string(indent+2, ' ');
115 os << "with fallback C-style initializer: ";
116 init->print( os, indent+4 );
[71f4e4f]117 }
118}
119
[7a69460]120std::ostream & operator<<( std::ostream & out, Initializer * init ) {
121 init->print( out );
122 return out;
123}
[71f4e4f]124
[0dd3a2f]125// Local Variables: //
126// tab-width: 4 //
127// mode: c++ //
128// compile-command: "make install" //
129// End: //
Note: See TracBrowser for help on using the repository browser.