Changeset d4778a6


Ignore:
Timestamp:
May 11, 2015, 3:11:49 PM (7 years ago)
Author:
Rob Schluntz <rschlunt@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, ctor, deferred_resn, demangler, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, resolv-new, string, with_gc
Children:
b1a6d6b, c11e31c
Parents:
48e99f2
Message:

for loop initializers are hoisted properly and for loops a level of scope

Location:
translator
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • translator/ControlStruct/ForExprMutator.cc

    r48e99f2 rd4778a6  
    55namespace ControlStruct {
    66    Statement *ForExprMutator::mutate( ForStmt *forStmt ) {
    7         DeclStmt *decl;
    8         if (( decl = dynamic_cast< DeclStmt * > ( forStmt->get_initialization() )) != 0 ) {
     7        forStmt->set_body( forStmt->get_body()->acceptMutator( *this ) );
     8        if ( DeclStmt *decl = dynamic_cast< DeclStmt * > ( forStmt->get_initialization() ) ) {
    99            // create compound statement, move declaration outside, leave _for_ as-is
    1010            CompoundStmt *block = new CompoundStmt( std::list< Label >() );
  • translator/SymTab/Indexer.cc

    r48e99f2 rd4778a6  
    157157        leaveScope();
    158158    }
     159
     160    void Indexer::visit( ForStmt *forStmt ) {
     161        // for statements introduce a level of scope
     162        enterScope();
     163        Visitor::visit( forStmt );
     164        leaveScope();
     165    }
     166
    159167
    160168    void Indexer::lookupId( const std::string &id, std::list< DeclarationWithType* > &list ) const {
  • translator/SymTab/Indexer.h

    r48e99f2 rd4778a6  
    3232        virtual void visit( StructInstType *contextInst );
    3333        virtual void visit( UnionInstType *contextInst );
    34  
     34
     35        virtual void visit( ForStmt *forStmt );
     36
    3537        // when using an indexer manually (e.g., within a mutator traversal), it is necessary to tell the indexer
    3638        // explicitly when scopes begin and end
Note: See TracChangeset for help on using the changeset viewer.