Changeset 62e5546 for src/ResolvExpr


Ignore:
Timestamp:
Oct 27, 2016, 4:22:27 PM (9 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
Children:
0ebac75
Parents:
d93d980
Message:

Removed warnings when compiling with clang

Location:
src/ResolvExpr
Files:
4 edited

Legend:

Unmodified
Added
Removed

  • src/ResolvExpr/AlternativePrinter.h

    rd93d980 r62e5546  
    55// file "LICENCE" distributed with Cforall.
    66//
    7 // AlternativePrinter.h -- 
     7// AlternativePrinter.h --
    88//
    99// Author           : Richard C. Bilson
    … …  
    2323
    2424namespace ResolvExpr {
    25         class AlternativePrinter : public SymTab::Indexer {
     25        class AlternativePrinter final : public SymTab::Indexer {
    2626          public:
    2727                AlternativePrinter( std::ostream &os );
    28                 virtual void visit( ExprStmt *exprStmt );
     28
     29                using SymTab::Indexer::visit;
     30                virtual void visit( ExprStmt *exprStmt ) override;
    2931          private:
    3032                std::ostream &os;

  • src/ResolvExpr/Resolver.cc

    rd93d980 r62e5546  
    3232
    3333namespace ResolvExpr {
    34         class Resolver : public SymTab::Indexer {
     34        class Resolver final : public SymTab::Indexer {
    3535          public:
    36                 Resolver() : SymTab::Indexer( false ), switchType( 0 ) {}
    37 
    38                 virtual void visit( FunctionDecl *functionDecl );
    39                 virtual void visit( ObjectDecl *functionDecl );
    40                 virtual void visit( TypeDecl *typeDecl );
    41                 virtual void visit( EnumDecl * enumDecl );
    42 
    43                 virtual void visit( ArrayType * at );
    44                 virtual void visit( PointerType * at );
    45 
    46                 virtual void visit( ExprStmt *exprStmt );
    47                 virtual void visit( AsmExpr *asmExpr );
    48                 virtual void visit( AsmStmt *asmStmt );
    49                 virtual void visit( IfStmt *ifStmt );
    50                 virtual void visit( WhileStmt *whileStmt );
    51                 virtual void visit( ForStmt *forStmt );
    52                 virtual void visit( SwitchStmt *switchStmt );
    53                 virtual void visit( CaseStmt *caseStmt );
    54                 virtual void visit( BranchStmt *branchStmt );
    55                 virtual void visit( ReturnStmt *returnStmt );
    56 
    57                 virtual void visit( SingleInit *singleInit );
    58                 virtual void visit( ListInit *listInit );
    59                 virtual void visit( ConstructorInit *ctorInit );
     36                Resolver() : SymTab::Indexer( false ) {}
     37
     38                using SymTab::Indexer::visit;
     39                virtual void visit( FunctionDecl *functionDecl ) override;
     40                virtual void visit( ObjectDecl *functionDecl ) override;
     41                virtual void visit( TypeDecl *typeDecl ) override;
     42                virtual void visit( EnumDecl * enumDecl ) override;
     43
     44                virtual void visit( ArrayType * at ) override;
     45                virtual void visit( PointerType * at ) override;
     46
     47                virtual void visit( ExprStmt *exprStmt ) override;
     48                virtual void visit( AsmExpr *asmExpr ) override;
     49                virtual void visit( AsmStmt *asmStmt ) override;
     50                virtual void visit( IfStmt *ifStmt ) override;
     51                virtual void visit( WhileStmt *whileStmt ) override;
     52                virtual void visit( ForStmt *forStmt ) override;
     53                virtual void visit( SwitchStmt *switchStmt ) override;
     54                virtual void visit( CaseStmt *caseStmt ) override;
     55                virtual void visit( BranchStmt *branchStmt ) override;
     56                virtual void visit( ReturnStmt *returnStmt ) override;
     57
     58                virtual void visit( SingleInit *singleInit ) override;
     59                virtual void visit( ListInit *listInit ) override;
     60                virtual void visit( ConstructorInit *ctorInit ) override;
    6061          private:
    6162        typedef std::list< Initializer * >::iterator InitIterator;
    … …  
    6970                std::list< Type * > functionReturn;
    7071                Type *initContext;
    71                 Type *switchType;
    7272                bool inEnumDecl = false;
    7373        };

  • src/ResolvExpr/TypeMap.h

    rd93d980 r62e5546  
    3838                typedef typename std::map< std::string, Value* > ValueMap;
    3939                typedef typename ValueMap::iterator ValueMapIterator;
    40                
     40
    4141                Value *voidValue;                                     ///< Value for void type
    4242                Value *basicValue[BasicType::NUMBER_OF_BASIC_TYPES];  ///< Values for basic types
    … …  
    5454                        /// One scope of map rollbacks
    5555                        typedef std::vector< std::pair< ValueMapIterator, Value* > > MapScope;
    56                        
     56
    5757                        PointerScope pointers;  ///< Value pointers to roll back to their previous state
    5858                        MapScope mapNodes;      ///< Value map iterators to roll back to their previous state
    … …  
    6868
    6969                std::vector< Rollback > scopes;  ///< Scope rollback information
    70                
     70
    7171                struct Lookup : public Visitor {
    7272                        Lookup( TypeMap<Value> &typeMap ) : typeMap( typeMap ), found( 0 ), toInsert( 0 ) {}
    … …  
    8787                                return found;
    8888                        }
    89                        
     89
    9090                        void findAndReplace( Value *&loc ) {
    9191                                found = loc;
    … …  
    109109                                }
    110110                        }
    111                        
     111
    112112                        virtual void visit( VoidType *voidType ) {
    113113                                findAndReplace( typeMap.voidValue );
    114114                        }
    115                        
     115
    116116                        virtual void visit( BasicType *basicType ) {
    117117                                findAndReplace( typeMap.basicValue[basicType->get_kind()] );
    118118                        }
    119                        
     119
    120120                        virtual void visit( PointerType *pointerType ) {
    121121                                // NOTE This is one of the places where the apporoximation of the resolver is (deliberately) poor;
    … …  
    129129                                }
    130130                        }
    131                        
     131
    132132                        virtual void visit( ArrayType *arrayType ) {
    133133                                if ( dynamic_cast< FunctionType* >( arrayType->get_base() ) ) {
    … …  
    137137                                }
    138138                        }
    139                        
     139
    140140                        virtual void visit( FunctionType *functionType ) {
    141141                                findAndReplace( typeMap.functionPointerValue );
    142142                        }
    143                        
     143
    144144                        virtual void visit( StructInstType *structType ) {
    145145                                findAndReplace( typeMap.structValue, structType->get_name() );
    146146                        }
    147                        
     147
    148148                        virtual void visit( UnionInstType *unionType ) {
    149149                                findAndReplace( typeMap.unionValue, unionType->get_name() );
    150150                        }
    151                        
     151
    152152                        virtual void visit( EnumInstType *enumType ) {
    153153                                findAndReplace( typeMap.enumValue, enumType->get_name() );
    … …  
    157157                        Value *found;             ///< Value found (NULL if none yet)
    158158                        Value *toInsert;          ///< Value to insert (NULL if a lookup)
    159                 };  // class Lookup
    160                 friend class Lookup;
    161                
     159                };  // struct Lookup
     160                friend struct Lookup;
     161
    162162        public:
    163163                /// Starts a new scope
    … …  
    180180                        scopes.pop_back();
    181181                }
    182                
     182
    183183                TypeMap() : voidValue( 0 ), pointerValue( 0 ), voidPointerValue( 0 ), functionPointerValue( 0 ), structValue(), unionValue(), enumValue(), scopes() {
    184184                        beginScope();
    … …  
    199199                        return searcher.find( key );
    200200                }
    201                
     201
    202202        }; // class TypeMap
    203203

  • src/ResolvExpr/Unify.cc

    rd93d980 r62e5546  
    7373                const OpenVarSet &openVars;
    7474                WidenMode widenMode;
    75                 Type *commonType;
    7675                const SymTab::Indexer &indexer;
    7776        };
Note: See TracChangeset for help on using the changeset viewer.