Changeset 5ccb10d for src/InitTweak

Timestamp:

Aug 22, 2017, 6:41:28 PM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

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:

0b5d871

Parents:

d104b02

Message:

Set reference size to base size, clean up debug code, remove more old-style NULLs from prelude

File:

• src/InitTweak/FixInit.cc (modified) (1 diff)

src/InitTweak/FixInit.cc

@@ -591 +591 @@
 
                                 Expression * retExpr = new CommaExpr( assign, new VariableExpr( returnDecl ) );
-                                if ( callExpr->get_result()->get_lvalue() ) {
-                                        // lvalue returning functions are funny. Lvalue.cc inserts a *? in front of any lvalue returning
-                                        // non-intrinsic function. Add an AddressExpr to the call to negate the derefence and change the
-                                        // type of the return temporary from T to T* to properly capture the return value. Then dereference
-                                        // the result of the comma expression, since the lvalue returning call was originally wrapped with
-                                        // an AddressExpr.  Effectively, this turns
-                                        //   lvalue T f();
-                                        //   &*f();
-                                        // into
-                                        //   T * f();
-                                        //   T * tmp_cp_retN;
-                                        //   &*(tmp_cp_retN = &*f(), tmp_cp_retN);              // the first * and second & are generated here
-                                        // which work out in terms of types, but is pretty messy. It would be nice to find a better way.
-                                        assign->get_args().back() = new AddressExpr( assign->get_args().back() );
-
-                                        returnDecl->set_type( new PointerType( Type::Qualifiers(), returnDecl->get_type() ) );
-                                        retExpr->set_result( new PointerType( Type::Qualifiers(), retExpr->get_result() ) );
-                                        retExpr = UntypedExpr::createDeref( retExpr );
-                                } // if
                                 // move env from callExpr to retExpr
                                 retExpr->set_env( callExpr->get_env() );