source: src/SynTree/CompoundStmt.cc @ 7543dec

ADTarm-ehast-experimentalcleanup-dtorsenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 7543dec was 7543dec, checked in by Rob Schluntz <rschlunt@…>, 6 years ago

Modify VarExprReplacer? to replace VariableExpr? with arbitrary expression

  • Property mode set to 100644
File size: 3.5 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//
[a5a71d0]7// XXX.cc --
[0dd3a2f]8//
9// Author           : Richard C. Bilson
10// Created On       : Mon May 18 07:44:20 2015
[a5a71d0]11// Last Modified By : Rob Schluntz
[d7903b1]12// Last Modified On : Mon May 02 15:19:17 2016
[de62360d]13// Update Count     : 3
[0dd3a2f]14//
[51b7345]15
[e3e16bc]16#include <cassert>                    // for assert, strict_dynamic_cast
[ea6332d]17#include <list>                       // for list, _List_const_iterator, lis...
18#include <ostream>                    // for operator<<, ostream, basic_ostream
19#include <string>                     // for operator==, string
20
21#include "Common/utility.h"           // for cloneAll, deleteAll, printAll
22#include "Declaration.h"              // for DeclarationWithType, Declaration
23#include "Statement.h"                // for CompoundStmt, Statement, DeclStmt
24#include "SynTree/Label.h"            // for Label
25#include "SynTree/VarExprReplacer.h"  // for VarExprReplacer, VarExprReplace...
[51b7345]26
[c11e31c]27using std::string;
28using std::endl;
[51b7345]29
[4bf5298]30CompoundStmt::CompoundStmt( std::list<Label> labels ) : Statement( labels ) {
[51b7345]31}
32
[a2dbad10]33CompoundStmt::CompoundStmt( std::list<Statement *> stmts ) : Statement( noLabels ), kids( stmts ) {
34}
35
[4bf5298]36CompoundStmt::CompoundStmt( const CompoundStmt &other ) : Statement( other ) {
[0dd3a2f]37        cloneAll( other.kids, kids );
[a5a71d0]38
[23bb1b9]39        // when cloning a compound statement, we may end up cloning declarations which
40        // are referred to by VariableExprs throughout the block. Cloning a VariableExpr
41        // does a shallow copy, so the VariableExpr will end up pointing to the original
42        // declaration. If the original declaration is deleted, e.g. because the original
43        // CompoundStmt is deleted, then we have a dangling pointer. To avoid this case,
44        // find all DeclarationWithType nodes (since a VariableExpr must point to a
45        // DeclarationWithType) in the original CompoundStmt and map them to the cloned
46        // node in the new CompoundStmt ('this'), then replace the Declarations referred to
47        // by each VariableExpr according to the constructed map. Note that only the declarations
48        // in the current level are collected into the map, because child CompoundStmts will
49        // recursively execute this routine. There may be more efficient ways of doing
50        // this.
51        VarExprReplacer::DeclMap declMap;
52        std::list< Statement * >::const_iterator origit = other.kids.begin();
53        for ( Statement * s : kids ) {
54                assert( origit != other.kids.end() );
55                Statement * origStmt = *origit++;
56                if ( DeclStmt * declStmt = dynamic_cast< DeclStmt * >( s ) ) {
[e3e16bc]57                        DeclStmt * origDeclStmt = strict_dynamic_cast< DeclStmt * >( origStmt );
[23bb1b9]58                        if ( DeclarationWithType * dwt = dynamic_cast< DeclarationWithType * > ( declStmt->get_decl() ) ) {
[e3e16bc]59                                DeclarationWithType * origdwt = strict_dynamic_cast< DeclarationWithType * > ( origDeclStmt->get_decl() );
[23bb1b9]60                                assert( dwt->get_name() == origdwt->get_name() );
[7543dec]61                                declMap[ origdwt ] = new VariableExpr( dwt );
[fc638d2]62                        } else assert( ! dynamic_cast< DeclarationWithType * > ( origDeclStmt->get_decl() ) );
63                } else assert( ! dynamic_cast< DeclStmt * > ( s ) );
[23bb1b9]64        }
65        if ( ! declMap.empty() ) {
66                VarExprReplacer replacer( declMap );
[7543dec]67                acceptMutator( replacer );
[23bb1b9]68        }
[51b7345]69}
70
[4bf5298]71CompoundStmt::~CompoundStmt() {
[0dd3a2f]72        deleteAll( kids );
[51b7345]73}
74
[50377a4]75void CompoundStmt::print( std::ostream &os, Indenter indent ) const {
76        os << "CompoundStmt" << endl;
77        printAll( kids, os, indent+1 );
[51b7345]78}
79
[0dd3a2f]80// Local Variables: //
81// tab-width: 4 //
82// mode: c++ //
83// compile-command: "make install" //
84// End: //
Note: See TracBrowser for help on using the repository browser.