source: src/InitTweak/InitTweak.h@ f04a8b81

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor 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 f04a8b81 was dcd73d1, checked in by Rob Schluntz <rschlunt@…>, 9 years ago

add error checking for managed object's initializer depth

  • Property mode set to 100644
File size: 3.8 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// RemoveInit.h --
8//
9// Author : Rob Schluntz
10// Created On : Fri May 13 11:26:36 2016
11// Last Modified By : Rob Schluntz
12// Last Modified On : Fri May 13 11:35:36 2016
13// Update Count : 3
14//
15
16#ifndef INIT_TWEAK_H
17#define INIT_TWEAK_H
18
19#include <string>
20#include <list>
21
22#include "SynTree/SynTree.h"
23#include "SynTree/Declaration.h"
24#include "SynTree/Mutator.h"
25
26// helper functions for initialization
27namespace InitTweak {
28 bool isConstructor( const std::string & );
29 bool isDestructor( const std::string & );
30 bool isCtorDtor( const std::string & );
31
32 FunctionDecl * isCopyConstructor( Declaration * decl );
33
34 /// transform Initializer into an argument list that can be passed to a call expression
35 std::list< Expression * > makeInitList( Initializer * init );
36
37 /// True if the resolver should try to construct objDecl
38 bool tryConstruct( ObjectDecl * objDecl );
39
40 /// True if the Initializer contains designations
41 bool isDesignated( Initializer * init );
42
43 /// True if the ObjectDecl's Initializer nesting level is not deeper than the depth of its
44 /// type, where the depth of its type is the number of nested ArrayTypes + 1
45 bool checkInitDepth( ObjectDecl * objDecl );
46
47 /// Non-Null if expr is a call expression whose target function is intrinsic
48 ApplicationExpr * isIntrinsicCallExpr( Expression * expr );
49
50 /// True if stmt is a call statement where the function called is intrinsic and takes one parameter.
51 /// Intended to be used for default ctor/dtor calls, but might have use elsewhere.
52 /// Currently has assertions that make it less than fully general.
53 bool isIntrinsicSingleArgCallStmt( Statement * stmt );
54
55 /// True if stmt is a call statement where the function called is intrinsic.
56 bool isIntrinsicCallStmt( Statement * stmt );
57
58 /// get all Ctor/Dtor call expressions from a Statement
59 void collectCtorDtorCalls( Statement * stmt, std::list< Expression * > & matches );
60
61 /// get the Ctor/Dtor call expression from a Statement that looks like a generated ctor/dtor call
62 Expression * getCtorDtorCall( Statement * stmt );
63
64 /// returns the name of the function being called
65 std::string getFunctionName( Expression * expr );
66
67 /// returns the argument to a call expression in position N indexed from 0
68 Expression *& getCallArg( Expression * callExpr, unsigned int pos );
69
70 /// returns the base type of a PointerType or ArrayType, else returns NULL
71 Type * getPointerBase( Type * );
72
73 /// returns the argument if it is a PointerType or ArrayType, else returns NULL
74 Type * isPointerType( Type * );
75
76 /// returns true if expr is trivially a compile-time constant
77 bool isConstExpr( Expression * expr );
78 bool isConstExpr( Initializer * init );
79
80 class InitExpander {
81 public:
82 // expand by stepping through init to get each list of arguments
83 InitExpander( Initializer * init );
84
85 // always expand to expr
86 InitExpander( Expression * expr );
87
88 // iterator-like interface
89 std::list< Expression * > operator*();
90 InitExpander & operator++();
91
92 // builds statement which has the same semantics as a C-style list initializer
93 // (for array initializers) using callExpr as the base expression to perform initialization
94 Statement * buildListInit( UntypedExpr * callExpr );
95 void addArrayIndex( Expression * index, Expression * dimension );
96 void clearArrayIndices();
97
98 class ExpanderImpl;
99 private:
100 std::shared_ptr< ExpanderImpl > expander;
101 std::list< Expression * > cur;
102
103 // invariant: list of size 2N (elements come in pairs [index, dimension])
104 typedef std::list< Expression * > IndexList;
105 IndexList indices;
106 };
107} // namespace
108
109#endif // INITTWEAK_GENINIT_H
110
111// Local Variables: //
112// tab-width: 4 //
113// mode: c++ //
114// compile-command: "make install" //
115// End: //
Note: See TracBrowser for help on using the repository browser.