source: src/InitTweak/FixInit.cc @ 5b40f30

aaron-thesisarm-ehcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since 5b40f30 was 5b40f30, checked in by Rob Schluntz <rschlunt@…>, 6 years ago

generate correct empty list initializer, ensure function return value is not incorrectly destructed before it is returned, do not add src parameter to autogenerated routines when they take a single argument

  • Property mode set to 100644
File size: 3.2 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// FixInit.h --
8//
9// Author           : Rob Schluntz
10// Created On       : Wed Jan 13 16:29:30 2016
11// Last Modified By : Rob Schluntz
12// Last Modified On : Tue Jan 19 16:36:59 2016
13// Update Count     : 30
14//
15
16#include <stack>
17#include <list>
18#include "RemoveInit.h"
19#include "SynTree/Declaration.h"
20#include "SynTree/Type.h"
21#include "SynTree/Expression.h"
22#include "SynTree/Statement.h"
23#include "SynTree/Initializer.h"
24#include "SynTree/Mutator.h"
25#include "GenPoly/PolyMutator.h"
26
27namespace InitTweak {
28        namespace {
29                const std::list<Label> noLabels;
30        }
31
32        class FixInit : public GenPoly::PolyMutator {
33          public:
34                static void fixInitializers( std::list< Declaration * > &translationUnit );
35
36                virtual ObjectDecl * mutate( ObjectDecl *objDecl );
37
38                virtual CompoundStmt * mutate( CompoundStmt * compoundStmt );
39        };
40
41        void fix( std::list< Declaration * > & translationUnit ) {
42                FixInit::fixInitializers( translationUnit );
43        }
44
45        void FixInit::fixInitializers( std::list< Declaration * > & translationUnit ) {
46                FixInit fixer;
47                mutateAll( translationUnit, fixer );
48        }
49
50        ObjectDecl *FixInit::mutate( ObjectDecl *objDecl ) {
51                if ( ConstructorInit * ctorInit = dynamic_cast< ConstructorInit * >( objDecl->get_init() ) ) {
52                        // a decision should have been made by the resolver, so ctor and init are not both non-NULL
53                        assert( ! ctorInit->get_ctor() || ! ctorInit->get_init() );
54                        if ( Expression * ctor = ctorInit->get_ctor() ) {
55                                ExprStmt * ctorStmt = new ExprStmt( noLabels, ctor );
56                                stmtsToAddAfter.push_back( ctorStmt );
57                                objDecl->set_init( NULL );
58                                ctorInit->set_ctor( NULL );
59                        } else if ( Initializer * init = ctorInit->get_init() ) {
60                                objDecl->set_init( init );
61                                ctorInit->set_init( NULL );
62                        } else {
63                                // no constructor and no initializer, which is okay
64                                objDecl->set_init( NULL );
65                        }
66                        delete ctorInit;
67                }
68                return objDecl;
69        }
70
71        CompoundStmt * FixInit::mutate( CompoundStmt * compoundStmt ) {
72                std::list< Statement * > & statements = compoundStmt->get_kids();
73                for ( std::list< Statement * >::iterator it = statements.begin(); it != statements.end(); ) {
74                        // remove if instrinsic destructor statement
75                        // xxx - test user manually calling intrinsic functions - what happens?
76                        if ( ExprStmt * exprStmt = dynamic_cast< ExprStmt * >( *it ) ) {
77                                if ( ApplicationExpr * appExpr = dynamic_cast< ApplicationExpr * >( exprStmt->get_expr() ) ) {
78                                        if ( VariableExpr * function = dynamic_cast< VariableExpr * >( appExpr->get_function() ) ) {
79                                                // check for Intrinsic only - don't want to remove all overridable dtors because autogenerated dtor
80                                                // will call all member dtors, and some members may have a user defined dtor.
81                                                if ( function->get_var()->get_name() == "^?{}" && function->get_var()->get_linkage() == LinkageSpec::Intrinsic ) {
82                                                        statements.erase(it++);
83                                                        continue;
84                                                } else {
85                                                }
86                                        }
87                                }
88                        }
89                        ++it;
90                }
91                // mutate non-destructor statements
92                return PolyMutator::mutate( compoundStmt );
93        }
94
95} // namespace InitTweak
96
97// Local Variables: //
98// tab-width: 4 //
99// mode: c++ //
100// compile-command: "make install" //
101// End: //
Note: See TracBrowser for help on using the repository browser.