Changeset b5fed34


Ignore:
Timestamp:
May 23, 2019, 12:07:20 PM (5 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
effe5b0
Parents:
d7aa12c
Message:

Implemented the last stubbed function.
ALL warnings should be gone

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/InitTweak/InitTweak.cc

    rd7aa12c rb5fed34  
    474474                }
    475475
    476                 // template<typename CallExpr>
    477                 // const ast::Expr * callArg( const CallExpr * call, unsigned int pos ) {
    478                 //      if( pos >= call->args.size() ) {
    479                 //              assertf( false, "getCallArg for argument that doesn't exist: (%u); %s.",
    480                 //                      pos, toString( call ).c_str() );
    481                 //      }
    482                 //      for ( const ast::Expr * arg : call->args ) {
    483                 //              if ( pos == 0 ) return arg;
    484                 //              --pos;
    485                 //      }
    486                 //      assert( false );
    487                 // }
     476                template<typename CallExpr>
     477                const ast::Expr * callArg( const CallExpr * call, unsigned int pos ) {
     478                        if( pos >= call->args.size() ) {
     479                                assertf( false, "getCallArg for argument that doesn't exist: (%u); %s.",
     480                                        pos, toString( call ).c_str() );
     481                        }
     482                        for ( const ast::Expr * arg : call->args ) {
     483                                if ( pos == 0 ) return arg;
     484                                --pos;
     485                        }
     486                        assert( false );
     487                }
    488488        }
    489489
     
    506506                }
    507507        }
     508
    508509        const ast::Expr * getCallArg( const ast::Expr * call, unsigned pos ) {
    509                 (void)call;
    510                 (void)pos;
    511                 #warning unimplemented; needs to build AST/Expr.cpp
    512                 assertf(false, "unimplemented; needs to build AST/Expr.cpp");
    513                 // if ( auto app = dynamic_cast< const ast::ApplicationExpr * >( call ) ) {
    514                 //      return callArg( app, pos );
    515                 // } else if ( auto untyped = dynamic_cast< const ast::UntypedExpr * >( call ) ) {
    516                 //      return callArg( untyped, pos );
    517                 // } else if ( auto tupleAssn = dynamic_cast< const ast::TupleAssignExpr * >( call ) ) {
    518                 //      const std::list<ast::ptr<ast::Stmt>>& stmts = tupleAssn->stmtExpr->stmts->kids;
    519                 //      assertf( ! stmts.empty(), "TupleAssignExpr missing statements." );
    520                 //      const ExprStmt * stmt = strict_dynamic_cast< const ast::ExprStmt * >( stmts.back() );
    521                 //      const TupleExpr * tuple = strict_dynamic_cast< const ast::TupleExpr * >( stmt->expr );
    522                 //      assertf( ! tuple->exprs.empty(), "TupleAssignExpr has empty tuple expr.");
    523                 //      return getCallArg( tuple->exprs.front(), pos );
    524                 // } else if ( auto ctor = dynamic_cast< const ast::ImplicitCopyCtorExpr * >( call ) ) {
    525                 //      return getCallArg( ctor->callExpr, pos );
    526                 // } else {
    527                 //      assertf( false, "Unexpected expression type passed to getCallArg: %s",
    528                 //              toString( call ).c_str() );
    529                 // }
     510                if ( auto app = dynamic_cast< const ast::ApplicationExpr * >( call ) ) {
     511                        return callArg( app, pos );
     512                } else if ( auto untyped = dynamic_cast< const ast::UntypedExpr * >( call ) ) {
     513                        return callArg( untyped, pos );
     514                } else if ( auto tupleAssn = dynamic_cast< const ast::TupleAssignExpr * >( call ) ) {
     515                        const std::list<ast::ptr<ast::Stmt>>& stmts = tupleAssn->stmtExpr->stmts->kids;
     516                        assertf( ! stmts.empty(), "TupleAssignExpr missing statements." );
     517                        auto stmt  = strict_dynamic_cast< const ast::ExprStmt * >( stmts.back().get() );
     518                        auto tuple = strict_dynamic_cast< const ast::TupleExpr * >( stmt->expr.get() );
     519                        assertf( ! tuple->exprs.empty(), "TupleAssignExpr has empty tuple expr.");
     520                        return getCallArg( tuple->exprs.front(), pos );
     521                } else if ( auto ctor = dynamic_cast< const ast::ImplicitCopyCtorExpr * >( call ) ) {
     522                        return getCallArg( ctor->callExpr, pos );
     523                } else {
     524                        assertf( false, "Unexpected expression type passed to getCallArg: %s",
     525                                toString( call ).c_str() );
     526                }
    530527        }
    531528
     
    637634        }
    638635        const ast::Type* getPointerBase( const ast::Type* t ) {
    639                 (void)t;
    640                 #warning needs to build Type.cpp before inclusion
    641                 assertf(false, "needs to build Type.cpp before inclusion");
    642                 // if ( const auto * p = dynamic_cast< const ast::PointerType * >( t ) ) {
    643                 //      return p->base;
    644                 // } else if ( const auto * a = dynamic_cast< const ast::ArrayType * >( t ) ) {
    645                 //      return a->base;
    646                 // } else if ( const auto * r = dynamic_cast< const ast::ReferenceType * >( t ) ) {
    647                 //      return r->base;
    648                 // } else return nullptr;
     636                if ( const auto * p = dynamic_cast< const ast::PointerType * >( t ) ) {
     637                        return p->base;
     638                } else if ( const auto * a = dynamic_cast< const ast::ArrayType * >( t ) ) {
     639                        return a->base;
     640                } else if ( const auto * r = dynamic_cast< const ast::ReferenceType * >( t ) ) {
     641                        return r->base;
     642                } else return nullptr;
    649643        }
    650644
Note: See TracChangeset for help on using the changeset viewer.