RE: PR 58958: wrong aliasing info

2013-11-05 Thread Iyer, Balaji V
> -Original Message- > From: Jakub Jelinek [mailto:ja...@redhat.com] > Sent: Tuesday, November 5, 2013 6:02 AM > To: Marc Glisse; Iyer, Balaji V > Cc: Richard Biener; GCC Patches > Subject: Re: PR 58958: wrong aliasing info > > On Tue, Nov 05, 2013 at 11:40:02AM

Re: PR 58958: wrong aliasing info

2013-11-05 Thread Richard Biener
On Tue, Nov 5, 2013 at 11:40 AM, Marc Glisse wrote: > On Mon, 4 Nov 2013, Richard Biener wrote: > >> Well, you cannot use the size argument unchanged for the null return case. >> You could fallback to get_base_address and -1 size in that case. > > > Like this? Bootstrap+testsuite on x86_64-unknown

Re: PR 58958: wrong aliasing info

2013-11-05 Thread Jakub Jelinek
On Tue, Nov 05, 2013 at 11:40:02AM +0100, Marc Glisse wrote: > >Well, you cannot use the size argument unchanged for the null > >return case. You could fallback to get_base_address and -1 size > >in that case. > > Like this? Bootstrap+testsuite on x86_64-unknown-linux-gnu. > (I think I'll disable

Re: PR 58958: wrong aliasing info

2013-11-05 Thread Marc Glisse
On Mon, 4 Nov 2013, Richard Biener wrote: Well, you cannot use the size argument unchanged for the null return case. You could fallback to get_base_address and -1 size in that case. Like this? Bootstrap+testsuite on x86_64-unknown-linux-gnu. (I think I'll disable cilk for my future bootstraps

Re: PR 58958: wrong aliasing info

2013-11-04 Thread Richard Biener
Marc Glisse wrote: >On Mon, 4 Nov 2013, Richard Biener wrote: > >> On Mon, Nov 4, 2013 at 12:18 PM, Marc Glisse >wrote: >>> On Mon, 4 Nov 2013, Richard Biener wrote: >>> On Mon, Nov 4, 2013 at 11:55 AM, Richard Biener wrote: > > On Fri, Nov 1, 2013 at 11:39 PM, Marc Glisse > >>

Re: PR 58958: wrong aliasing info

2013-11-04 Thread Marc Glisse
On Mon, 4 Nov 2013, Richard Biener wrote: On Mon, Nov 4, 2013 at 12:18 PM, Marc Glisse wrote: On Mon, 4 Nov 2013, Richard Biener wrote: On Mon, Nov 4, 2013 at 11:55 AM, Richard Biener wrote: On Fri, Nov 1, 2013 at 11:39 PM, Marc Glisse wrote: Hello, the issue was described in the PR a

Re: PR 58958: wrong aliasing info

2013-11-04 Thread Richard Biener
On Mon, Nov 4, 2013 at 12:18 PM, Marc Glisse wrote: > On Mon, 4 Nov 2013, Richard Biener wrote: > >> On Mon, Nov 4, 2013 at 11:55 AM, Richard Biener >> wrote: >>> >>> On Fri, Nov 1, 2013 at 11:39 PM, Marc Glisse >>> wrote: Hello, the issue was described in the PR and the mess

Re: PR 58958: wrong aliasing info

2013-11-04 Thread Marc Glisse
On Mon, 4 Nov 2013, Richard Biener wrote: On Mon, Nov 4, 2013 at 11:55 AM, Richard Biener wrote: On Fri, Nov 1, 2013 at 11:39 PM, Marc Glisse wrote: Hello, the issue was described in the PR and the message linked from there. ao_ref_init_from_ptr_and_size calls get_ref_base_and_extent, which

Re: PR 58958: wrong aliasing info

2013-11-04 Thread Marc Glisse
On Mon, 4 Nov 2013, Richard Biener wrote: On Fri, Nov 1, 2013 at 11:39 PM, Marc Glisse wrote: Hello, the issue was described in the PR and the message linked from there. ao_ref_init_from_ptr_and_size calls get_ref_base_and_extent, which may detect an array_ref of variable index, but ao_ref_in

Re: PR 58958: wrong aliasing info

2013-11-04 Thread Richard Biener
On Mon, Nov 4, 2013 at 11:55 AM, Richard Biener wrote: > On Fri, Nov 1, 2013 at 11:39 PM, Marc Glisse wrote: >> Hello, >> >> the issue was described in the PR and the message linked from there. >> ao_ref_init_from_ptr_and_size calls get_ref_base_and_extent, which may >> detect an array_ref of var

Re: PR 58958: wrong aliasing info

2013-11-04 Thread Richard Biener
On Fri, Nov 1, 2013 at 11:39 PM, Marc Glisse wrote: > Hello, > > the issue was described in the PR and the message linked from there. > ao_ref_init_from_ptr_and_size calls get_ref_base_and_extent, which may > detect an array_ref of variable index, but ao_ref_init_from_ptr_and_size > never learns o

PR 58958: wrong aliasing info

2013-11-01 Thread Marc Glisse
Hello, the issue was described in the PR and the message linked from there. ao_ref_init_from_ptr_and_size calls get_ref_base_and_extent, which may detect an array_ref of variable index, but ao_ref_init_from_ptr_and_size never learns of it and uses the offset+size as if they were meaningful.