Re: Prevent aliasing between arguments in calls to move_alloc

2016-11-09 Thread Paul Richard Thomas
Hi Steve, Committed as r241995. Thanks. Paul On 8 November 2016 at 20:43, Steve Kargl wrote: > Yes. I saw Ian's analysis in c.l.f. It seems we both got > caught out on this one. The patch looks fine. > > -- > steve > > On Tue, Nov 08, 2016 at 08:26:37PM +0100, Paul Richard Thomas wrote: >> H

Re: Prevent aliasing between arguments in calls to move_alloc

2016-11-08 Thread Steve Kargl
Yes. I saw Ian's analysis in c.l.f. It seems we both got caught out on this one. The patch looks fine. -- steve On Tue, Nov 08, 2016 at 08:26:37PM +0100, Paul Richard Thomas wrote: > Hi Steve, > > I moved too quickly and caused a regression. See the link in the > testcase. The attached fixes

Re: Prevent aliasing between arguments in calls to move_alloc

2016-11-08 Thread Paul Richard Thomas
Hi Steve, I moved too quickly and caused a regression. See the link in the testcase. The attached fixes the problem and bootstraps/regtests. OK for trunk? Paul On 5 November 2016 at 16:17, Steve Kargl wrote: > On Sat, Nov 05, 2016 at 10:05:30AM +0100, Paul Richard Thomas wrote: >> >> Bootstra

Re: Prevent aliasing between arguments in calls to move_alloc

2016-11-05 Thread Steve Kargl
On Sat, Nov 05, 2016 at 10:05:30AM +0100, Paul Richard Thomas wrote: > > Bootstraps and regtests on FC21/x86_64 - OK for trunk? OK with minor nit (see below). > > + /* F2003 12.4.1.7 */ > + if (to->expr_type == EXPR_VARIABLE && from->expr_type ==EXPR_VARIABLE Need a space after ==. --

Prevent aliasing between arguments in calls to move_alloc

2016-11-05 Thread Paul Richard Thomas
Dear All, This patch introduces an error if the to and from arguments of move_alloc contain the same object or its subobjects. Please see the comment in the testcase for an explanation and the link to the clf discussion. Bootstraps and regtests on FC21/x86_64 - OK for trunk? Paul 2016-11-05 Pa