Changes in / [ae4038d:bd098ea]
- Files:
-
- 3 added
- 143 edited
Legend:
- Unmodified
- Added
- Removed
-
src/CodeGen/CodeGenerator.h
rae4038d rbd098ea 20 20 #include <string> // for string 21 21 22 #include "Common/Indenter.h" // for Indenter 22 23 #include "SynTree/Declaration.h" // for DeclarationWithType (ptr only), Fun... 23 24 #include "SynTree/Visitor.h" // for Visitor 24 25 #include "SynTree/SynTree.h" // for Visitor Nodes 25 26 #include "Common/Indenter.h" // for Indenter27 26 28 27 namespace CodeGen { -
src/CodeTools/TrackLoc.cc
rae4038d rbd098ea 18 18 #include <cstdlib> // for exit, EXIT_FAILURE 19 19 #include <iostream> // for operator<<, ostream, basic_ostream 20 #include <iterator> // for back_inserter, inserter 20 21 #include <stack> // for stack 21 22 #include <string> // for operator<<, string … … 23 24 24 25 #include "Common/PassVisitor.h" // for PassVisitor 26 #include "Common/SemanticError.h" // for SemanticError 25 27 #include "Common/utility.h" // for CodeLocation 26 28 #include "SynTree/BaseSyntaxNode.h" // for BaseSyntaxNode 29 #include "SynTree/Mutator.h" // for mutateAll 30 #include "SynTree/Visitor.h" // for acceptAll 27 31 28 32 class Declaration; -
src/Common/PassVisitor.h
rae4038d rbd098ea 1 1 #pragma once 2 3 // IWYU pragma: private, include "Common/PassVisitor.h" 2 4 3 5 #include <stack> -
src/Common/utility.h
rae4038d rbd098ea 27 27 28 28 #include <cassert> 29 29 30 template< typename T > 30 31 static inline T * maybeClone( const T *orig ) { -
src/ControlStruct/ExceptTranslate.cc
rae4038d rbd098ea 15 15 16 16 #include "ExceptTranslate.h" 17 #include "Common/PassVisitor.h" 18 #include "SynTree/Statement.h" 19 #include "SynTree/Declaration.h" 20 #include "SynTree/Expression.h" 21 #include "SynTree/Type.h" 22 #include "SynTree/Attribute.h" 23 #include "SynTree/VarExprReplacer.h" 17 18 #include <stddef.h> // for NULL 19 #include <cassert> // for assert, assertf 20 #include <iterator> // for back_inserter, inserter 21 #include <string> // for string, operator== 22 23 #include "Common/PassVisitor.h" // for PassVisitor, WithGuards 24 #include "Common/SemanticError.h" // for SemanticError 25 #include "Common/utility.h" // for CodeLocation 26 #include "Parser/LinkageSpec.h" // for Cforall 27 #include "SynTree/Attribute.h" // for Attribute 28 #include "SynTree/Constant.h" // for Constant 29 #include "SynTree/Declaration.h" // for ObjectDecl, FunctionDecl, Struc... 30 #include "SynTree/Expression.h" // for UntypedExpr, ConstantExpr, Name... 31 #include "SynTree/Initializer.h" // for SingleInit, ListInit 32 #include "SynTree/Label.h" // for Label, noLabels 33 #include "SynTree/Mutator.h" // for mutateAll 34 #include "SynTree/Statement.h" // for CompoundStmt, CatchStmt, ThrowStmt 35 #include "SynTree/Type.h" // for FunctionType, Type, noQualifiers 36 #include "SynTree/VarExprReplacer.h" // for VarExprReplacer, VarExprReplace... 37 #include "SynTree/Visitor.h" // for acceptAll 24 38 25 39 namespace ControlStruct { -
src/ControlStruct/ExceptTranslate.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <list> 19 #include "SynTree/SynTree.h" 18 #include <list> // for list 19 20 class Declaration; 20 21 21 22 namespace ControlStruct { -
src/ControlStruct/ForExprMutator.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "SynTree/Mutator.h"17 #include "SynTree/Statement.h" 16 #include <list> // for list, _List_iterator, list<>::iterator 17 18 18 #include "ForExprMutator.h" 19 #include "SynTree/Label.h" // for Label 20 #include "SynTree/Statement.h" // for Statement (ptr only), ForStmt, Compou... 19 21 20 22 namespace ControlStruct { -
src/ControlStruct/ForExprMutator.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include "SynTree/Mutator.h" 19 #include "Common/utility.h" 18 class ForStmt; 19 class Statement; 20 20 21 21 namespace ControlStruct { -
src/ControlStruct/LabelFixer.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <list> 17 #include <cassert> 16 #include <cassert> // for assert 17 #include <list> // for list, _List_iterator, list... 18 #include <string> // for operator+, string, operator== 19 #include <utility> // for pair 18 20 21 #include "ControlStruct/LabelGenerator.h" // for LabelGenerator 19 22 #include "LabelFixer.h" 20 #include "MLEMutator.h" 21 #include "SynTree/Expression.h" 22 #include "SynTree/Statement.h" 23 #include "SynTree/Declaration.h" 24 #include "Common/utility.h" 25 26 #include <iostream> 23 #include "MLEMutator.h" // for MLEMutator 24 #include "SynTree/Declaration.h" // for FunctionDecl 25 #include "SynTree/Expression.h" // for NameExpr, Expression, Unty... 26 #include "SynTree/Statement.h" // for Statement, BranchStmt, Com... 27 27 28 28 namespace ControlStruct { -
src/ControlStruct/LabelFixer.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include "Common/utility.h" 19 #include "SynTree/SynTree.h" 20 #include "SynTree/Visitor.h" 21 #include "SynTree/Label.h" 22 #include "LabelGenerator.h" 23 #include <map> 18 #include <list> // for list 19 #include <map> // for map 20 21 #include "Common/SemanticError.h" // for SemanticError 22 #include "SynTree/Label.h" // for Label 23 #include "SynTree/Visitor.h" // for Visitor 24 #include "SynTree/SynTree.h" // for Visitor Nodes 24 25 25 26 namespace ControlStruct { 26 27 /// normalizes label definitions and generates multi-level exit labels 28 class LabelGenerator; 29 27 30 class LabelFixer final : public Visitor { 28 31 typedef Visitor Parent; -
src/ControlStruct/LabelGenerator.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <iostream> 17 #include < sstream>16 #include <iostream> // for operator<<, basic_ostream, ostringstream 17 #include <list> // for list 18 18 19 19 #include "LabelGenerator.h" 20 #include "SynTree/ Label.h"21 #include "SynTree/ Attribute.h"22 #include "SynTree/Statement.h" 20 #include "SynTree/Attribute.h" // for Attribute 21 #include "SynTree/Label.h" // for Label, operator<< 22 #include "SynTree/Statement.h" // for Statement 23 23 24 24 namespace ControlStruct { -
src/ControlStruct/LabelGenerator.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include "SynTree/SynTree.h" 19 #include <string> 18 #include <string> // for string 19 20 #include "SynTree/Label.h" // for Label 21 22 class Statement; 20 23 21 24 namespace ControlStruct { -
src/ControlStruct/MLEMutator.cc
rae4038d rbd098ea 20 20 // where these labels are generated. 21 21 22 #include <cassert> 23 #include <algorithm> 24 22 #include <ext/alloc_traits.h> // for __alloc_traits<>::value_type 23 #include <algorithm> // for find, find_if 24 #include <cassert> // for assert, assertf 25 #include <memory> // for allocator_traits<>::value_... 26 27 #include "Common/utility.h" // for toString, operator+ 28 #include "ControlStruct/LabelGenerator.h" // for LabelGenerator 25 29 #include "MLEMutator.h" 26 #include "SynTree/ Statement.h"27 #include "SynTree/Expression.h" 28 #include "SynTree/ Attribute.h"30 #include "SynTree/Attribute.h" // for Attribute 31 #include "SynTree/Expression.h" // for Expression 32 #include "SynTree/Statement.h" // for BranchStmt, CompoundStmt 29 33 30 34 namespace ControlStruct { -
src/ControlStruct/MLEMutator.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <map> 19 #include <list> 18 #include <list> // for list 19 #include <map> // for map 20 #include <string> // for string 20 21 21 #include "Common/utility.h" 22 #include "SynTree/SynTree.h" 23 #include "SynTree/Mutator.h" 24 #include "SynTree/Label.h" 25 26 #include "LabelGenerator.h" 22 #include "Common/SemanticError.h" // for SemanticError 23 #include "SynTree/Label.h" // for Label 24 #include "SynTree/Mutator.h" // for Mutator 25 #include "SynTree/SynTree.h" // for Visitor Nodes 27 26 28 27 namespace ControlStruct { 28 class LabelGenerator; 29 29 30 class MLEMutator : public Mutator { 30 31 class Entry; 32 31 33 typedef Mutator Parent; 32 34 public: -
src/ControlStruct/Mutate.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <algorithm> 17 #include <iostream> 18 #include <cassert> 19 #include <list> 16 #include <iterator> // for back_inserter, inserter 17 #include <list> // for list 20 18 19 #include "Common/PassVisitor.h" // for mutateAll 20 #include "Common/SemanticError.h" // for SemanticError 21 #include "ForExprMutator.h" // for ForExprMutator 22 #include "LabelFixer.h" // for LabelFixer 21 23 #include "Mutate.h" 22 #include "LabelFixer.h" 23 #include "MLEMutator.h" 24 #include "ForExprMutator.h" 24 #include "SynTree/Declaration.h" // for Declaration 25 #include "SynTree/Mutator.h" // for mutateAll 25 26 //#include "ExceptMutator.h" 26 27 27 #include "Common/utility.h" 28 #include "Common/PassVisitor.h" 29 30 #include "SynTree/Visitor.h" 28 #include "Common/PassVisitor.h" // for PassVisitor 29 #include "SynTree/Visitor.h" // for acceptAll 31 30 32 31 using namespace std; -
src/ControlStruct/Mutate.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <list> 19 #include <iostream> 18 #include <list> // for list 20 19 21 #include "SynTree/Declaration.h" 20 class Declaration; 22 21 23 22 namespace ControlStruct { -
src/GenPoly/Box.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <algorithm> 17 #include <iterator> 18 #include <list> 19 #include <map> 20 #include <set> 21 #include <stack> 22 #include <string> 23 #include <utility> 24 #include <vector> 25 #include <cassert> 16 #include <algorithm> // for mismatch 17 #include <cassert> // for assert, safe_dynamic_cast 18 #include <iostream> // for operator<<, stringstream 19 #include <list> // for list, list<>::iterator, _Lis... 20 #include <map> // for _Rb_tree_const_iterator, map 21 #include <memory> // for auto_ptr 22 #include <set> // for set 23 #include <string> // for string, allocator, basic_string 24 #include <utility> // for pair 26 25 27 26 #include "Box.h" 28 #include "DeclMutator.h" 29 #include "Lvalue.h" 30 #include "FindFunction.h" 31 #include "PolyMutator.h" 32 #include "ScopedSet.h" 33 #include "ScrubTyVars.h" 34 35 #include "Parser/ParseNode.h" 36 37 #include "SynTree/Attribute.h" 38 #include "SynTree/Constant.h" 39 #include "SynTree/Declaration.h" 40 #include "SynTree/Expression.h" 41 #include "SynTree/Initializer.h" 42 #include "SynTree/Mutator.h" 43 #include "SynTree/Statement.h" 44 #include "SynTree/Type.h" 45 #include "SynTree/TypeSubstitution.h" 46 47 #include "ResolvExpr/TypeEnvironment.h" 48 #include "ResolvExpr/TypeMap.h" 49 #include "ResolvExpr/typeops.h" 50 51 #include "SymTab/Indexer.h" 52 #include "SymTab/Mangler.h" 53 54 #include "Common/ScopedMap.h" 55 #include "Common/SemanticError.h" 56 #include "Common/UniqueName.h" 57 #include "Common/utility.h" 58 59 #include "InitTweak/InitTweak.h" 60 61 #include <ext/functional> // temporary 27 #include "Common/ScopedMap.h" // for ScopedMap, ScopedMap<>::iter... 28 #include "Common/SemanticError.h" // for SemanticError 29 #include "Common/UniqueName.h" // for UniqueName 30 #include "Common/utility.h" // for toString 31 #include "DeclMutator.h" // for DeclMutator 32 #include "FindFunction.h" // for findFunction, findAndReplace... 33 #include "GenPoly/ErasableScopedMap.h" // for ErasableScopedMap<>::const_i... 34 #include "GenPoly/GenPoly.h" // for TyVarMap, isPolyType, mangle... 35 #include "InitTweak/InitTweak.h" // for getFunctionName, isAssignment 36 #include "Lvalue.h" // for generalizedLvalue 37 #include "Parser/LinkageSpec.h" // for C, Spec, Cforall, Intrinsic 38 #include "PolyMutator.h" // for PolyMutator 39 #include "ResolvExpr/TypeEnvironment.h" // for EqvClass 40 #include "ResolvExpr/typeops.h" // for typesCompatible 41 #include "ScopedSet.h" // for ScopedSet, ScopedSet<>::iter... 42 #include "ScrubTyVars.h" // for ScrubTyVars 43 #include "SymTab/Indexer.h" // for Indexer 44 #include "SymTab/Mangler.h" // for Mangler 45 #include "SynTree/Attribute.h" // for Attribute 46 #include "SynTree/Constant.h" // for Constant 47 #include "SynTree/Declaration.h" // for DeclarationWithType, ObjectDecl 48 #include "SynTree/Expression.h" // for ApplicationExpr, UntypedExpr 49 #include "SynTree/Initializer.h" // for SingleInit, Initializer, Lis... 50 #include "SynTree/Label.h" // for Label, noLabels 51 #include "SynTree/Mutator.h" // for maybeMutate, Mutator, mutateAll 52 #include "SynTree/Statement.h" // for ExprStmt, DeclStmt, ReturnStmt 53 #include "SynTree/SynTree.h" // for UniqueId 54 #include "SynTree/Type.h" // for Type, FunctionType, PointerType 55 #include "SynTree/TypeSubstitution.h" // for TypeSubstitution, operator<< 62 56 63 57 namespace GenPoly { -
src/GenPoly/Box.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <list> 19 #include "SynTree/SynTree.h" 18 #include <list> // for list 19 20 class Declaration; 20 21 21 22 namespace GenPoly { -
src/GenPoly/CopyParams.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <set> 17 #include <map> 18 #include <cassert> 16 #include <cassert> // for assert 17 #include <list> // for list, _List_iterator, _List_const_... 18 #include <map> // for map, _Rb_tree_const_iterator, map<... 19 #include <set> // for set, set<>::const_iterator 20 #include <string> // for string, operator== 21 #include <utility> // for pair 19 22 20 #include "SynTree/Declaration.h" 21 #include "SynTree/Type.h" 22 #include "SynTree/Expression.h" 23 #include "SynTree/Statement.h" 24 #include "SynTree/Visitor.h" 25 #include "Common/UniqueName.h" 23 #include "Common/SemanticError.h" // for SemanticError 24 #include "Common/UniqueName.h" // for UniqueName 25 #include "SynTree/Declaration.h" // for DeclarationWithType, TypeDecl, Fun... 26 #include "SynTree/Expression.h" // for VariableExpr, ApplicationExpr, Add... 27 #include "SynTree/Label.h" // for Label, noLabels 28 #include "SynTree/Statement.h" // for CompoundStmt, DeclStmt, ExprStmt 29 #include "SynTree/SynTree.h" // for UniqueId 30 #include "SynTree/Type.h" // for FunctionType, TypeInstType, Type 31 #include "SynTree/Visitor.h" // for acceptAll, Visitor 26 32 27 33 namespace GenPoly { -
src/GenPoly/DeclMutator.cc
rae4038d rbd098ea 16 16 #include "DeclMutator.h" 17 17 18 #include "SynTree/Expression.h" 19 #include "SynTree/Statement.h" 18 #include <memory> // for allocator_traits<>::value_type 19 20 #include "Common/SemanticError.h" // for SemanticError 21 #include "SynTree/Declaration.h" // for Declaration 22 #include "SynTree/Expression.h" // for Expression 23 #include "SynTree/Label.h" // for Label, noLabels 24 #include "SynTree/Statement.h" // for CatchStmt, Statement, CompoundStmt 20 25 21 26 namespace GenPoly { -
src/GenPoly/DeclMutator.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <list> 19 #include <vector> 18 #include <list> // for list 19 #include <vector> // for vector 20 20 21 #include "SynTree/SynTree.h" 22 #include "SynTree/Declaration.h" 23 #include "SynTree/Mutator.h" 21 #include "SynTree/Mutator.h" // for Mutator 22 #include "SynTree/SynTree.h" // for Visitor Nodes 24 23 25 24 namespace GenPoly { -
src/GenPoly/FindFunction.cc
rae4038d rbd098ea 15 15 16 16 #include "FindFunction.h" 17 #include "SynTree/Type.h"18 #include "SynTree/Declaration.h"19 #include "SynTree/Visitor.h"20 17 21 #include "ScrubTyVars.h" 18 #include <utility> // for pair 19 20 #include "Common/SemanticError.h" // for SemanticError 21 #include "GenPoly/ErasableScopedMap.h" // for ErasableScopedMap<>::iterator 22 #include "GenPoly/GenPoly.h" // for TyVarMap 23 #include "ScrubTyVars.h" // for ScrubTyVars 24 #include "SynTree/Declaration.h" // for DeclarationWithType, TypeDecl 25 #include "SynTree/Mutator.h" // for Mutator, mutateAll 26 #include "SynTree/Type.h" // for FunctionType, Type, Type::For... 22 27 23 28 namespace GenPoly { -
src/GenPoly/FindFunction.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include "SynTree/SynTree.h" 19 #include "GenPoly.h" 18 #include <list> // for list 19 20 #include "GenPoly.h" // for TyVarMap 21 22 class FunctionType; 23 class Type; 20 24 21 25 namespace GenPoly { -
src/GenPoly/GenPoly.cc
rae4038d rbd098ea 15 15 16 16 #include "GenPoly.h" 17 #include "assert.h" 18 19 #include "SynTree/Expression.h" 20 #include "SynTree/Type.h" 21 #include "ResolvExpr/typeops.h" 22 23 #include <iostream> 24 #include <iterator> 25 #include <list> 26 #include <typeindex> 27 #include <typeinfo> 28 #include <vector> 17 18 #include <cassert> // for assertf, assert 19 #include <iostream> // for operator<<, ostream, basic_os... 20 #include <iterator> // for back_insert_iterator, back_in... 21 #include <list> // for list, _List_iterator, list<>:... 22 #include <typeindex> // for type_index 23 #include <utility> // for pair 24 #include <vector> // for vector 25 26 #include "GenPoly/ErasableScopedMap.h" // for ErasableScopedMap<>::const_it... 27 #include "ResolvExpr/typeops.h" // for flatten 28 #include "SynTree/Constant.h" // for Constant 29 #include "SynTree/Expression.h" // for Expression, TypeExpr, Constan... 30 #include "SynTree/Type.h" // for Type, StructInstType, UnionIn... 31 #include "SynTree/TypeSubstitution.h" // for TypeSubstitution 32 29 33 using namespace std; 30 34 -
src/GenPoly/GenPoly.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <string> 19 #include <iostream> 20 #include <utility> 18 #include <iostream> // for ostream 19 #include <string> // for string, allocator, operator+, basic... 21 20 22 #include "ErasableScopedMap.h" 23 24 #include "SymTab/Mangler.h" 25 26 #include "SynTree/Declaration.h" 27 #include "SynTree/Type.h" 28 #include "SynTree/TypeSubstitution.h" 21 #include "ErasableScopedMap.h" // for ErasableScopedMap 22 #include "SymTab/Mangler.h" // for Mangler 23 #include "SynTree/Declaration.h" // for TypeDecl::Data, AggregateDecl, Type... 24 #include "SynTree/SynTree.h" // for Visitor Nodes 29 25 30 26 namespace GenPoly { … … 66 62 Type *hasPolyBase( Type *type, const TyVarMap &tyVars, int *levels = 0, const TypeSubstitution *env = 0 ); 67 63 68 /// true iff this type or some base of this type after dereferencing pointers is either polymorphic or a generic type with at least one 64 /// true iff this type or some base of this type after dereferencing pointers is either polymorphic or a generic type with at least one 69 65 /// polymorphic parameter; will look up substitution in env if provided. 70 66 bool includesPolyType( Type *type, const TypeSubstitution *env = 0 ); 71 67 72 /// true iff this type or some base of this type after dereferencing pointers is either polymorphic in tyVars, or a generic type with 68 /// true iff this type or some base of this type after dereferencing pointers is either polymorphic in tyVars, or a generic type with 73 69 /// at least one polymorphic parameter in tyVars; will look up substitution in env if provided. 74 70 bool includesPolyType( Type *type, const TyVarMap &tyVars, const TypeSubstitution *env = 0 ); -
src/GenPoly/InstantiateGeneric.cc
rae4038d rbd098ea 13 13 // Update Count : 1 14 14 // 15 16 #include <cassert>17 #include <list>18 #include <unordered_map>19 #include <utility>20 #include <vector>21 22 15 #include "InstantiateGeneric.h" 23 16 24 #include "GenPoly.h" 25 #include "ScopedSet.h" 26 #include "ScrubTyVars.h" 27 28 #include "Common/PassVisitor.h" 29 #include "Common/ScopedMap.h" 30 #include "Common/UniqueName.h" 31 #include "Common/utility.h" 32 33 #include "ResolvExpr/typeops.h" 34 35 #include "SynTree/Declaration.h" 36 #include "SynTree/Expression.h" 37 #include "SynTree/Type.h" 38 39 40 #include "InitTweak/InitTweak.h" 17 #include <cassert> // for assertf, assert 18 #include <iterator> // for back_inserter, inserter 19 #include <list> // for list, _List_const_iterator 20 #include <utility> // for move, pair 21 #include <vector> // for vector 22 23 #include "Common/PassVisitor.h" // for PassVisitor, WithDeclsToAdd 24 #include "Common/ScopedMap.h" // for ScopedMap 25 #include "Common/SemanticError.h" // for SemanticError 26 #include "Common/UniqueName.h" // for UniqueName 27 #include "Common/utility.h" // for deleteAll, cloneAll 28 #include "GenPoly.h" // for isPolyType, typesPolyCompatible 29 #include "ScopedSet.h" // for ScopedSet, ScopedSet<>::iterator 30 #include "ScrubTyVars.h" // for ScrubTyVars 31 #include "SynTree/Declaration.h" // for StructDecl, UnionDecl, TypeDecl 32 #include "SynTree/Expression.h" // for TypeExpr, Expression 33 #include "SynTree/Mutator.h" // for mutateAll 34 #include "SynTree/Type.h" // for StructInstType, UnionInstType 35 #include "SynTree/TypeSubstitution.h" // for TypeSubstitution 36 #include "SynTree/Visitor.h" // for acceptAll 41 37 42 38 -
src/GenPoly/InstantiateGeneric.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include "SynTree/SynTree.h" 18 #include <list> // for list 19 20 class Declaration; 19 21 20 22 namespace GenPoly { -
src/GenPoly/Lvalue.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <cassert> 17 16 #include <cassert> // for safe_dynamic_cast 17 #include <string> // for string 18 19 #include "Common/SemanticError.h" // for SemanticError 20 #include "GenPoly.h" // for isPolyType 18 21 #include "Lvalue.h" 19 20 #include "GenPoly.h" 21 22 #include "SynTree/Declaration.h" 23 #include "SynTree/Type.h" 24 #include "SynTree/Expression.h" 25 #include "SynTree/Statement.h" 26 #include "SynTree/Visitor.h" 27 #include "SynTree/Mutator.h" 28 #include "SymTab/Indexer.h" 29 30 #include "ResolvExpr/Resolver.h" 31 #include "ResolvExpr/TypeEnvironment.h" 32 #include "ResolvExpr/typeops.h" 33 #include "ResolvExpr/Unify.h" 34 35 #include "Common/UniqueName.h" 36 #include "Common/utility.h" 22 #include "Parser/LinkageSpec.h" // for Spec, isBuiltin, Intrinsic 23 #include "ResolvExpr/TypeEnvironment.h" // for AssertionSet, OpenVarSet 24 #include "ResolvExpr/Unify.h" // for unify 25 #include "SymTab/Indexer.h" // for Indexer 26 #include "SynTree/Declaration.h" // for Declaration, FunctionDecl 27 #include "SynTree/Expression.h" // for Expression, ConditionalExpr 28 #include "SynTree/Mutator.h" // for mutateAll, Mutator 29 #include "SynTree/Statement.h" // for ReturnStmt, Statement (ptr o... 30 #include "SynTree/Type.h" // for PointerType, Type, FunctionType 31 #include "SynTree/Visitor.h" // for Visitor, acceptAll 37 32 38 33 namespace GenPoly { -
src/GenPoly/Lvalue.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <list> 18 #include <list> // for list 19 19 20 #include "SynTree/SynTree.h" 20 class Declaration; 21 class Expression; 21 22 22 23 namespace GenPoly { -
src/GenPoly/PolyMutator.cc
rae4038d rbd098ea 15 15 16 16 #include "PolyMutator.h" 17 #include "SynTree/Declaration.h" 18 #include "SynTree/Type.h" 19 #include "SynTree/Expression.h" 20 #include "SynTree/Statement.h" 21 #include "SynTree/Mutator.h" 22 #include "SynTree/Initializer.h" 17 18 #include "Common/SemanticError.h" // for SemanticError 19 #include "Common/utility.h" // for ValueGuard 20 #include "SynTree/Declaration.h" // for Declaration, TypeDecl, TypeDecl::Data 21 #include "SynTree/Expression.h" // for Expression, UntypedExpr, StmtExpr ... 22 #include "SynTree/Initializer.h" // for SingleInit, Initializer (ptr only) 23 #include "SynTree/Label.h" // for Label, noLabels 24 #include "SynTree/Mutator.h" // for maybeMutate, mutateAll 25 #include "SynTree/Statement.h" // for CatchStmt, CompoundStmt, ForStmt 26 27 class TypeSubstitution; 23 28 24 29 namespace GenPoly { -
src/GenPoly/PolyMutator.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <map> 19 #include <string> 20 #include <list> 18 #include <list> // for list 21 19 22 #include "GenPoly.h" 23 24 #include "SynTree/SynTree.h" 25 #include "SynTree/Declaration.h" 26 #include "SynTree/Mutator.h" 20 #include "GenPoly.h" // for TyVarMap 21 #include "SynTree/Mutator.h" // for Mutator 22 #include "SynTree/SynTree.h" // for Visitor Nodes 27 23 28 24 namespace GenPoly { -
src/GenPoly/ScrubTyVars.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <sstream> 17 #include <string> 16 #include <utility> // for pair 18 17 19 #include "GenPoly.h" 18 #include "GenPoly.h" // for mangleType, TyVarMap, alignof... 19 #include "GenPoly/ErasableScopedMap.h" // for ErasableScopedMap<>::const_it... 20 20 #include "ScrubTyVars.h" 21 22 #include "SynTree/ Mutator.h"23 #include "SynTree/ Type.h"24 #include "SynTree/ Expression.h"21 #include "SynTree/Declaration.h" // for TypeDecl, TypeDecl::Data, Typ... 22 #include "SynTree/Expression.h" // for Expression (ptr only), NameExpr 23 #include "SynTree/Mutator.h" // for Mutator 24 #include "SynTree/Type.h" // for PointerType, TypeInstType, Type 25 25 26 26 namespace GenPoly { -
src/GenPoly/ScrubTyVars.h
rae4038d rbd098ea 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // ScrubTyVars.h -- 7 // ScrubTyVars.h -- 8 8 // 9 9 // Author : Richard C. Bilson … … 16 16 #pragma once 17 17 18 #include < string>18 #include <cassert> // for assert 19 19 20 #include "GenPoly.h" 20 #include "GenPoly.h" // for TyVarMap, isPolyType, isDynType 21 #include "SynTree/Mutator.h" // for Mutator 22 #include "SynTree/Type.h" // for Type (ptr only), PointerType (ptr only) 21 23 22 #include "SynTree/SynTree.h" 23 #include "SynTree/Mutator.h" 24 class AlignofExpr; 25 class Expression; 26 class SizeofExpr; 24 27 25 28 namespace GenPoly { … … 66 69 // return dynamicOnly ? isDynType( ty, tyVars ) : isPolyType( ty, tyVars ); 67 70 } 68 71 69 72 /// Mutates (possibly generic) aggregate types appropriately 70 73 Type* mutateAggregateType( Type *ty ); 71 74 72 75 const TyVarMap *tyVars; ///< Type variables to scrub 73 76 ScrubMode mode; ///< which type variables to scrub? [FromMap] -
src/GenPoly/Specialize.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <cassert> 17 16 #include <cassert> // for assert, assertf 17 #include <iterator> // for back_insert_iterator, back_i... 18 #include <map> // for _Rb_tree_iterator, _Rb_tree_... 19 #include <memory> // for unique_ptr 20 #include <string> // for string 21 #include <tuple> // for get 22 #include <utility> // for pair 23 24 #include "Common/SemanticError.h" // for SemanticError 25 #include "Common/UniqueName.h" // for UniqueName 26 #include "Common/utility.h" // for group_iterate 27 #include "GenPoly.h" // for getFunctionType 28 #include "InitTweak/InitTweak.h" // for isIntrinsicCallExpr 29 #include "Parser/LinkageSpec.h" // for C 30 #include "PolyMutator.h" // for PolyMutator 31 #include "ResolvExpr/FindOpenVars.h" // for findOpenVars 32 #include "ResolvExpr/TypeEnvironment.h" // for OpenVarSet, AssertionSet 18 33 #include "Specialize.h" 19 #include "GenPoly.h" 20 #include "PolyMutator.h" 21 22 #include "Parser/ParseNode.h" 23 24 #include "SynTree/Expression.h" 25 #include "SynTree/Statement.h" 26 #include "SynTree/Type.h" 27 #include "SynTree/Attribute.h" 28 #include "SynTree/TypeSubstitution.h" 29 #include "SynTree/Mutator.h" 30 #include "ResolvExpr/FindOpenVars.h" 31 #include "Common/UniqueName.h" 32 #include "Common/utility.h" 33 #include "InitTweak/InitTweak.h" 34 #include "Tuples/Tuples.h" 34 #include "SynTree/Attribute.h" // for Attribute 35 #include "SynTree/Declaration.h" // for FunctionDecl, DeclarationWit... 36 #include "SynTree/Expression.h" // for ApplicationExpr, Expression 37 #include "SynTree/Label.h" // for Label, noLabels 38 #include "SynTree/Mutator.h" // for mutateAll 39 #include "SynTree/Statement.h" // for CompoundStmt, DeclStmt, Expr... 40 #include "SynTree/Type.h" // for FunctionType, TupleType, Type 41 #include "SynTree/TypeSubstitution.h" // for TypeSubstitution 42 #include "SynTree/Visitor.h" // for Visitor 35 43 36 44 namespace GenPoly { -
src/GenPoly/Specialize.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <list> 18 #include <list> // for list 19 19 20 #include "SynTree/SynTree.h" 20 class Declaration; 21 21 22 22 namespace GenPoly { -
src/InitTweak/FixGlobalInit.cc
rae4038d rbd098ea 15 15 16 16 #include "FixGlobalInit.h" 17 #include "InitTweak.h" 18 #include "SynTree/Declaration.h" 19 #include "SynTree/Type.h" 20 #include "SynTree/Expression.h" 21 #include "SynTree/Statement.h" 22 #include "SynTree/Initializer.h" 23 #include "SynTree/Visitor.h" 24 #include "SynTree/Attribute.h" 25 #include <algorithm> 17 18 #include <cassert> // for assert 19 #include <stddef.h> // for NULL 20 #include <algorithm> // for replace_if 21 22 #include "Common/SemanticError.h" // for SemanticError 23 #include "Common/UniqueName.h" // for UniqueName 24 #include "InitTweak.h" // for isIntrinsicSingleArgCallStmt 25 #include "Parser/LinkageSpec.h" // for C 26 #include "SynTree/Attribute.h" // for Attribute 27 #include "SynTree/Constant.h" // for Constant 28 #include "SynTree/Declaration.h" // for FunctionDecl, ObjectDecl, Declaration 29 #include "SynTree/Expression.h" // for ConstantExpr, Expression (ptr only) 30 #include "SynTree/Initializer.h" // for ConstructorInit, Initializer 31 #include "SynTree/Label.h" // for Label, noLabels 32 #include "SynTree/Statement.h" // for CompoundStmt, Statement (ptr only) 33 #include "SynTree/Type.h" // for Type, Type::StorageClasses, Functi... 34 #include "SynTree/Visitor.h" // for acceptAll, Visitor 26 35 27 36 namespace InitTweak { -
src/InitTweak/FixGlobalInit.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include < string>19 #include < list>18 #include <list> // for list 19 #include <string> // for string 20 20 21 #include "SynTree/SynTree.h" 22 #include "SynTree/Declaration.h" 21 class Declaration; 23 22 24 23 namespace InitTweak { -
src/InitTweak/FixInit.cc
rae4038d rbd098ea 13 13 // Update Count : 74 14 14 // 15 16 #include <stack>17 #include <list>18 #include <iterator>19 #include <algorithm>20 #include <unordered_map>21 #include <unordered_set>22 23 #include "InitTweak.h"24 #include "GenInit.h"25 15 #include "FixInit.h" 26 #include "FixGlobalInit.h" 27 #include "CodeGen/GenType.h" // for warning/error messages 28 #include "Common/PassVisitor.h" 29 #include "GenPoly/DeclMutator.h" 30 #include "GenPoly/PolyMutator.h" 31 #include "ResolvExpr/Resolver.h" 32 #include "ResolvExpr/typeops.h" 33 #include "SymTab/Autogen.h" 34 #include "SymTab/Indexer.h" 35 #include "SynTree/AddStmtVisitor.h" 36 #include "SynTree/Attribute.h" 37 #include "SynTree/Declaration.h" 38 #include "SynTree/Expression.h" 39 #include "SynTree/Initializer.h" 40 #include "SynTree/Mutator.h" 41 #include "SynTree/Statement.h" 42 #include "SynTree/Type.h" 43 #include "Tuples/Tuples.h" 16 17 #include <stddef.h> // for NULL 18 #include <algorithm> // for set_difference, copy_if 19 #include <cassert> // for assert, safe_dynamic_cast 20 #include <iostream> // for operator<<, ostream, basic_ost... 21 #include <iterator> // for insert_iterator, back_inserter 22 #include <list> // for _List_iterator, list, list<>::... 23 #include <map> // for _Rb_tree_iterator, _Rb_tree_co... 24 #include <memory> // for allocator_traits<>::value_type 25 #include <set> // for set, set<>::value_type 26 #include <unordered_map> // for unordered_map, unordered_map<>... 27 #include <unordered_set> // for unordered_set 28 #include <utility> // for pair 29 30 #include "CodeGen/GenType.h" // for genPrettyType 31 #include "Common/PassVisitor.h" // for PassVisitor, WithStmtsToAdd 32 #include "Common/SemanticError.h" // for SemanticError 33 #include "Common/UniqueName.h" // for UniqueName 34 #include "Common/utility.h" // for CodeLocation, ValueGuard, toSt... 35 #include "FixGlobalInit.h" // for fixGlobalInit 36 #include "GenInit.h" // for genCtorDtor 37 #include "GenPoly/DeclMutator.h" // for DeclMutator 38 #include "GenPoly/GenPoly.h" // for getFunctionType 39 #include "GenPoly/PolyMutator.h" // for PolyMutator 40 #include "InitTweak.h" // for getFunctionName, getCallArg 41 #include "Parser/LinkageSpec.h" // for C, Spec, Cforall, isBuiltin 42 #include "ResolvExpr/Resolver.h" // for findVoidExpression 43 #include "ResolvExpr/typeops.h" // for typesCompatible 44 #include "SymTab/Autogen.h" // for genImplicitCall 45 #include "SymTab/Indexer.h" // for Indexer 46 #include "SymTab/Mangler.h" // for Mangler 47 #include "SynTree/AddStmtVisitor.h" // for AddStmtVisitor 48 #include "SynTree/Attribute.h" // for Attribute 49 #include "SynTree/Constant.h" // for Constant 50 #include "SynTree/Declaration.h" // for ObjectDecl, FunctionDecl, Decl... 51 #include "SynTree/Expression.h" // for UniqueExpr, VariableExpr, Unty... 52 #include "SynTree/Initializer.h" // for ConstructorInit, SingleInit 53 #include "SynTree/Label.h" // for Label, noLabels, operator< 54 #include "SynTree/Mutator.h" // for mutateAll, Mutator, maybeMutate 55 #include "SynTree/Statement.h" // for ExprStmt, CompoundStmt, Branch... 56 #include "SynTree/Type.h" // for Type, Type::StorageClasses 57 #include "SynTree/TypeSubstitution.h" // for TypeSubstitution, operator<< 58 #include "SynTree/Visitor.h" // for acceptAll, maybeAccept 59 #include "Tuples/Tuples.h" // for isTtype 44 60 45 61 bool ctordtorp = false; // print all debug -
src/InitTweak/FixInit.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include < string>19 #include < list>18 #include <list> // for list 19 #include <string> // for string 20 20 21 #include "SynTree/SynTree.h" 22 #include "SynTree/Declaration.h" 23 #include "SynTree/Mutator.h" 21 class Declaration; 24 22 25 23 namespace InitTweak { -
src/InitTweak/GenInit.cc
rae4038d rbd098ea 13 13 // Update Count : 183 14 14 // 15 16 #include <stack>17 #include <list>18 19 #include "InitTweak.h"20 15 #include "GenInit.h" 21 16 22 #include "Common/PassVisitor.h" 23 24 #include "GenPoly/DeclMutator.h" 25 #include "GenPoly/PolyMutator.h" 26 #include "GenPoly/ScopedSet.h" 27 28 #include "ResolvExpr/typeops.h" 29 30 #include "SynTree/Declaration.h" 31 #include "SynTree/Expression.h" 32 #include "SynTree/Initializer.h" 33 #include "SynTree/Mutator.h" 34 #include "SynTree/Statement.h" 35 #include "SynTree/Type.h" 36 37 #include "SymTab/Autogen.h" 38 #include "SymTab/Mangler.h" 17 #include <stddef.h> // for NULL 18 #include <algorithm> // for any_of 19 #include <cassert> // for assert, safe_dynamic_cast, assertf 20 #include <iterator> // for back_inserter, inserter, back_inse... 21 #include <list> // for _List_iterator, list 22 23 #include "Common/PassVisitor.h" // for PassVisitor, WithGuards, WithShort... 24 #include "Common/SemanticError.h" // for SemanticError 25 #include "Common/UniqueName.h" // for UniqueName 26 #include "Common/utility.h" // for ValueGuard, maybeClone 27 #include "GenPoly/DeclMutator.h" // for DeclMutator 28 #include "GenPoly/GenPoly.h" // for getFunctionType, isPolyType 29 #include "GenPoly/ScopedSet.h" // for ScopedSet, ScopedSet<>::const_iter... 30 #include "InitTweak.h" // for isConstExpr, InitExpander, checkIn... 31 #include "Parser/LinkageSpec.h" // for isOverridable, C 32 #include "SymTab/Autogen.h" // for genImplicitCall, SizeType 33 #include "SymTab/Mangler.h" // for Mangler 34 #include "SynTree/Declaration.h" // for ObjectDecl, DeclarationWithType 35 #include "SynTree/Expression.h" // for VariableExpr, UntypedExpr, Address... 36 #include "SynTree/Initializer.h" // for ConstructorInit, SingleInit, Initi... 37 #include "SynTree/Label.h" // for Label 38 #include "SynTree/Mutator.h" // for mutateAll 39 #include "SynTree/Statement.h" // for CompoundStmt, ImplicitCtorDtorStmt 40 #include "SynTree/Type.h" // for Type, ArrayType, Type::Qualifiers 41 #include "SynTree/Visitor.h" // for acceptAll, maybeAccept 39 42 40 43 namespace InitTweak { -
src/InitTweak/GenInit.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include < string>19 #include < list>18 #include <list> // for list 19 #include <string> // for string 20 20 21 #include "SynTree/SynTree.h" 22 #include "SynTree/Declaration.h" 23 #include "SynTree/Mutator.h" 21 #include "SynTree/SynTree.h" // for Visitor Nodes 24 22 25 23 namespace InitTweak { -
src/InitTweak/InitTweak.cc
rae4038d rbd098ea 1 #include <algorithm> 1 #include <stddef.h> // for NULL 2 #include <algorithm> // for find, all_of 3 #include <cassert> // for assertf, assert, safe_dynamic_cast 4 #include <iostream> // for ostream, cerr, endl 5 #include <iterator> // for back_insert_iterator, back_inserter 6 #include <memory> // for __shared_ptr 7 8 #include "Common/SemanticError.h" // for SemanticError 9 #include "Common/UniqueName.h" // for UniqueName 10 #include "Common/utility.h" // for toString, deleteAll, maybeClone 11 #include "GenPoly/GenPoly.h" // for getFunctionType 2 12 #include "InitTweak.h" 3 #include "SynTree/Visitor.h" 4 #include "SynTree/Statement.h" 5 #include "SynTree/Initializer.h" 6 #include "SynTree/Expression.h" 7 #include "SynTree/Attribute.h" 8 #include "GenPoly/GenPoly.h" 9 #include "ResolvExpr/typeops.h" 13 #include "Parser/LinkageSpec.h" // for Spec, isBuiltin, Intrinsic 14 #include "ResolvExpr/typeops.h" // for typesCompatibleIgnoreQualifiers 15 #include "SymTab/Indexer.h" // for Indexer 16 #include "SynTree/Attribute.h" // for Attribute 17 #include "SynTree/Constant.h" // for Constant 18 #include "SynTree/Declaration.h" // for ObjectDecl, DeclarationWithType 19 #include "SynTree/Expression.h" // for Expression, UntypedExpr, Applicati... 20 #include "SynTree/Initializer.h" // for Initializer, ListInit, Designation 21 #include "SynTree/Label.h" // for Label, noLabels 22 #include "SynTree/Statement.h" // for CompoundStmt, ExprStmt, BranchStmt 23 #include "SynTree/Type.h" // for FunctionType, ArrayType, PointerType 24 #include "SynTree/Visitor.h" // for Visitor, maybeAccept 25 26 class UntypedValofExpr; 10 27 11 28 namespace InitTweak { -
src/InitTweak/InitTweak.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <string> 19 #include <list> 18 #include <list> // for list 19 #include <memory> // for shared_ptr 20 #include <string> // for string, allocator 20 21 21 #include "SynTree/SynTree.h" 22 #include "SynTree/Declaration.h" 23 #include "SynTree/Mutator.h" 22 #include "SynTree/SynTree.h" // for Visitor Nodes 24 23 25 24 // helper functions for initialization … … 105 104 106 105 class ExpanderImpl; 106 107 107 typedef std::list< Expression * > IndexList; 108 108 private: -
src/Parser/DeclarationNode.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <string> 17 #include <list> 18 #include <iterator> 19 #include <algorithm> 20 #include <cassert> 21 22 #include "TypeData.h" 23 24 #include "SynTree/Attribute.h" 25 #include "SynTree/Declaration.h" 26 #include "SynTree/Expression.h" 27 28 #include "TypedefTable.h" 16 #include <cassert> // for assert, assertf, safe_dynamic_cast 17 #include <iterator> // for back_insert_iterator 18 #include <list> // for list 19 #include <memory> // for unique_ptr 20 #include <ostream> // for operator<<, ostream, basic_ostream 21 #include <string> // for string, operator+, allocator, char... 22 23 #include "Common/SemanticError.h" // for SemanticError 24 #include "Common/UniqueName.h" // for UniqueName 25 #include "Common/utility.h" // for maybeClone, maybeBuild, CodeLocation 26 #include "Parser/LinkageSpec.h" // for Spec, linkageName, Cforall 27 #include "Parser/ParseNode.h" // for DeclarationNode, ExpressionNode 28 #include "SynTree/Attribute.h" // for Attribute 29 #include "SynTree/Declaration.h" // for TypeDecl, ObjectDecl, Declaration 30 #include "SynTree/Expression.h" // for Expression, ConstantExpr 31 #include "SynTree/Statement.h" // for AsmStmt 32 #include "SynTree/Type.h" // for Type, Type::StorageClasses, Type::... 33 #include "TypeData.h" // for TypeData, TypeData::Aggregate_t 34 #include "TypedefTable.h" // for TypedefTable, TypedefTable::kind_t... 35 36 class Initializer; 37 29 38 extern TypedefTable typedefTable; 30 39 -
src/Parser/ExpressionNode.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <climits> // access INT_MAX, UINT_MAX, LONG_MAX, ULONG_MAX, LLONG_MAX 17 #include <sstream> 18 19 #include "ParseNode.h" 20 #include "TypeData.h" 21 #include "SynTree/Constant.h" 22 #include "SynTree/Expression.h" 23 #include "SynTree/Declaration.h" 24 #include "parserutility.h" 16 #include <cassert> // for assert 17 #include <stdio.h> // for sscanf, size_t 18 #include <climits> // for LLONG_MAX, LONG_MAX, INT_MAX, UINT... 19 #include <list> // for list 20 #include <sstream> // for basic_istream::operator>>, basic_i... 21 #include <string> // for string, operator+, operator== 22 23 #include "Common/SemanticError.h" // for SemanticError 24 #include "Common/utility.h" // for maybeMoveBuild, maybeBuild, CodeLo... 25 #include "ParseNode.h" // for ExpressionNode, maybeMoveBuildType 26 #include "SynTree/Constant.h" // for Constant 27 #include "SynTree/Declaration.h" // for EnumDecl, StructDecl, UnionDecl 28 #include "SynTree/Expression.h" // for Expression, ConstantExpr, NameExpr 29 #include "SynTree/Statement.h" // for CompoundStmt, Statement 30 #include "SynTree/Type.h" // for BasicType, Type, Type::Qualifiers 31 #include "parserutility.h" // for notZeroExpr 32 33 class Initializer; 25 34 26 35 using namespace std; … … 69 78 goto CLEANUP; 70 79 } // if 71 80 72 81 if ( str[0] == '0' ) { // octal/hex constant ? 73 82 dec = false; -
src/Parser/InitializerNode.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <cassert> 17 #include <iostream> 16 #include <iostream> // for operator<<, ostream, basic_ostream 17 #include <list> // for list 18 #include <string> // for operator<<, string 19 18 20 using namespace std; 19 21 20 #include "ParseNode.h" 21 #include "SynTree/Expression.h" 22 #include "SynTree/Initializer.h" 22 #include "Common/SemanticError.h" // for SemanticError 23 #include "Common/utility.h" // for maybeBuild 24 #include "ParseNode.h" // for InitializerNode, ExpressionNode 25 #include "SynTree/Expression.h" // for Expression 26 #include "SynTree/Initializer.h" // for Initializer, ListInit, SingleInit 23 27 24 28 InitializerNode::InitializerNode( ExpressionNode * _expr, bool aggrp, ExpressionNode * des ) -
src/Parser/ParseNode.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <string> 19 #include <list> 20 #include <iterator> 21 #include <memory> 22 23 #include "Parser/LinkageSpec.h" 24 #include "SynTree/Type.h" 25 #include "SynTree/Expression.h" 26 #include "SynTree/Statement.h" 27 #include "SynTree/Label.h" 28 #include "Common/utility.h" 29 #include "Common/UniqueName.h" 30 18 #include <algorithm> // for move 19 #include <cassert> // for assert, assertf 20 #include <iosfwd> // for ostream 21 #include <iterator> // for back_insert_iterator 22 #include <list> // for list 23 #include <memory> // for unique_ptr, pointer_traits 24 #include <string> // for string 25 26 #include "Common/SemanticError.h" // for SemanticError 27 #include "Common/UniqueName.h" // for UniqueName 28 #include "Common/utility.h" // for maybeClone, CodeLocation, maybeBuild 29 #include "Parser/LinkageSpec.h" // for Spec 30 #include "SynTree/Expression.h" // for Expression, ConstantExpr (ptr only) 31 #include "SynTree/Label.h" // for Label 32 #include "SynTree/Statement.h" // for Statement, BranchStmt, BranchStmt:... 33 #include "SynTree/Type.h" // for Type, Type::FuncSpecifiers, Type::... 34 35 class Attribute; 36 class Declaration; 37 class DeclarationNode; 38 class DeclarationWithType; 39 class ExpressionNode; 40 class Initializer; 31 41 class StatementNode; 32 class CompoundStmtNode;33 class DeclarationNode;34 class ExpressionNode;35 class InitializerNode;36 class Attribute;37 42 38 43 //############################################################################## -
src/Parser/StatementNode.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <list> 17 #include <algorithm> 18 #include <cassert> 19 20 #include "ParseNode.h" 21 #include "SynTree/Statement.h" 22 #include "SynTree/Expression.h" 23 #include "parserutility.h" 24 #include "Common/utility.h" 16 #include <cassert> // for assert, safe_dynamic_cast, assertf 17 #include <list> // for list 18 #include <memory> // for unique_ptr 19 #include <string> // for string 20 21 #include "Common/SemanticError.h" // for SemanticError 22 #include "Common/utility.h" // for maybeMoveBuild, maybeBuild 23 #include "ParseNode.h" // for StatementNode, ExpressionNode, bui... 24 #include "SynTree/Expression.h" // for Expression, ConstantExpr 25 #include "SynTree/Label.h" // for Label, noLabels 26 #include "SynTree/Statement.h" // for Statement, BranchStmt, CaseStmt 27 #include "parserutility.h" // for notZeroExpr 28 29 class Declaration; 25 30 26 31 using namespace std; -
src/Parser/TypeData.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <cassert> 17 #include <algorithm> 18 #include <iterator> 19 #include "Common/utility.h" 16 #include <cassert> // for assert 17 #include <ostream> // for operator<<, ostream, basic_ostream 18 19 #include "Common/SemanticError.h" // for SemanticError 20 #include "Common/utility.h" // for maybeClone, maybeBuild, maybeMoveB... 21 #include "Parser/ParseNode.h" // for DeclarationNode, ExpressionNode 22 #include "SynTree/Declaration.h" // for TypeDecl, ObjectDecl, FunctionDecl 23 #include "SynTree/Expression.h" // for Expression, ConstantExpr (ptr only) 24 #include "SynTree/Initializer.h" // for SingleInit, Initializer (ptr only) 25 #include "SynTree/Statement.h" // for CompoundStmt, Statement 26 #include "SynTree/Type.h" // for BasicType, Type, Type::ForallList 20 27 #include "TypeData.h" 21 #include "SynTree/Type.h" 22 #include "SynTree/Declaration.h" 23 #include "SynTree/Expression.h" 24 #include "SynTree/Statement.h" 25 #include "SynTree/Initializer.h" 28 29 class Attribute; 30 26 31 using namespace std; 27 32 -
src/Parser/TypeData.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include "ParseNode.h" 19 #include "SynTree/Type.h" 18 #include <iosfwd> // for ostream 19 #include <list> // for list 20 #include <string> // for string 21 22 #include "ParseNode.h" // for DeclarationNode, DeclarationNode::Ag... 23 #include "Parser/LinkageSpec.h" // for Spec 24 #include "SynTree/Type.h" // for Type, ReferenceToType (ptr only) 25 #include "SynTree/SynTree.h" // for Visitor Nodes 20 26 21 27 struct TypeData { -
src/Parser/TypedefTable.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <map> 17 #include <list> 18 #include <cassert> 16 #include <ext/alloc_traits.h> // for __alloc_traits<>::value_type 17 #include <cassert> // for assert 18 #include <list> // for list, _List_iterator, list<>::iterator 19 #include <map> // for _Rb_tree_iterator, _Rb_tree_const_it... 20 #include <memory> // for allocator_traits<>::value_type 21 #include <utility> // for pair 22 23 #include "Parser/ParserTypes.h" // for typedefTable 24 #include "Parser/parser.hh" // for IDENTIFIER 19 25 #include "TypedefTable.h" 26 20 27 using namespace std; 21 28 22 29 #if 0 23 30 #include <iostream> 31 24 32 #define debugPrint( x ) cerr << x 25 33 #else -
src/Parser/TypedefTable.h
rae4038d rbd098ea 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // TypedefTable.h -- 7 // TypedefTable.h -- 8 8 // 9 9 // Author : Rodolfo G. Esteves … … 16 16 #pragma once 17 17 18 #include < map>19 #include < list>20 #include <st ring>21 #include <st ack>18 #include <list> // for list 19 #include <map> // for map, map<>::value_compare 20 #include <stack> // for stack 21 #include <string> // for string 22 22 23 23 #include "ParserTypes.h" 24 #include "parser.hh" 24 #include "parser.hh" // for IDENTIFIER, TYPEDEFname, TYPEGENname 25 25 26 26 class TypedefTable { … … 32 32 kind_t kind; 33 33 }; 34 34 35 35 struct DeferredEntry { 36 36 std::string identifier; … … 44 44 std::string currentTrait; 45 45 int contextScope; 46 46 47 47 typedef std::list< DeferredEntry > deferListType; 48 48 std::stack< deferListType > deferListStack; 49 49 std::map< std::string, deferListType > contexts; 50 50 51 51 std::stack< std::string > nextIdentifiers; 52 52 … … 70 70 void addToEnclosingScope( const std::string &identifier, kind_t kind ); 71 71 void addToEnclosingScope( kind_t kind ); // use nextIdentifiers.top() 72 72 73 73 // "addToEnclosingScope2" adds the identifier/type pair to the scope that encloses the scope enclosing the the 74 74 // current one. This is the right way to handle assertion names 75 75 void addToEnclosingScope2( const std::string &identifier, kind_t kind ); 76 76 void addToEnclosingScope2( kind_t kind ); // use nextIdentifiers.top() 77 77 78 78 // set the next identifier to be used by an "add" operation without an identifier parameter within the current scope 79 79 void setNextIdentifier( const std::string &identifier ); 80 80 81 81 // dump the definitions from a pre-defined context into the current scope 82 82 void openTrait( const std::string &contextName ); 83 83 84 84 void enterScope(); 85 85 void leaveScope(); -
src/Parser/parserutility.cc
rae4038d rbd098ea 15 15 16 16 #include "parserutility.h" 17 #include "SynTree/Type.h" 18 #include "SynTree/Expression.h" 17 18 #include <list> // for list 19 #include <string> // for string 20 21 #include "SynTree/Constant.h" // for Constant 22 #include "SynTree/Expression.h" // for UntypedExpr, CastExpr, ConstantExpr 23 #include "SynTree/Type.h" // for BasicType, ZeroType, BasicType::Kind... 19 24 20 25 // rewrite -
src/Parser/parserutility.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include "SynTree/SynTree.h" 18 class Expression; 19 19 20 20 Expression *notZeroExpr( Expression *orig ); -
src/ResolvExpr/AdjustExprType.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "typeops.h" 17 #include "SynTree/Type.h" 18 #include "TypeEnvironment.h" 19 #include "SymTab/Indexer.h" 16 #include "SymTab/Indexer.h" // for Indexer 17 #include "SynTree/Declaration.h" // for TypeDecl, TypeDecl::Kind::Ftype 18 #include "SynTree/Mutator.h" // for Mutator 19 #include "SynTree/Type.h" // for PointerType, TypeInstType, Type 20 #include "TypeEnvironment.h" // for EqvClass, TypeEnvironment 20 21 21 22 namespace ResolvExpr { -
src/ResolvExpr/Alternative.cc
rae4038d rbd098ea 15 15 16 16 #include "Alternative.h" 17 #include "SynTree/Type.h" 18 #include "SynTree/Expression.h" 19 #include "Common/utility.h" 17 18 #include <ostream> // for operator<<, ostream, basic_o... 19 #include <string> // for operator<<, char_traits, string 20 21 #include "Common/utility.h" // for maybeClone 22 #include "ResolvExpr/Cost.h" // for Cost, Cost::zero, operator<< 23 #include "ResolvExpr/TypeEnvironment.h" // for TypeEnvironment 24 #include "SynTree/Expression.h" // for Expression 25 #include "SynTree/Type.h" // for Type 20 26 21 27 namespace ResolvExpr { -
src/ResolvExpr/Alternative.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <list> 19 #include "SynTree/SynTree.h" 20 #include "Cost.h" 21 #include "TypeEnvironment.h" 18 #include <iosfwd> // for ostream 19 #include <list> // for list 20 21 #include "Cost.h" // for Cost 22 #include "TypeEnvironment.h" // for TypeEnvironment 23 24 class Expression; 22 25 23 26 namespace ResolvExpr { 24 27 struct Alternative; 28 25 29 typedef std::list< Alternative > AltList; 26 30 -
src/ResolvExpr/AlternativeFinder.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <list> 17 #include <iterator> 18 #include <algorithm> 19 #include <functional> 20 #include <cassert> 21 #include <unordered_map> 22 #include <utility> 23 #include <vector> 24 16 #include <algorithm> // for copy 17 #include <cassert> // for safe_dynamic_cast, assert, assertf 18 #include <iostream> // for operator<<, cerr, ostream, endl 19 #include <iterator> // for back_insert_iterator, back_inserter 20 #include <list> // for _List_iterator, list, _List_const_... 21 #include <map> // for _Rb_tree_iterator, map, _Rb_tree_c... 22 #include <memory> // for allocator_traits<>::value_type 23 #include <utility> // for pair 24 25 #include "Alternative.h" // for AltList, Alternative 25 26 #include "AlternativeFinder.h" 26 #include "Alternative.h" 27 #include "Cost.h" 28 #include "typeops.h" 29 #include "Unify.h" 30 #include "RenameVars.h" 31 #include "SynTree/Type.h" 32 #include "SynTree/Declaration.h" 33 #include "SynTree/Expression.h" 34 #include "SynTree/Initializer.h" 35 #include "SynTree/Visitor.h" 36 #include "SymTab/Indexer.h" 37 #include "SymTab/Mangler.h" 38 #include "SynTree/TypeSubstitution.h" 39 #include "SymTab/Validate.h" 40 #include "Tuples/Tuples.h" 41 #include "Tuples/Explode.h" 42 #include "Common/utility.h" 43 #include "InitTweak/InitTweak.h" 44 #include "InitTweak/GenInit.h" 45 #include "ResolveTypeof.h" 46 #include "Resolver.h" 27 #include "Common/SemanticError.h" // for SemanticError 28 #include "Common/utility.h" // for deleteAll, printAll, CodeLocation 29 #include "Cost.h" // for Cost, Cost::zero, operator<<, Cost... 30 #include "InitTweak/InitTweak.h" // for getFunctionName 31 #include "RenameVars.h" // for RenameVars, global_renamer 32 #include "ResolveTypeof.h" // for resolveTypeof 33 #include "Resolver.h" // for resolveStmtExpr 34 #include "SymTab/Indexer.h" // for Indexer 35 #include "SymTab/Mangler.h" // for Mangler 36 #include "SymTab/Validate.h" // for validateType 37 #include "SynTree/Constant.h" // for Constant 38 #include "SynTree/Declaration.h" // for DeclarationWithType, TypeDecl, Dec... 39 #include "SynTree/Expression.h" // for Expression, CastExpr, NameExpr 40 #include "SynTree/Initializer.h" // for SingleInit, operator<<, Designation 41 #include "SynTree/SynTree.h" // for UniqueId 42 #include "SynTree/Type.h" // for Type, FunctionType, PointerType 43 #include "Tuples/Explode.h" // for explode 44 #include "Tuples/Tuples.h" // for isTtype, handleTupleAssignment 45 #include "Unify.h" // for unify 46 #include "typeops.h" // for adjustExprType, polyCost, castCost 47 47 48 48 extern bool resolvep; -
src/ResolvExpr/AlternativeFinder.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <set> 18 #include <algorithm> // for copy 19 #include <list> // for list 20 #include <string> // for string 19 21 20 #include "Alternative.h" 21 #include "Unify.h" 22 #include "SynTree/SynTree.h" 23 #include "SymTab/Indexer.h" 24 #include "SynTree/TypeSubstitution.h" 22 #include "Alternative.h" // for AltList, Alternative 23 #include "ResolvExpr/Cost.h" // for Cost, Cost::infinity 24 #include "ResolvExpr/TypeEnvironment.h" // for AssertionSet, OpenVarSet 25 #include "SynTree/Visitor.h" // for Visitor 26 #include "SynTree/SynTree.h" // for Visitor Nodes 27 28 namespace SymTab { 29 class Indexer; 30 } // namespace SymTab 25 31 26 32 namespace ResolvExpr { -
src/ResolvExpr/AlternativePrinter.cc
rae4038d rbd098ea 15 15 16 16 #include "AlternativePrinter.h" 17 #include "AlternativeFinder.h" 18 #include "Alternative.h" 19 #include "SynTree/Statement.h" 20 #include "SynTree/Type.h" 21 #include "SynTree/Expression.h" 22 #include "Common/utility.h" 17 18 #include <list> // for _List_const_iterator, list<>... 19 20 #include "Alternative.h" // for AltList, Alternative 21 #include "AlternativeFinder.h" // for AlternativeFinder 22 #include "ResolvExpr/TypeEnvironment.h" // for TypeEnvironment 23 #include "SynTree/Expression.h" // for Expression 24 #include "SynTree/Statement.h" // for ExprStmt 25 #include "SynTree/Type.h" // for Type 23 26 24 27 namespace ResolvExpr { -
src/ResolvExpr/AlternativePrinter.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <iostream> 18 #include <iostream> // for ostream 19 19 20 #include "Alternative.h" 21 #include "SymTab/Indexer.h" 20 #include "SymTab/Indexer.h" // for Indexer 21 22 class ExprStmt; 22 23 23 24 namespace ResolvExpr { -
src/ResolvExpr/CastCost.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "typeops.h" 17 #include "Cost.h" 18 #include "ConversionCost.h" 19 #include "SynTree/Type.h" 20 #include "SynTree/Visitor.h" 21 #include "SymTab/Indexer.h" 16 #include <cassert> // for assert 17 18 #include "ConversionCost.h" // for ConversionCost 19 #include "Cost.h" // for Cost, Cost::infinity 20 #include "ResolvExpr/TypeEnvironment.h" // for TypeEnvironment, EqvClass 21 #include "SymTab/Indexer.h" // for Indexer 22 #include "SynTree/Declaration.h" // for TypeDecl, NamedTypeDecl 23 #include "SynTree/Type.h" // for PointerType, Type, TypeInstType 24 #include "typeops.h" // for typesCompatibleIgnoreQualifiers 22 25 23 26 -
src/ResolvExpr/CommonType.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "typeops.h" 17 #include "SynTree/Type.h" 18 #include "Unify.h" 16 #include <cassert> // for safe_dynamic_cast 17 #include <map> // for _Rb_tree_const_iterator 18 #include <utility> // for pair 19 20 #include "ResolvExpr/TypeEnvironment.h" // for OpenVarSet, AssertionSet 21 #include "SymTab/Indexer.h" // for Indexer 22 #include "SynTree/Declaration.h" // for TypeDecl, NamedTypeDecl (ptr... 23 #include "SynTree/Type.h" // for BasicType, BasicType::Kind::... 24 #include "SynTree/Visitor.h" // for Visitor 25 #include "Unify.h" // for unifyExact, bindVar, WidenMode 26 #include "typeops.h" // for isFtype 19 27 20 28 -
src/ResolvExpr/ConversionCost.cc
rae4038d rbd098ea 15 15 16 16 #include "ConversionCost.h" 17 #include "typeops.h" 18 #include "SynTree/Type.h" 19 #include "SynTree/Visitor.h" 20 #include "SymTab/Indexer.h" 17 18 #include <cassert> // for assert 19 #include <list> // for list, list<>::const_iterator 20 #include <string> // for operator==, string 21 22 #include "ResolvExpr/Cost.h" // for Cost 23 #include "ResolvExpr/TypeEnvironment.h" // for EqvClass, TypeEnvironment 24 #include "SymTab/Indexer.h" // for Indexer 25 #include "SynTree/Declaration.h" // for TypeDecl, NamedTypeDecl 26 #include "SynTree/Type.h" // for Type, BasicType, TypeInstType 27 #include "typeops.h" // for typesCompatibleIgnoreQualifiers 21 28 22 29 namespace ResolvExpr { -
src/ResolvExpr/ConversionCost.h
rae4038d rbd098ea 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // ConversionCost.h -- 7 // ConversionCost.h -- 8 8 // 9 9 // Author : Richard C. Bilson … … 16 16 #pragma once 17 17 18 #include "SynTree/Visitor.h" 19 #include "SymTab/Indexer.h" 20 #include "Cost.h" 21 #include "TypeEnvironment.h" 18 #include "Cost.h" // for Cost 19 #include "SynTree/Visitor.h" // for Visitor 20 #include "SynTree/SynTree.h" // for Visitor Nodes 21 22 namespace SymTab { 23 class Indexer; 24 } // namespace SymTab 22 25 23 26 namespace ResolvExpr { 27 class TypeEnvironment; 28 24 29 class ConversionCost : public Visitor { 25 30 public: 26 31 ConversionCost( Type *dest, const SymTab::Indexer &indexer, const TypeEnvironment &env ); 27 32 28 33 Cost get_cost() const { return cost; } 29 34 -
src/ResolvExpr/CurrentObject.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <stack> 17 #include <iostream> 18 16 #include <stddef.h> // for size_t 17 #include <cassert> // for assertf, assert, safe_dynamic_... 18 #include <iostream> // for ostream, operator<<, basic_ost... 19 #include <stack> // for stack 20 #include <string> // for string, operator<<, allocator 21 22 #include "Common/Indenter.h" // for Indenter, operator<< 23 #include "Common/SemanticError.h" // for SemanticError 24 #include "Common/utility.h" // for toString 19 25 #include "CurrentObject.h" 20 21 #include "Common/Indenter.h" 22 23 #include "SynTree/Declaration.h" 24 #include "SynTree/Initializer.h" 25 #include "SynTree/Type.h" 26 #include "SynTree/TypeSubstitution.h" 26 #include "SynTree/Constant.h" // for Constant 27 #include "SynTree/Declaration.h" // for ObjectDecl, Declaration, Struc... 28 #include "SynTree/Expression.h" // for InitAlternative, VariableExpr 29 #include "SynTree/Initializer.h" // for Designation, operator<< 30 #include "SynTree/Type.h" // for Type, StructInstType, UnionIns... 31 #include "SynTree/TypeSubstitution.h" // for TypeSubstitution 27 32 28 33 #if 0 -
src/ResolvExpr/CurrentObject.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <stack> 18 #include <list> // for list 19 #include <stack> // for stack 19 20 20 #include "SynTree/SynTree.h" 21 #include "SynTree/Expression.h" 21 class Designation; 22 class Type; 23 struct InitAlternative; 22 24 23 25 namespace ResolvExpr { -
src/ResolvExpr/FindOpenVars.cc
rae4038d rbd098ea 15 15 16 16 #include "FindOpenVars.h" 17 #include "SynTree/Type.h" 18 #include "SynTree/Visitor.h" 17 18 #include <list> // for _List_const_iterator, list<>::const... 19 #include <map> // for map<>::mapped_type 20 21 #include "SynTree/Declaration.h" // for TypeDecl, DeclarationWithType (ptr ... 22 #include "SynTree/Type.h" // for Type, Type::ForallList, ArrayType 23 #include "SynTree/Visitor.h" // for Visitor 19 24 20 25 namespace ResolvExpr { -
src/ResolvExpr/FindOpenVars.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include "Unify.h" 19 #include "SynTree/SynTree.h" 18 #include "ResolvExpr/TypeEnvironment.h" // for AssertionSet, OpenVarSet 19 20 class Type; 20 21 21 22 namespace ResolvExpr { -
src/ResolvExpr/Occurs.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <set> 17 #include < algorithm>18 #include <iterator> 19 #include "SynTree/Type.h" 20 #include "SynTree/Visitor.h" 21 #include "TypeEnvironment.h" 16 #include <set> // for set, _Rb_tree_const_iterator 17 #include <string> // for string 18 19 #include "SynTree/Type.h" // for TypeInstType, Type 20 #include "SynTree/Visitor.h" // for Visitor 21 #include "TypeEnvironment.h" // for EqvClass, TypeEnvironment 22 22 23 23 namespace ResolvExpr { -
src/ResolvExpr/PolyCost.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "typeops.h" 17 #include "SynTree/Type.h" 18 #include "SynTree/Visitor.h" 19 #include "SymTab/Indexer.h" 20 #include "TypeEnvironment.h" 16 #include "SymTab/Indexer.h" // for Indexer 17 #include "SynTree/Type.h" // for TypeInstType, Type 18 #include "SynTree/Visitor.h" // for Visitor 19 #include "TypeEnvironment.h" // for EqvClass, TypeEnvironment 21 20 22 21 namespace ResolvExpr { -
src/ResolvExpr/PtrsAssignable.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "typeops.h" 17 #include "SynTree/Type.h" 18 #include "SynTree/Declaration.h" 19 #include "SynTree/Visitor.h" 16 #include "ResolvExpr/TypeEnvironment.h" // for EqvClass, TypeEnvironment 17 #include "SynTree/Type.h" // for TypeInstType, Type, BasicType 18 #include "SynTree/Visitor.h" // for Visitor 20 19 21 20 -
src/ResolvExpr/PtrsCastable.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "typeops.h" 17 #include "SynTree/Type.h" 18 #include "SynTree/Declaration.h" 19 #include "SynTree/Visitor.h" 20 #include "SymTab/Indexer.h" 16 #include "ResolvExpr/TypeEnvironment.h" // for EqvClass, TypeEnvironment 17 #include "SymTab/Indexer.h" // for Indexer 18 #include "SynTree/Declaration.h" // for TypeDecl, TypeDecl::Kind::Ftype 19 #include "SynTree/Type.h" // for TypeInstType, Type, BasicType 20 #include "SynTree/Visitor.h" // for Visitor 21 #include "typeops.h" // for ptrsAssignable 21 22 22 23 -
src/ResolvExpr/RenameVars.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <sstream> 16 #include <ext/alloc_traits.h> // for __alloc_traits<>::value_type 17 #include <memory> // for allocator_traits<>::value_type 18 #include <sstream> // for operator<<, basic_ostream, ostring... 19 #include <utility> // for pair 17 20 21 #include "Common/SemanticError.h" // for SemanticError 18 22 #include "RenameVars.h" 19 #include "SynTree/ Visitor.h"20 #include "SynTree/ Type.h"21 #include "SynTree/ Declaration.h"22 #include "SynTree/ Expression.h"23 #include "SynTree/Declaration.h" // for DeclarationWithType, TypeDecl, Dec... 24 #include "SynTree/Expression.h" // for Expression 25 #include "SynTree/Type.h" // for Type, TypeInstType, TraitInstType 26 #include "SynTree/Visitor.h" // for acceptAll, maybeAccept 23 27 24 28 namespace ResolvExpr { -
src/ResolvExpr/RenameVars.h
rae4038d rbd098ea 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // RenameVars.h -- 7 // RenameVars.h -- 8 8 // 9 9 // Author : Richard C. Bilson … … 16 16 #pragma once 17 17 18 #include <list> 19 #include <map> 20 #include <string> 18 #include <list> // for list 19 #include <map> // for map 20 #include <string> // for string 21 21 22 #include "SynTree/SynTree.h" 23 #include "SynTree/Visitor.h" 22 #include "SynTree/SynTree.h" // for Visitor Nodes 23 #include "SynTree/Visitor.h" // for Visitor 24 24 25 25 namespace ResolvExpr { -
src/ResolvExpr/ResolveTypeof.cc
rae4038d rbd098ea 15 15 16 16 #include "ResolveTypeof.h" 17 #include "Alternative.h" 18 #include "AlternativeFinder.h" 19 #include "Resolver.h" 20 #include "TypeEnvironment.h" 21 #include "SynTree/Expression.h" 22 #include "SynTree/Type.h" 17 18 #include <cassert> // for assert 19 20 #include "Resolver.h" // for resolveInVoidContext 21 #include "SynTree/Expression.h" // for Expression 22 #include "SynTree/Mutator.h" // for Mutator 23 #include "SynTree/Type.h" // for TypeofType, Type 24 25 namespace SymTab { 26 class Indexer; 27 } // namespace SymTab 23 28 24 29 namespace ResolvExpr { -
src/ResolvExpr/ResolveTypeof.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include "SynTree/SynTree.h" 19 #include "SymTab/Indexer.h" 18 class Type; 19 namespace SymTab { 20 class Indexer; 21 } // namespace SymTab 20 22 21 23 namespace ResolvExpr { -
src/ResolvExpr/Resolver.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <iostream> 17 18 #include "Alternative.h" 19 #include "AlternativeFinder.h" 20 #include "CurrentObject.h" 21 #include "RenameVars.h" 16 #include <stddef.h> // for NULL 17 #include <cassert> // for safe_dynamic_cast, assert 18 #include <memory> // for allocator, allocator_traits<... 19 #include <tuple> // for get 20 21 #include "Alternative.h" // for Alternative, AltList 22 #include "AlternativeFinder.h" // for AlternativeFinder, resolveIn... 23 #include "Common/SemanticError.h" // for SemanticError 24 #include "Common/utility.h" // for ValueGuard, group_iterate 25 #include "CurrentObject.h" // for CurrentObject 26 #include "InitTweak/InitTweak.h" // for isIntrinsicSingleArgCallStmt 27 #include "RenameVars.h" // for RenameVars, global_renamer 28 #include "ResolvExpr/TypeEnvironment.h" // for TypeEnvironment 29 #include "ResolveTypeof.h" // for resolveTypeof 22 30 #include "Resolver.h" 23 #include "ResolveTypeof.h" 24 #include "typeops.h" 25 26 #include "SynTree/Expression.h" 27 #include "SynTree/Initializer.h" 28 #include "SynTree/Statement.h" 29 #include "SynTree/Type.h" 30 31 #include "SymTab/Autogen.h" 32 #include "SymTab/Indexer.h" 33 34 #include "Common/utility.h" 35 36 #include "InitTweak/InitTweak.h" 31 #include "SymTab/Autogen.h" // for SizeType 32 #include "SymTab/Indexer.h" // for Indexer 33 #include "SynTree/Declaration.h" // for ObjectDecl, TypeDecl, Declar... 34 #include "SynTree/Expression.h" // for Expression, CastExpr, InitExpr 35 #include "SynTree/Initializer.h" // for ConstructorInit, SingleInit 36 #include "SynTree/Statement.h" // for ForStmt, Statement, BranchStmt 37 #include "SynTree/Type.h" // for Type, BasicType, PointerType 38 #include "SynTree/TypeSubstitution.h" // for TypeSubstitution 39 #include "SynTree/Visitor.h" // for acceptAll, maybeAccept 40 #include "typeops.h" // for extractResultType 37 41 38 42 using namespace std; -
src/ResolvExpr/Resolver.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include "SynTree/SynTree.h" 19 #include "SymTab/Indexer.h" 18 #include <list> // for list 19 20 class ConstructorInit; 21 class Declaration; 22 class Expression; 23 class StmtExpr; 24 namespace SymTab { 25 class Indexer; 26 } // namespace SymTab 20 27 21 28 namespace ResolvExpr { -
src/ResolvExpr/TypeEnvironment.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <algorithm> 17 #include <iterator> 18 16 #include <cassert> // for assert 17 #include <algorithm> // for copy, set_intersection 18 #include <iterator> // for ostream_iterator, insert_iterator 19 #include <utility> // for pair 20 21 #include "Common/utility.h" // for maybeClone 22 #include "SynTree/Type.h" // for Type, FunctionType, Type::Fora... 23 #include "SynTree/TypeSubstitution.h" // for TypeSubstitution 19 24 #include "TypeEnvironment.h" 20 #include "SynTree/Type.h"21 #include "SynTree/TypeSubstitution.h"22 #include "Common/utility.h"23 25 24 26 namespace ResolvExpr { -
src/ResolvExpr/TypeEnvironment.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <string> 19 #include <set> 20 #include <list> 21 #include <iostream> 18 #include <iostream> // for ostream 19 #include <list> // for list, list<>::iterator, list<>... 20 #include <map> // for map, map<>::value_compare 21 #include <set> // for set 22 #include <string> // for string 22 23 23 #include "SynTree/ SynTree.h"24 #include "SynTree/ Type.h"25 #include "SynTree/Type Substitution.h"26 #include "SynTree/ Declaration.h"24 #include "SynTree/Declaration.h" // for TypeDecl::Data, DeclarationWit... 25 #include "SynTree/SynTree.h" // for UniqueId 26 #include "SynTree/Type.h" // for Type, Type::ForallList 27 #include "SynTree/TypeSubstitution.h" // for TypeSubstitution 27 28 28 29 namespace ResolvExpr { -
src/ResolvExpr/Unify.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <set> 17 #include <memory> 18 16 #include <cassert> // for assertf, assert 17 #include <iterator> // for back_insert_iterator, back_inserter 18 #include <map> // for _Rb_tree_const_iterator, _Rb_tree_i... 19 #include <memory> // for unique_ptr, auto_ptr 20 #include <set> // for set 21 #include <string> // for string, operator==, operator!=, bas... 22 #include <utility> // for pair 23 24 #include "FindOpenVars.h" // for findOpenVars 25 #include "Parser/LinkageSpec.h" // for C 26 #include "SynTree/Constant.h" // for Constant 27 #include "SynTree/Declaration.h" // for TypeDecl, TypeDecl::Data, Declarati... 28 #include "SynTree/Expression.h" // for TypeExpr, Expression, ConstantExpr 29 #include "SynTree/Mutator.h" // for Mutator 30 #include "SynTree/Type.h" // for Type, TypeInstType, FunctionType 31 #include "SynTree/Visitor.h" // for Visitor 32 #include "Tuples/Tuples.h" // for isTtype 33 #include "TypeEnvironment.h" // for EqvClass, AssertionSet, OpenVarSet 19 34 #include "Unify.h" 20 #include "TypeEnvironment.h" 21 #include "typeops.h" 22 #include "FindOpenVars.h" 23 #include "SynTree/Visitor.h" 24 #include "SynTree/Type.h" 25 #include "SynTree/Declaration.h" 26 #include "SymTab/Indexer.h" 27 #include "Common/utility.h" 28 #include "Tuples/Tuples.h" 35 #include "typeops.h" // for flatten, occurs, commonType 36 37 namespace SymTab { 38 class Indexer; 39 } // namespace SymTab 29 40 30 41 // #define DEBUG -
src/ResolvExpr/Unify.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <map> 19 #include <list> 20 #include "SynTree/SynTree.h" 21 #include "SynTree/Type.h" 22 #include "SynTree/Declaration.h" 23 #include "SymTab/Indexer.h" 24 #include "TypeEnvironment.h" 25 #include "Common/utility.h" 18 #include <list> // for list 19 20 #include "Common/utility.h" // for deleteAll 21 #include "SynTree/Declaration.h" // for TypeDecl, TypeDecl::Data 22 #include "TypeEnvironment.h" // for AssertionSet, OpenVarSet 23 24 class Type; 25 class TypeInstType; 26 namespace SymTab { 27 class Indexer; 28 } // namespace SymTab 26 29 27 30 namespace ResolvExpr { -
src/SymTab/Autogen.cc
rae4038d rbd098ea 15 15 #include "Autogen.h" 16 16 17 #include <cstddef> // for NULL 17 18 #include <algorithm> // for count_if 18 19 #include <cassert> // for safe_dynamic_cast, assert, assertf … … 20 21 #include <list> // for list, _List_iterator, list<>::iter... 21 22 #include <set> // for set, _Rb_tree_const_iterator 23 #include <utility> // for pair 22 24 #include <vector> // for vector 23 25 24 #include "AddVisit.h" // for addVisit 25 #include "Common/ScopedMap.h" // for ScopedMap<>::const_iterator, Scope... 26 #include "Common/utility.h" // for cloneAll, operator+ 27 #include "GenPoly/DeclMutator.h" // for DeclMutator 28 #include "GenPoly/ScopedSet.h" // for ScopedSet, ScopedSet<>::iterator 29 #include "SymTab/Mangler.h" // for Mangler 30 #include "SynTree/Mutator.h" // for maybeMutate 31 #include "SynTree/Statement.h" // for CompoundStmt, ReturnStmt, ExprStmt 32 #include "SynTree/Type.h" // for FunctionType, Type, TypeInstType 33 #include "SynTree/Visitor.h" // for maybeAccept, Visitor, acceptAll 34 35 class Attribute; 26 #include "AddVisit.h" // for addVisit 27 #include "Common/ScopedMap.h" // for ScopedMap 28 #include "GenPoly/DeclMutator.h" // for DeclMutator 29 #include "GenPoly/ScopedSet.h" // for ScopedSet 30 #include "Parser/LinkageSpec.h" // for AutoGen, Intrinsic, Spec 31 #include "SymTab/Mangler.h" // for mangleType 32 #include "SynTree/Statement.h" // for SwitchStmt (ptr only), CompoundStmt 33 #include "SynTree/Type.h" // for Type, ArrayType, Type::StorageClasses 34 #include "SynTree/Visitor.h" // for Visitor 36 35 37 36 namespace SymTab { -
src/SymTab/Autogen.h
rae4038d rbd098ea 17 17 18 18 #include <cassert> // for assert 19 #include <iterator> // for back_insert_iterator, back_inserter 20 #include <list> // for list 21 #include <string> // for string, operator== 19 #include <string> // for string 22 20 23 21 #include "Common/UniqueName.h" // for UniqueName 24 22 #include "InitTweak/InitTweak.h" // for InitExpander 25 #include "Parser/LinkageSpec.h" // for C26 23 #include "SynTree/Constant.h" // for Constant 27 #include "SynTree/Declaration.h" // for ObjectDecl, Declaration (ptr only) 28 #include "SynTree/Expression.h" // for UntypedExpr, NameExpr, VariableExpr 29 #include "SynTree/Initializer.h" // for SingleInit 30 #include "SynTree/Label.h" // for Label, noLabels 31 #include "SynTree/Statement.h" // for Statement (ptr only), CompoundStmt 24 #include "SynTree/Declaration.h" // for DeclarationWithType, ObjectDecl 25 #include "SynTree/Expression.h" // for NameExpr, ConstantExpr, UntypedExpr... 32 26 #include "SynTree/Type.h" // for Type, ArrayType, Type::Qualifiers 27 28 class CompoundStmt; 29 class Statement; 33 30 34 31 namespace SymTab { -
src/SymTab/FixFunction.cc
rae4038d rbd098ea 20 20 #include "Common/utility.h" // for maybeClone 21 21 #include "SynTree/Declaration.h" // for FunctionDecl, ObjectDecl, Declarati... 22 #include "SynTree/Expression.h" // for Expression 22 23 #include "SynTree/Type.h" // for ArrayType, PointerType, Type, Basic... 23 24 -
src/SymTab/Mangler.cc
rae4038d rbd098ea 20 20 #include <iterator> // for ostream_iterator, back_insert_ite... 21 21 #include <list> // for _List_iterator, list, _List_const... 22 #include <string> // for string, operator<<, basic_string22 #include <string> // for string, char_traits, operator<< 23 23 24 24 #include "CodeGen/OperatorTable.h" // for OperatorInfo, operatorLookup 25 #include "Common/SemanticError.h" // for SemanticError 25 26 #include "Common/utility.h" // for toString 26 27 #include "Parser/LinkageSpec.h" // for Spec, isOverridable, AutoGen, Int... -
src/SymTab/Validate.cc
rae4038d rbd098ea 40 40 #include "Validate.h" 41 41 42 #include <cassert> // for assertf, assert 42 43 #include <cstddef> // for size_t 43 #include <algorithm> // for move, transform 44 #include <cassert> // for safe_dynamic_cast, assertf 45 #include <iterator> // for back_inserter, inserter, back_... 46 #include <list> // for list, _List_iterator, list<>::... 47 #include <map> // for _Rb_tree_iterator, map, map<>:... 48 #include <memory> // for unique_ptr, allocator 49 #include <string> // for string, operator+, operator== 50 #include <tuple> // for get 51 #include <utility> // for pair, make_pair 52 53 #include "AddVisit.h" // for addVisit 54 #include "Autogen.h" // for SizeType, autogenerateRoutines 44 #include <list> // for list 45 #include <string> // for string 46 #include <utility> // for pair 47 55 48 #include "CodeGen/CodeGenerator.h" // for genName 56 49 #include "Common/PassVisitor.h" // for PassVisitor, WithDeclsToAdd 57 #include "Common/ScopedMap.h" // for ScopedMap <>::const_iterator50 #include "Common/ScopedMap.h" // for ScopedMap 58 51 #include "Common/SemanticError.h" // for SemanticError 59 52 #include "Common/UniqueName.h" // for UniqueName 60 53 #include "Common/utility.h" // for operator+, cloneAll, deleteAll 61 #include "Concurrency/Keywords.h" // for applyKeywords , implementMutexF...54 #include "Concurrency/Keywords.h" // for applyKeywords 62 55 #include "FixFunction.h" // for FixFunction 63 56 #include "Indexer.h" // for Indexer 64 #include "InitTweak/InitTweak.h" // for isCtorDtor, isCtorDtorAssign 65 #include "Parser/LinkageSpec.h" // for C, Cforall 66 #include "ResolvExpr/typeops.h" // for extractResultType, typesCompat... 67 #include "SynTree/Attribute.h" // for Attribute 57 #include "InitTweak/InitTweak.h" // for isCtorDtorAssign 58 #include "Parser/LinkageSpec.h" // for C 59 #include "ResolvExpr/typeops.h" // for typesCompatible 60 #include "SymTab/AddVisit.h" // for addVisit 61 #include "SymTab/Autogen.h" // for SizeType 62 #include "SynTree/Attribute.h" // for noAttributes, Attribute 68 63 #include "SynTree/Constant.h" // for Constant 69 #include "SynTree/Declaration.h" // for EnumDecl, StructDecl, UnionDecl 70 #include "SynTree/Expression.h" // for TypeExpr, CompoundLiteralExpr 71 #include "SynTree/Initializer.h" // for ListInit, Initializer, noDesig... 72 #include "SynTree/Mutator.h" // for mutateAll, Mutator 73 #include "SynTree/Statement.h" // for CompoundStmt, DeclStmt, Return... 74 #include "SynTree/Type.h" // for Type, TypeInstType, TraitInstType 75 #include "SynTree/TypeSubstitution.h" // for TypeSubstitution, applySubstit... 76 #include "SynTree/Visitor.h" // for acceptAll, Visitor 64 #include "SynTree/Declaration.h" // for ObjectDecl, DeclarationWithType 65 #include "SynTree/Expression.h" // for CompoundLiteralExpr, Expressio... 66 #include "SynTree/Initializer.h" // for ListInit, Initializer 67 #include "SynTree/Label.h" // for operator==, Label 68 #include "SynTree/Mutator.h" // for Mutator 69 #include "SynTree/Type.h" // for Type, TypeInstType, EnumInstType 70 #include "SynTree/TypeSubstitution.h" // for TypeSubstitution 71 #include "SynTree/Visitor.h" // for Visitor 72 73 class CompoundStmt; 74 class ReturnStmt; 75 class SwitchStmt; 76 77 77 78 78 #define debugPrint( x ) if ( doDebug ) { std::cout << x; } -
src/SynTree/AddStmtVisitor.cc
rae4038d rbd098ea 15 15 16 16 #include "AddStmtVisitor.h" 17 #include "Statement.h" 18 #include "Declaration.h" 19 #include "Expression.h" 20 #include "Common/utility.h" 17 18 #include "Common/SemanticError.h" // for SemanticError 19 #include "Declaration.h" // for Declaration 20 #include "Expression.h" // for Expression 21 #include "Statement.h" // for CompoundStmt, ForStmt, IfStmt, Sta... 22 #include "SynTree/Label.h" // for Label, noLabels 21 23 22 24 void AddStmtVisitor::visitStatementList( std::list< Statement* > &statements ) { -
src/SynTree/AddStmtVisitor.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <list> 18 #include <list> // for list 19 19 20 #include "SynTree/SynTree.h" 21 #include "SynTree/Visitor.h" 20 #include "SynTree/SynTree.h" // for Visitor Nodes 21 #include "SynTree/Visitor.h" // for Visitor 22 22 23 23 class AddStmtVisitor : public Visitor { -
src/SynTree/AddressExpr.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Expression.h" 17 #include "Type.h" 18 #include "Common/utility.h" 16 #include <ostream> // for ostream, operator<<, basic_ostream, endl 17 #include <string> // for operator<<, string 18 19 #include "Common/utility.h" // for maybeClone 20 #include "Expression.h" // for AddressExpr, Expression 21 #include "Type.h" // for PointerType, Type, Type::Qualifiers 19 22 20 23 AddressExpr::AddressExpr( Expression *arg, Expression *_aname ) : Expression( _aname ), arg( arg ) { -
src/SynTree/AggregateDecl.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Declaration.h" 17 #include "Attribute.h" 18 #include "Type.h" 19 #include "Common/utility.h" 16 #include <list> // for list 17 #include <ostream> // for operator<<, basic_ostream, ostream 18 #include <string> // for operator<<, string, char_traits 19 20 #include "Attribute.h" // for Attribute 21 #include "Common/utility.h" // for printAll, cloneAll, deleteAll 22 #include "Declaration.h" // for AggregateDecl, TypeDecl, Declaration 23 #include "Parser/LinkageSpec.h" // for Spec, linkageName, Cforall 24 #include "Type.h" // for Type, Type::StorageClasses 20 25 21 26 -
src/SynTree/ApplicationExpr.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <cassert> 16 #include <cassert> // for safe_dynamic_cast, assert 17 #include <list> // for list 18 #include <map> // for _Rb_tree_const_iterator, map, map<>:... 19 #include <memory> // for unique_ptr 20 #include <ostream> // for operator<<, ostream, basic_ostream 21 #include <string> // for operator<<, string, char_traits 22 #include <utility> // for pair 17 23 18 #include "Expression.h" 19 #include "Declaration.h" 20 #include "Type.h" 21 #include "TypeSubstitution.h" 22 #include "Common/utility.h" 23 #include "ResolvExpr/typeops.h" 24 #include "Common/utility.h" // for maybeClone, cloneAll, deleteAll, pri... 25 #include "Declaration.h" // for Declaration 26 #include "Expression.h" // for ParamEntry, ApplicationExpr, Expression 27 #include "ResolvExpr/typeops.h" // for extractResultType 28 #include "Type.h" // for Type, PointerType, FunctionType 24 29 25 30 ParamEntry::ParamEntry( const ParamEntry &other ) : -
src/SynTree/ArrayType.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Type.h" 17 #include "Expression.h" 18 #include "Common/utility.h" 16 #include <list> // for list 17 #include <ostream> // for operator<<, ostream 18 19 #include "Common/utility.h" // for maybeClone 20 #include "Expression.h" // for Expression 21 #include "Type.h" // for ArrayType, Type, Type::Qualifiers 22 23 class Attribute; 19 24 20 25 -
src/SynTree/AttrType.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Type.h" 17 #include "Expression.h" 18 #include "Common/utility.h" 16 #include <list> // for list 17 #include <ostream> // for operator<<, ostream, basic_ostream 18 #include <string> // for char_traits, operator<<, string 19 20 #include "Common/utility.h" // for maybeClone 21 #include "Expression.h" // for Expression 22 #include "Type.h" // for AttrType, Type, Type::Qualifiers 23 24 class Attribute; 19 25 20 26 -
src/SynTree/Attribute.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include < cassert>16 #include <ostream> // for operator<<, ostream, basic_ostream, endl 17 17 18 #include "Common/utility.h"19 18 #include "Attribute.h" 20 #include "Expression.h" 19 #include "Common/utility.h" // for cloneAll, deleteAll, printAll 20 #include "Expression.h" // for Expression 21 21 22 22 Attribute::Attribute( const Attribute &other ) : name( other.name ) { -
src/SynTree/Attribute.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include "SynTree.h" 18 #include <iosfwd> // for ostream 19 #include <list> // for list 20 #include <string> // for string, operator== 21 22 class Expression; 19 23 20 24 // GCC attribute -
src/SynTree/BasicType.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <cassert> 17 #include "Type.h" 16 #include <cassert> // for assert 17 #include <list> // for list 18 #include <ostream> // for operator<<, ostream 19 20 #include "Type.h" // for BasicType, Type, BasicType::Kind, BasicType::Kind... 21 22 class Attribute; 18 23 19 24 BasicType::BasicType( const Type::Qualifiers &tq, Kind bt, const std::list< Attribute * > & attributes ) : Type( tq, attributes ), kind( bt ) {} -
src/SynTree/CommaExpr.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Expression.h" 17 #include "Type.h" 18 #include "Common/utility.h" 16 #include <ostream> // for ostream, endl, operator<<, basic_ostream 17 #include <string> // for operator<<, string 18 19 #include "Common/utility.h" // for maybeClone 20 #include "Expression.h" // for CommaExpr, Expression 21 #include "Type.h" // for Type 19 22 20 23 CommaExpr::CommaExpr( Expression *arg1, Expression *arg2, Expression *_aname ) -
src/SynTree/CompoundStmt.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Statement.h" 17 #include "Common/utility.h" 18 #include <algorithm> 19 #include <functional> 20 #include "Expression.h" 21 #include "Declaration.h" 22 #include "SynTree/VarExprReplacer.h" 16 #include <cassert> // for assert, safe_dynamic_cast 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... 23 26 24 27 using std::string; -
src/SynTree/Constant.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include < iostream>17 #include < list>18 #include <string> 16 #include <cassert> // for safe_dynamic_cast, assertf 17 #include <iostream> // for operator<<, ostream, basic_ostream 18 #include <string> // for to_string, string, char_traits, operator<< 19 19 20 20 #include "Constant.h" 21 #include "Type.h" 21 #include "Type.h" // for BasicType, Type, Type::Qualifiers, PointerType 22 22 23 23 Constant::Constant( Type * type, std::string rep, unsigned long long val ) : type( type ), rep( rep ), val( val ) {} -
src/SynTree/Constant.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include "SynTree.h" 19 #include "Visitor.h" 20 #include "Mutator.h" 18 #include <iosfwd> // for ostream 19 #include <string> // for string 20 21 #include "Mutator.h" // for Mutator 22 #include "Visitor.h" // for Visitor 23 24 class Type; 21 25 22 26 class Constant { -
src/SynTree/DeclStmt.cc
rae4038d rbd098ea 5 5 // file "LICENCE" distributed with Cforall. 6 6 // 7 // DeclStmt.cc -- 7 // DeclStmt.cc -- 8 8 // 9 9 // Author : Richard C. Bilson … … 14 14 // 15 15 16 #include "Statement.h" 17 #include "Declaration.h" 18 #include "Common/utility.h" 16 #include <cassert> // for assert 17 #include <list> // for list 18 #include <ostream> // for operator<<, ostream 19 20 #include "Common/utility.h" // for maybeClone 21 #include "Declaration.h" // for Declaration 22 #include "Statement.h" // for DeclStmt, Statement 23 #include "SynTree/Label.h" // for Label 19 24 20 25 DeclStmt::DeclStmt( std::list<Label> labels, Declaration *decl ) : Statement( labels ), decl( decl ) { -
src/SynTree/Declaration.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <string> 17 #include <map> 16 #include <map> // for _Rb_tree_const_iterator, map<>::... 17 #include <ostream> // for ostream, operator<<, basic_ostre... 18 #include <string> // for string 19 #include <utility> // for pair 20 21 #include "Common/utility.h" // for maybeClone 18 22 #include "Declaration.h" 19 #include "Expression.h" 20 #include "Initializer.h" 21 #include "Type.h" 22 #include "Attribute.h" 23 #include "Common/utility.h" 23 #include "SynTree/BaseSyntaxNode.h" // for BaseSyntaxNode 24 #include "SynTree/Statement.h" // for AsmStmt 25 #include "SynTree/SynTree.h" // for UniqueId 26 #include "Type.h" // for Type, Type::StorageClasses 24 27 25 28 static UniqueId lastUniqueId = 0; -
src/SynTree/Declaration.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <string> 19 20 #include "BaseSyntaxNode.h" 21 #include "Mutator.h" 22 #include "Visitor.h" 23 #include "SynTree.h" 24 #include "Parser/LinkageSpec.h" 25 #include "Parser/ParseNode.h" 18 #include <cassert> // for assertf 19 #include <iosfwd> // for ostream 20 #include <list> // for list 21 #include <string> // for string, operator+, allocator, to_string 22 23 #include "BaseSyntaxNode.h" // for BaseSyntaxNode 24 #include "Mutator.h" // for Mutator 25 #include "Parser/LinkageSpec.h" // for Spec, Cforall 26 #include "Parser/ParseNode.h" // for DeclarationNode, DeclarationNode::Ag... 27 #include "SynTree.h" // for UniqueId 28 #include "SynTree/Type.h" // for Type, Type::StorageClasses, Type::Fu... 29 #include "Visitor.h" // for Visitor 30 31 class AsmStmt; 32 class Attribute; 33 class CompoundStmt; 34 class ConstantExpr; 35 class Expression; 36 class Initializer; 37 class TypeDecl; 26 38 27 39 class Declaration : public BaseSyntaxNode { -
src/SynTree/DeclarationWithType.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Declaration.h" 17 #include "Type.h" 18 #include "Attribute.h" 19 #include "Common/utility.h" 16 #include <list> // for list 17 #include <string> // for string 18 19 #include "Attribute.h" // for Attribute 20 #include "Common/utility.h" // for cloneAll, deleteAll, maybeClone 21 #include "Declaration.h" // for DeclarationWithType, Declaration 22 #include "Parser/LinkageSpec.h" // for Spec 23 #include "SynTree/Expression.h" // for ConstantExpr 24 #include "Type.h" // for Type, Type::FuncSpecifiers, Type::St... 20 25 21 26 DeclarationWithType::DeclarationWithType( const std::string &name, Type::StorageClasses scs, LinkageSpec::Spec linkage, const std::list< Attribute * > & attributes, Type::FuncSpecifiers fs ) -
src/SynTree/Expression.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <iostream> 17 #include <cassert> 18 #include <list> 19 #include <algorithm> 20 21 #include <iterator> 22 23 #include "Declaration.h" 24 #include "Expression.h" 25 #include "Initializer.h" 26 #include "Statement.h" 27 #include "Type.h" 28 #include "TypeSubstitution.h" 29 #include "VarExprReplacer.h" 30 31 #include "Common/utility.h" 32 #include "Common/PassVisitor.h" 33 34 #include "InitTweak/InitTweak.h" 16 #include "SynTree/Expression.h" 17 18 #include <cassert> // for assert, assertf 19 #include <iostream> // for ostream, operator<<, basic_ostream 20 #include <list> // for list, _List_iterator, list<>::co... 21 22 #include "Common/utility.h" // for maybeClone, cloneAll, deleteAll 23 #include "Declaration.h" // for ObjectDecl, DeclarationWithType 24 #include "Expression.h" // for Expression, ImplicitCopyCtorExpr 25 #include "InitTweak/InitTweak.h" // for getCallArg, getPointerBase 26 #include "Initializer.h" // for Designation, Initializer 27 #include "Statement.h" // for CompoundStmt, ExprStmt, Statement 28 #include "SynTree/BaseSyntaxNode.h" // for BaseSyntaxNode 29 #include "SynTree/Constant.h" // for Constant 30 #include "Type.h" // for Type, BasicType, Type::Qualifiers 31 #include "TypeSubstitution.h" // for TypeSubstitution 35 32 36 33 -
src/SynTree/Expression.h
rae4038d rbd098ea 13 13 // Update Count : 44 14 14 // 15 16 15 #pragma once 17 16 18 #include <map> 19 #include <memory> 20 21 #include "BaseSyntaxNode.h" 22 #include "Constant.h" 23 #include "Mutator.h" 24 #include "SynTree.h" 25 #include "Visitor.h" 26 #include "Common/UniqueName.h" 17 #include <iosfwd> // for ostream 18 #include <list> // for list, list<>::iterator 19 #include <map> // for map, map<>::value_compare 20 #include <memory> // for allocator, unique_ptr 21 #include <string> // for string 22 23 #include "BaseSyntaxNode.h" // for BaseSyntaxNode 24 #include "Constant.h" // for Constant 25 #include "Initializer.h" // for Designation (ptr only), Initializer 26 #include "Mutator.h" // for Mutator 27 #include "SynTree.h" // for UniqueId 28 #include "Visitor.h" // for Visitor 29 27 30 28 31 /// Expression is the root type for all expressions … … 57 60 58 61 struct ParamEntry; 62 59 63 typedef std::map< UniqueId, ParamEntry > InferredParams; 60 64 -
src/SynTree/FunctionDecl.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <cassert> 16 #include <cassert> // for assert 17 #include <list> // for list 18 #include <ostream> // for operator<<, ostream, basic_ostream 19 #include <string> // for operator<<, string, char_traits, ope... 17 20 18 #include " Declaration.h"19 #include " Statement.h"20 #include " Type.h"21 #include " Attribute.h"22 #include " Common/utility.h"23 #include " InitTweak/InitTweak.h"24 #include " CodeGen/FixMain.h"21 #include "Attribute.h" // for Attribute 22 #include "CodeGen/FixMain.h" // for FixMain 23 #include "Common/utility.h" // for maybeClone, printAll 24 #include "Declaration.h" // for FunctionDecl, FunctionDecl::Parent 25 #include "Parser/LinkageSpec.h" // for Spec, linkageName, Cforall 26 #include "Statement.h" // for CompoundStmt 27 #include "Type.h" // for Type, FunctionType, Type::FuncSpecif... 25 28 26 29 extern bool translation_unit_nomain; -
src/SynTree/FunctionType.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <algorithm> 16 #include <list> // for list 17 #include <ostream> // for operator<<, basic_ostream, ostream, endl 18 #include <string> // for operator<<, char_traits, string 17 19 18 #include "Type.h" 19 #include "Declaration.h" 20 #include "Common/utility.h" 21 #include "Tuples/Tuples.h" 20 #include "Common/utility.h" // for cloneAll, deleteAll, printAll 21 #include "Declaration.h" // for DeclarationWithType 22 #include "Tuples/Tuples.h" // for isTtype 23 #include "Type.h" // for FunctionType, Type, Type::Qualifiers 24 25 class Attribute; 22 26 23 27 FunctionType::FunctionType( const Type::Qualifiers &tq, bool isVarArgs, const std::list< Attribute * > & attributes ) : Type( tq, attributes ), isVarArgs( isVarArgs ) { -
src/SynTree/Initializer.cc
rae4038d rbd098ea 15 15 16 16 #include "Initializer.h" 17 #include "Expression.h" 18 #include "Statement.h" 19 #include "Common/utility.h" 17 18 #include <cassert> // for assertf 19 #include <ostream> // for ostream, operator<<, basic_ostream 20 #include <string> // for operator<<, string, char_traits 21 22 #include "Common/utility.h" // for maybeClone, cloneAll, deleteAll 23 #include "Expression.h" // for Expression 24 #include "Statement.h" // for Statement 25 #include "SynTree/BaseSyntaxNode.h" // for BaseSyntaxNode 20 26 21 27 Designation::Designation( const std::list< Expression * > & designators ) : designators( designators ) {} -
src/SynTree/Initializer.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <cassert> 18 #include <iosfwd> // for ostream 19 #include <list> // for list, list<>::const_iterator, list<>::it... 19 20 20 #include "BaseSyntaxNode.h" 21 #include "Mutator.h" 22 #include "SynTree.h" 23 #include "Type.h" 24 #include "Visitor.h" 21 #include "BaseSyntaxNode.h" // for BaseSyntaxNode 22 #include "Mutator.h" // for Mutator 23 #include "Visitor.h" // for Visitor 24 25 class Expression; 26 class Statement; 25 27 26 28 // Designation: list of designator (NameExpr, VariableExpr, and ConstantExpr) expressions that specify an object being initialized. -
src/SynTree/Mutator.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <cassert> 16 #include <cassert> // for assert 17 #include <list> // for list 18 19 #include "Declaration.h" // for ObjectDecl, Declaration, DeclarationWi... 20 #include "Expression.h" // for Expression, ConstantExpr, ConditionalExpr 21 #include "Initializer.h" // for ConstructorInit, Initializer, Designation 17 22 #include "Mutator.h" 18 #include "Initializer.h" 19 #include "Statement.h" 20 #include "Type.h" 21 #include "Declaration.h" 22 #include "Expression.h" 23 #include "Constant.h" 24 #include "Common/utility.h" 25 #include "TypeSubstitution.h" 23 #include "Statement.h" // for Statement, CatchStmt, AsmStmt, ForStmt 24 #include "Type.h" // for Type, Type::ForallList, AttrType, Arra... 25 #include "TypeSubstitution.h" // for TypeSubstitution 26 27 class Constant; 28 class Subrange; 26 29 27 30 Mutator::Mutator() {} -
src/SynTree/Mutator.h
rae4038d rbd098ea 13 13 // Update Count : 16 14 14 // 15 # include <cassert>15 #pragma once 16 16 17 #include "SynTree.h" 18 #include "Common/SemanticError.h" 17 #include <cassert> // for assert 19 18 20 #pragma once 19 #include "Common/SemanticError.h" // for SemanticError 20 #include "SynTree/SynTree.h" // for AST nodes 21 21 22 22 class Mutator { -
src/SynTree/NamedTypeDecl.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Declaration.h" 17 #include "Type.h" 18 #include "Common/utility.h" 16 #include <list> // for list 17 #include <ostream> // for operator<<, ostream, basic_ostream 18 #include <string> // for operator<<, string, char_traits, ope... 19 20 #include "Common/utility.h" // for printAll, cloneAll, deleteAll, maybe... 21 #include "Declaration.h" // for NamedTypeDecl, DeclarationWithType 22 #include "Parser/LinkageSpec.h" // for Spec, Cforall, linkageName 23 #include "Type.h" // for Type, Type::StorageClasses 19 24 20 25 NamedTypeDecl::NamedTypeDecl( const std::string &name, Type::StorageClasses scs, Type *base ) -
src/SynTree/ObjectDecl.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Declaration.h" 17 #include "Type.h" 18 #include "Initializer.h" 19 #include "Expression.h" 20 #include "Attribute.h" 21 #include "Common/utility.h" 22 #include "Statement.h" 16 #include <list> // for list 17 #include <ostream> // for operator<<, ostream, basic_ostream 18 #include <string> // for operator<<, string, char_traits, ope... 19 20 #include "Attribute.h" // for Attribute 21 #include "Common/utility.h" // for maybeClone, printAll 22 #include "Declaration.h" // for ObjectDecl, ObjectDecl::Parent 23 #include "Expression.h" // for Expression 24 #include "Initializer.h" // for Initializer 25 #include "Parser/LinkageSpec.h" // for Spec, linkageName, Cforall 26 #include "Type.h" // for Type, Type::StorageClasses, Type::Fu... 23 27 24 28 ObjectDecl::ObjectDecl( const std::string &name, Type::StorageClasses scs, LinkageSpec::Spec linkage, Expression *bitfieldWidth, Type *type, Initializer *init, const std::list< Attribute * > attributes, Type::FuncSpecifiers fs ) -
src/SynTree/PointerType.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Type.h" 17 #include "Expression.h" 18 #include "Common/utility.h" 16 #include <list> // for list 17 #include <ostream> // for operator<<, ostream 18 19 #include "Common/utility.h" // for maybeClone 20 #include "Expression.h" // for Expression 21 #include "Type.h" // for PointerType, Type, Type::Qualifiers 22 23 class Attribute; 19 24 20 25 PointerType::PointerType( const Type::Qualifiers &tq, Type *base, const std::list< Attribute * > & attributes ) -
src/SynTree/ReferenceToType.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <string> 17 #include <cassert> 16 #include <stddef.h> // for NULL 17 #include <cassert> // for assert 18 #include <list> // for list, _List_const_iterator, list<>::cons... 19 #include <ostream> // for operator<<, basic_ostream, ostream, endl 20 #include <string> // for string, operator<<, char_traits, operator== 18 21 19 #include "Type.h" 20 #include "Declaration.h" 21 #include "Expression.h" 22 #include "TypeSubstitution.h" 23 #include "Common/utility.h" 22 #include "Common/utility.h" // for printAll, cloneAll, deleteAll 23 #include "Declaration.h" // for StructDecl, UnionDecl, EnumDecl, Declara... 24 #include "Expression.h" // for Expression 25 #include "Type.h" // for TypeInstType, StructInstType, UnionInstType 26 27 class Attribute; 24 28 25 29 ReferenceToType::ReferenceToType( const Type::Qualifiers &tq, const std::string &name, const std::list< Attribute * > & attributes ) : Type( tq, attributes ), name( name ), hoistType( false ) { -
src/SynTree/Statement.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <functional> 17 #include <algorithm> 18 #include <iostream> 19 #include <list> 20 #include <cassert> 21 22 #include "Statement.h" 23 #include "Expression.h" 24 #include "Declaration.h" 25 #include "Common/SemanticError.h" 16 #include "SynTree/Statement.h" 17 18 #include <stddef.h> // for NULL 19 #include <cassert> // for assert, assertf 20 #include <iostream> // for operator<<, basic_ostream, endl 21 #include <list> // for list, list<>::const_iterator, _Lis... 22 #include <string> // for operator<<, string, char_traits 23 24 #include "Common/SemanticError.h" // for SemanticError 25 #include "Common/utility.h" // for maybeClone, cloneAll, deleteAll 26 #include "Declaration.h" // for Declaration 27 #include "Expression.h" // for Expression, ConstantExpr 28 #include "Statement.h" // for Statement, ForStmt, AsmStmt, Catch... 29 #include "SynTree/Label.h" // for Label, operator<< 26 30 27 31 using std::string; -
src/SynTree/Statement.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include "BaseSyntaxNode.h" 19 #include "Label.h" 20 #include "Mutator.h" 21 #include "SynTree.h" 22 #include "Type.h" 23 #include "Visitor.h" 24 #include "Common/SemanticError.h" 18 #include <iosfwd> // for ostream 19 #include <list> // for list 20 #include <memory> // for allocator 21 22 #include "BaseSyntaxNode.h" // for BaseSyntaxNode 23 #include "Common/SemanticError.h" // for SemanticError 24 #include "Label.h" // for Label 25 #include "Mutator.h" // for Mutator 26 #include "Visitor.h" // for Visitor 27 28 class CatchStmt; 29 class ConstantExpr; 30 class Declaration; 31 class Expression; 32 class FinallyStmt; 25 33 26 34 class Statement : public BaseSyntaxNode { -
src/SynTree/TupleExpr.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Expression.h" 17 #include "Common/utility.h" 18 #include "Type.h" 19 #include "Declaration.h" 20 #include "Tuples/Tuples.h" 21 #include "VarExprReplacer.h" 16 #include <cassert> // for assert, safe_dynamic_cast, assertf 17 #include <iterator> // for next 18 #include <list> // for list, _List_iterator 19 #include <ostream> // for ostream, operator<<, basic_ostream, endl 20 #include <string> // for operator<<, string, char_traits 21 22 #include "Common/utility.h" // for cloneAll, deleteAll, printAll, toString 23 #include "Declaration.h" // for ObjectDecl 24 #include "Expression.h" // for Expression, TupleExpr, TupleIndexExpr 25 #include "SynTree/Label.h" // for Label, noLabels 26 #include "SynTree/Statement.h" // for CompoundStmt, DeclStmt, ExprStmt, Sta... 27 #include "Tuples/Tuples.h" // for makeTupleType 28 #include "Type.h" // for TupleType, Type 22 29 23 30 UntypedTupleExpr::UntypedTupleExpr( const std::list< Expression * > & exprs, Expression *_aname ) : Expression( _aname ), exprs( exprs ) { -
src/SynTree/TupleType.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Declaration.h" 17 #include "Initializer.h" 18 #include "Type.h" 19 #include "Common/utility.h" 20 #include "Parser/LinkageSpec.h" 16 #include <list> // for list 17 #include <ostream> // for operator<<, ostream, basic_ostream 18 19 #include "Common/utility.h" // for cloneAll, deleteAll, printAll 20 #include "Declaration.h" // for Declaration, ObjectDecl 21 #include "Initializer.h" // for ListInit 22 #include "Parser/LinkageSpec.h" // for Cforall 23 #include "Type.h" // for TupleType, Type, Type::Qualifiers 24 25 class Attribute; 21 26 22 27 TupleType::TupleType( const Type::Qualifiers &tq, const std::list< Type * > & types, const std::list< Attribute * > & attributes ) : Type( tq, attributes ), types( types ) { -
src/SynTree/Type.cc
rae4038d rbd098ea 13 13 // Update Count : 29 14 14 // 15 #include "Type.h" 15 16 16 #include "SynTree.h" 17 #include "Visitor.h" 18 #include "Type.h" 19 #include "Declaration.h" 20 #include "Attribute.h" 21 #include "InitTweak/InitTweak.h" 22 #include "Common/utility.h" 17 #include "Attribute.h" // for Attribute 18 #include "Common/utility.h" // for cloneAll, deleteAll, printAll 19 #include "InitTweak/InitTweak.h" // for getPointerBase 20 #include "SynTree/BaseSyntaxNode.h" // for BaseSyntaxNode 21 #include "SynTree/Declaration.h" // for TypeDecl 23 22 24 23 using namespace std; -
src/SynTree/Type.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include "BaseSyntaxNode.h" 19 #include "Mutator.h" 20 #include "SynTree.h" 21 #include "Visitor.h" 22 #include <strings.h> // ffs 18 #include <strings.h> // for ffs 19 #include <cassert> // for assert, assertf 20 #include <list> // for list, _List_iterator 21 #include <ostream> // for ostream, operator<<, basic_ostream 22 #include <string> // for string 23 24 #include "BaseSyntaxNode.h" // for BaseSyntaxNode 25 #include "Common/utility.h" // for operator+ 26 #include "Mutator.h" // for Mutator 27 #include "SynTree.h" // for AST nodes 28 #include "Visitor.h" // for Visitor 23 29 24 30 class Type : public BaseSyntaxNode { -
src/SynTree/TypeDecl.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Declaration.h" 17 #include "Type.h" 18 #include "Common/utility.h" 16 #include <ostream> // for ostream, operator<<, basic_ostream, basi... 17 #include <string> // for string, char_traits, operator+, operator<< 18 19 #include "Common/utility.h" // for maybeClone 20 #include "Declaration.h" // for TypeDecl, TypeDecl::Data, TypeDecl::Kind... 21 #include "Type.h" // for Type, Type::StorageClasses 19 22 20 23 TypeDecl::TypeDecl( const std::string &name, Type::StorageClasses scs, Type *type, Kind kind, Type * init ) : Parent( name, scs, type ), init( init ), sized( kind == Any || kind == Ttype ), kind( kind ) { -
src/SynTree/TypeExpr.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Expression.h" 17 #include "Type.h" 18 #include "Common/utility.h" 16 #include <iosfwd> // for ostream 17 18 #include "Common/utility.h" // for maybeClone 19 #include "Expression.h" // for TypeExpr, Expression 20 #include "Type.h" // for Type 19 21 20 22 TypeExpr::TypeExpr( Type *type ) : type( type ) { -
src/SynTree/TypeSubstitution.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Type.h" 16 #include <ostream> // for ostream, basic_ostream, operator<<, endl 17 18 #include "Type.h" // for TypeInstType, Type, StructInstType, UnionInstType 17 19 #include "TypeSubstitution.h" 18 20 -
src/SynTree/TypeSubstitution.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <map> 19 #include <set> 20 #include <cassert> 18 #include <cassert> // for assert 19 #include <iosfwd> // for ostream 20 #include <list> // for list<>::iterator, _List_iterator 21 #include <map> // for _Rb_tree_iterator, map, map<>::val... 22 #include <set> // for set 23 #include <string> // for string, operator!= 24 #include <utility> // for pair 21 25 22 #include "SynTree/Mutator.h" 23 #include "SynTree/Declaration.h" 24 #include "SynTree/Expression.h" 26 #include "Common/SemanticError.h" // for SemanticError 27 #include "SynTree/Declaration.h" // for TypeDecl, Declaration (ptr only) 28 #include "SynTree/Expression.h" // for Expression (ptr only), NameExpr (p... 29 #include "SynTree/Mutator.h" // for Mutator 30 #include "SynTree/Type.h" // for Type, ArrayType (ptr only), BasicT... 25 31 26 32 class TypeSubstitution : public Mutator { -
src/SynTree/TypeofType.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Type.h" 17 #include "Expression.h" 18 #include "Common/utility.h" 16 #include <list> // for list 17 #include <ostream> // for operator<<, ostream 18 19 #include "Common/utility.h" // for maybeClone 20 #include "Expression.h" // for Expression 21 #include "Type.h" // for TypeofType, Type, Type::Qualifiers 22 23 class Attribute; 19 24 20 25 TypeofType::TypeofType( const Type::Qualifiers &tq, Expression *expr, const std::list< Attribute * > & attributes ) : Type( tq, attributes ), expr( expr ) { -
src/SynTree/VarArgsType.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Type.h" 16 #include <list> // for list 17 #include <ostream> // for operator<<, ostream 18 19 #include "Type.h" // for Type, VarArgsType, Type::Qualifiers 20 21 class Attribute; 17 22 18 23 VarArgsType::VarArgsType() : Type( Type::Qualifiers(), std::list< Attribute * >() ) {} -
src/SynTree/VarExprReplacer.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Declaration.h" 17 #include "Expression.h" 16 #include <iostream> // for operator<<, basic_ostream, ostream, basic_o... 17 18 #include "Declaration.h" // for operator<<, DeclarationWithType 19 #include "Expression.h" // for VariableExpr 18 20 #include "VarExprReplacer.h" 19 21 -
src/SynTree/VarExprReplacer.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <map> 18 #include <map> // for map, map<>::value_compare 19 19 20 #include "SynTree/SynTree.h" 20 #include "SynTree/Visitor.h" // for Visitor 21 22 class DeclarationWithType; 23 class VariableExpr; 21 24 22 25 /// Visitor that replaces the declarations that VariableExprs refer to, according to the supplied mapping -
src/SynTree/Visitor.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <cassert> 16 #include <cassert> // for assert 17 #include <list> // for list 18 19 #include "Constant.h" // for Constant 20 #include "Declaration.h" // for DeclarationWithType, ObjectDecl, Declaration 21 #include "Expression.h" // for Expression, ConstantExpr, ImplicitCopyCtorExpr 22 #include "Initializer.h" // for Initializer, Designation, ConstructorInit 23 #include "Statement.h" // for Statement, CatchStmt, AsmStmt, CompoundStmt 24 #include "Type.h" // for Type, Type::ForallList, AttrType, FunctionType 17 25 #include "Visitor.h" 18 #include "Initializer.h" 19 #include "Statement.h" 20 #include "Type.h" 21 #include "Declaration.h" 22 #include "Expression.h" 23 #include "Constant.h" 26 27 class Subrange; 24 28 25 29 Visitor::Visitor() {} -
src/SynTree/Visitor.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include "SynTree.h" 19 #include "Common/SemanticError.h" 20 #include "Common/CompilerError.h" 18 #include "Common/SemanticError.h" // for SemanticError 19 #include "SynTree.h" // for AST nodes 21 20 22 21 class Visitor { -
src/SynTree/VoidType.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Type.h" 16 #include <list> // for list 17 #include <ostream> // for operator<<, ostream 18 19 #include "Type.h" // for VoidType, Type, Type::Qualifiers 20 21 class Attribute; 17 22 18 23 VoidType::VoidType( const Type::Qualifiers &tq, const std::list< Attribute * > & attributes ) : Type( tq, attributes ) { -
src/SynTree/ZeroOneType.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "Type.h" 16 #include <list> // for list 17 #include <ostream> // for operator<<, ostream 18 19 #include "Type.h" // for Type, Type::Qualifiers, OneType, ZeroType 20 21 class Attribute; 17 22 18 23 ZeroType::ZeroType() : Type( Type::Qualifiers(), std::list< Attribute * >() ) {} -
src/Tuples/Explode.cc
rae4038d rbd098ea 15 15 16 16 #include "Explode.h" 17 #include "SynTree/Mutator.h" 17 18 #include <list> // for list 19 20 #include "SynTree/Mutator.h" // for Mutator 18 21 19 22 namespace Tuples { -
src/Tuples/Explode.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include "ResolvExpr/AlternativeFinder.h" 19 #include "ResolvExpr/Resolver.h" 18 #include <iterator> // for back_inserter, back_insert_iterator 20 19 21 #include "SynTree/Expression.h" 22 #include "SynTree/Declaration.h" 23 #include "SynTree/Type.h" 20 #include "ResolvExpr/Alternative.h" // for Alternative, AltList 21 #include "SynTree/Expression.h" // for Expression, UniqueExpr, AddressExpr 22 #include "SynTree/Type.h" // for TupleType, Type 23 #include "Tuples.h" // for maybeImpure 24 24 25 #include "Tuples.h" 25 namespace SymTab { 26 class Indexer; 27 } // namespace SymTab 26 28 27 29 namespace Tuples { -
src/Tuples/TupleAssignment.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include "ResolvExpr/AlternativeFinder.h" 17 #include "ResolvExpr/Alternative.h" 18 #include "ResolvExpr/typeops.h" 19 #include "SynTree/Expression.h" 20 #include "SynTree/Initializer.h" 21 #include "Tuples.h" 22 #include "Explode.h" 23 #include "Common/SemanticError.h" 24 #include "InitTweak/InitTweak.h" 25 #include "InitTweak/GenInit.h" 26 27 #include <functional> 28 #include <algorithm> 29 #include <iterator> 30 #include <iostream> 31 #include <cassert> 32 #include <set> 33 #include <unordered_set> 16 #include <algorithm> // for transform 17 #include <cassert> // for assert 18 #include <iterator> // for back_insert_iterator, back... 19 #include <list> // for _List_const_iterator, _Lis... 20 #include <memory> // for unique_ptr, allocator_trai... 21 #include <string> // for string 22 23 #include "Common/UniqueName.h" // for UniqueName 24 #include "Common/utility.h" // for zipWith 25 #include "Explode.h" // for explode 26 #include "InitTweak/GenInit.h" // for genCtorInit 27 #include "InitTweak/InitTweak.h" // for getPointerBase, isAssignment 28 #include "Parser/LinkageSpec.h" // for Cforall 29 #include "ResolvExpr/Alternative.h" // for AltList, Alternative 30 #include "ResolvExpr/AlternativeFinder.h" // for AlternativeFinder, simpleC... 31 #include "ResolvExpr/Cost.h" // for Cost 32 #include "ResolvExpr/Resolver.h" // for resolveCtorInit 33 #include "ResolvExpr/TypeEnvironment.h" // for TypeEnvironment 34 #include "SynTree/Declaration.h" // for ObjectDecl 35 #include "SynTree/Expression.h" // for Expression, CastExpr, Name... 36 #include "SynTree/Initializer.h" // for ConstructorInit, SingleInit 37 #include "SynTree/Statement.h" // for ExprStmt 38 #include "SynTree/Type.h" // for Type, Type::Qualifiers 39 #include "SynTree/TypeSubstitution.h" // for TypeSubstitution 40 #include "SynTree/Visitor.h" // for Visitor 34 41 35 42 namespace Tuples { -
src/Tuples/TupleExpansion.cc
rae4038d rbd098ea 14 14 // 15 15 16 #include <iterator> 17 #include <iostream> 18 #include <cassert> 19 #include "Tuples.h" 20 #include "Common/PassVisitor.h" 21 #include "Common/ScopedMap.h" 22 #include "GenPoly/DeclMutator.h" 23 #include "InitTweak/GenInit.h" 24 #include "InitTweak/InitTweak.h" 25 #include "ResolvExpr/typeops.h" 26 #include "SymTab/Mangler.h" 27 #include "SynTree/Declaration.h" 28 #include "SynTree/Expression.h" 29 #include "SynTree/Initializer.h" 30 #include "SynTree/Mutator.h" 31 #include "SynTree/Statement.h" 32 #include "SynTree/Type.h" 16 #include <stddef.h> // for size_t 17 #include <cassert> // for assert 18 #include <list> // for list 19 20 #include "Common/PassVisitor.h" // for PassVisitor, WithDeclsToAdd, WithGu... 21 #include "Common/ScopedMap.h" // for ScopedMap 22 #include "Common/utility.h" // for CodeLocation 23 #include "GenPoly/DeclMutator.h" // for DeclMutator 24 #include "InitTweak/InitTweak.h" // for getFunction 25 #include "Parser/LinkageSpec.h" // for Spec, C, Intrinsic 26 #include "SynTree/Constant.h" // for Constant 27 #include "SynTree/Declaration.h" // for StructDecl, DeclarationWithType 28 #include "SynTree/Expression.h" // for UntypedMemberExpr, Expression, Uniq... 29 #include "SynTree/Label.h" // for operator==, Label 30 #include "SynTree/Mutator.h" // for Mutator 31 #include "SynTree/Type.h" // for Type, Type::Qualifiers, TupleType 32 #include "SynTree/Visitor.h" // for Visitor 33 34 class CompoundStmt; 35 class TypeSubstitution; 33 36 34 37 namespace Tuples { -
src/Virtual/ExpandCasts.cc
rae4038d rbd098ea 15 15 16 16 #include "ExpandCasts.h" 17 #include "Common/PassVisitor.h" 17 18 #include <cassert> // for assert, assertf 19 #include <iterator> // for back_inserter, inserter 20 #include <map> // for map, _Rb_tree_iterator, map<>::ite... 21 #include <string> // for string, allocator, operator==, ope... 22 #include <utility> // for pair 23 24 #include "Common/PassVisitor.h" // for PassVisitor 25 #include "Common/SemanticError.h" // for SemanticError 26 #include "SynTree/Declaration.h" // for ObjectDecl, StructDecl, FunctionDecl 27 #include "SynTree/Expression.h" // for VirtualCastExpr, CastExpr, Address... 28 #include "SynTree/Mutator.h" // for mutateAll 29 #include "SynTree/Type.h" // for Type, PointerType, StructInstType 30 #include "SynTree/Visitor.h" // for acceptAll 18 31 19 32 namespace Virtual { -
src/Virtual/ExpandCasts.h
rae4038d rbd098ea 16 16 #pragma once 17 17 18 #include <list> 19 #include "SynTree/SynTree.h" 18 #include <list> // for list 19 20 class Declaration; 20 21 21 22 namespace Virtual { -
src/main.cc
rae4038d rbd098ea 15 15 // 16 16 17 #include <cassert> // for assertf18 17 #include <cxxabi.h> // for __cxa_demangle 19 18 #include <execinfo.h> // for backtrace, backtrace_symbols 20 19 #include <getopt.h> // for no_argument, optind, geto... 21 20 #include <signal.h> // for signal, SIGABRT, SIGSEGV 21 #include <cassert> // for assertf 22 22 #include <cstdio> // for fopen, FILE, fclose, stdin 23 23 #include <cstdlib> // for exit, free, abort, EXIT_F... … … 27 27 #include <iterator> // for back_inserter 28 28 #include <list> // for list 29 #include <string> // for operator<<, allocator29 #include <string> // for char_traits, operator<< 30 30 31 31 #include "../config.h" // for CFA_LIBDIR
Note: See TracChangeset
for help on using the changeset viewer.