Re: [PATCH] Fix PR52406

2012-03-02 Thread Richard Guenther
On Thu, 1 Mar 2012, Richard Guenther wrote: > On Wed, 29 Feb 2012, Richard Guenther wrote: > > > On Wed, 29 Feb 2012, Michael Matz wrote: > > > > > Hi, > > > > > > On Wed, 29 Feb 2012, Richard Guenther wrote: > > > > > > > the whole base object - instead I mark the base MEM_REF of such > > >

Re: [PATCH] Fix PR52406

2012-03-01 Thread Richard Guenther
On Wed, 29 Feb 2012, Richard Guenther wrote: > On Wed, 29 Feb 2012, Michael Matz wrote: > > > Hi, > > > > On Wed, 29 Feb 2012, Richard Guenther wrote: > > > > > the whole base object - instead I mark the base MEM_REF of such accesses > > > with TREE_NO_WARNING (ugh) and special-case for them i

Re: [PATCH] Fix PR52406

2012-02-29 Thread Richard Guenther
On Wed, 29 Feb 2012, Michael Matz wrote: > Hi, > > On Wed, 29 Feb 2012, Richard Guenther wrote: > > > the whole base object - instead I mark the base MEM_REF of such accesses > > with TREE_NO_WARNING (ugh) and special-case for them in dr_may_alias_p. > > At least use a flag that isn't curren

Re: [PATCH] Fix PR52406

2012-02-29 Thread Michael Matz
Hi, On Wed, 29 Feb 2012, Richard Guenther wrote: > the whole base object - instead I mark the base MEM_REF of such accesses > with TREE_NO_WARNING (ugh) and special-case for them in dr_may_alias_p. At least use a flag that isn't currently used for MEM_REF. E.g. addressable_flag, and make a

Re: [PATCH] Fix PR52406

2012-02-29 Thread Richard Guenther
On Tue, 28 Feb 2012, Richard Guenther wrote: > > I am testing the following patch to fix PR52406. We cannot simply > feed DR_BASE_OBJECT to the alias-oracle as it does not reflect > a real memory access. Only if we query two 'structurally compatible' > references we may do this. So the followi