Changes in / [9151fcb:5684736]

Location:

src

Files:

• AST/Convert.cpp (modified) (5 diffs)
• GenPoly/Lvalue.cc (modified) (1 diff)

src/AST/Convert.cpp

@@ -735 +735 @@
                 expr->var = get<DeclarationWithType>().accept1(node->var);
                 Type * type = expr->var->get_type()->clone();
-                if(FunctionType * ft = dynamic_cast<FunctionType*>(type)) {
-                        if(node->result.as<ast::PointerType>()) {
-                                type = new PointerType({}, ft);
-                        }
-                }
-
                 type->set_lvalue( true );
-                expr->result = type ;
+                expr->set_result( type );
                 this->node = expr;
                 return nullptr;
@@ -788 +782 @@
                         assert (!rslt->isType);
                 }
-                else {
-                        assert(node->type);
+                if (node->type) {
                         rslt = new SizeofExpr(
                                 get<Type>().accept1(node->type)
@@ -810 +803 @@
                         assert (!rslt->isType);
                 }
-                else {
-                        assert(node->type);
+                if (node->type) {
                         rslt = new AlignofExpr(
                                 get<Type>().accept1(node->type)
@@ -2157 +2149 @@
                 );
 
-                visitBaseExpr_SkipResultType( old,
+                visitBaseExpr( old,
                         expr
                 );
@@ -2163 +2155 @@
                 expr->var = GET_ACCEPT_1(var, DeclWithType);
                 expr->result = expr->var->get_type();
-                if(const ast::FunctionType * ft = expr->result.as<ast::FunctionType>()) {
-                        if(dynamic_cast<PointerType *>(old->result)) {
-                                expr->result = new ast::PointerType(ft);
-                        }
-                }
                 add_qualifiers( expr->result, ast::CV::Lvalue );
                 this->node = expr;

src/GenPoly/Lvalue.cc

@@ -196 +196 @@
                                 unsigned int i = 0;
                                 const unsigned int end = ftype->parameters.size();
-
-                                /// The for loop may eagerly dereference the iterators and fail on empty lists
-                                if(i == end) { return appExpr; }
                                 for ( auto p : unsafe_group_iterate( appExpr->args, ftype->parameters ) ) {
                                         if (i == end) break;