Changes in src/ResolvExpr/Resolver.cc [cdb990a:6f326b1]

File:

• src/ResolvExpr/Resolver.cc (modified) (4 diffs)

src/ResolvExpr/Resolver.cc

@@ -127 +127 @@
 
         namespace {
-                struct StripCasts {
-                        Expression * postmutate( CastExpr * castExpr ) {
-                                if ( castExpr->isGenerated && ResolvExpr::typesCompatible( castExpr->arg->result, castExpr->result, SymTab::Indexer() ) ) {
-                                        // generated cast is to the same type as its argument, so it's unnecessary -- remove it
-                                        Expression * expr = castExpr->arg;
-                                        castExpr->arg = nullptr;
-                                        std::swap( expr->env, castExpr->env );
-                                        return expr;
-                                }
-                                return castExpr;
-                        }
-
-                        static void strip( Expression *& expr ) {
-                                PassVisitor<StripCasts> stripper;
-                                expr = expr->acceptMutator( stripper );
-                        }
-                };
-
-                void finishExpr( Expression *&expr, const TypeEnvironment &env, TypeSubstitution * oldenv = nullptr ) {
+                void finishExpr( Expression *expr, const TypeEnvironment &env, TypeSubstitution * oldenv = nullptr ) {
                         expr->env = oldenv ? oldenv->clone() : new TypeSubstitution;
-                        env.makeSubstitution( *expr->env );
-                        StripCasts::strip( expr ); // remove unnecessary casts that may be buried in an expression
+                        env.makeSubstitution( *expr->get_env() );
                 }
 
@@ -433 +414 @@
 
         void Resolver::previsit( CaseStmt *caseStmt ) {
-                if ( caseStmt->condition ) {
+                if ( caseStmt->get_condition() ) {
                         std::list< InitAlternative > initAlts = currentObject.getOptions();
                         assertf( initAlts.size() == 1, "SwitchStmt did not correctly resolve an integral expression." );
@@ -439 +420 @@
                         Expression * newExpr = new CastExpr( caseStmt->condition, initAlts.front().type->clone() );
                         findSingleExpression( newExpr, indexer );
-                        // case condition cannot have a cast in C, so it must be removed, regardless of whether it performs a conversion.
-                        // Ideally we would perform the conversion internally here.
-                        if ( CastExpr * castExpr = dynamic_cast< CastExpr * >( newExpr ) ) {
-                                newExpr = castExpr->arg;
-                                castExpr->arg = nullptr;
-                                std::swap( newExpr->env, castExpr->env );
-                                delete castExpr;
-                        }
-                        caseStmt->condition = newExpr;
+                        CastExpr * castExpr = strict_dynamic_cast< CastExpr * >( newExpr );
+                        caseStmt->condition = castExpr->arg;
+                        castExpr->arg = nullptr;
+                        delete castExpr;
                 }
         }
@@ -742 +718 @@
                 initExpr->expr = nullptr;
                 std::swap( initExpr->env, newExpr->env );
-                // InitExpr may have inferParams in the case where the expression specializes a function pointer,
-                // and newExpr may already have inferParams of its own, so a simple swap is not sufficient.
-                newExpr->spliceInferParams( initExpr );
+                std::swap( initExpr->inferParams, newExpr->inferParams ) ;
                 delete initExpr;