Re: PR78153

2016-11-23 Thread Rainer Orth
Hi Prathamesh, > Thanks, I committed the attached patch as r242786 after > bootstrap+test on x86_64-unknown-linux-gnu and > cross-test on arm*-*-*, aarch64*-*-*. this patch broke Ada bootstrap on Solaris. I've filed PR middle-end/78501. Rainer -- --

Re: PR78153

2016-11-23 Thread Prathamesh Kulkarni
gt; > >> >> >> >> On 22 November 2016 at 20:18, Richard Biener >> >> >> >> wrote: >> >> >> >> > On Tue, 22 Nov 2016, Prathamesh Kulkarni wrote: >> >> >> >> > >> >> >>

Re: PR78153

2016-11-23 Thread Richard Biener
t; >> >> wrote: > >> >> >> > On Tue, 22 Nov 2016, Prathamesh Kulkarni wrote: > >> >> >> > > >> >> >> >> On 21 November 2016 at 15:10, Richard Biener > >> >> >> >> wrote: > >>

Re: PR78153

2016-11-23 Thread Prathamesh Kulkarni
gt; > >> >> >> >> On 21 November 2016 at 15:10, Richard Biener >> >> >> >> wrote: >> >> >> >> > On Sun, 20 Nov 2016, Prathamesh Kulkarni wrote: >> >> >> >> > >> >> >> >>

Re: PR78153

2016-11-23 Thread Richard Biener
gt;> >> >> wrote: > >> >> >> > On Sun, 20 Nov 2016, Prathamesh Kulkarni wrote: > >> >> >> > > >> >> >> >> Hi, > >> >> >> >> As suggested by Martin in PR78153 strlen's return value can

Re: PR78153

2016-11-23 Thread Prathamesh Kulkarni
Richard Biener wrote: >> >> > On Tue, 22 Nov 2016, Prathamesh Kulkarni wrote: >> >> > >> >> >> On 21 November 2016 at 15:10, Richard Biener wrote: >> >> >> > On Sun, 20 Nov 2016, Prathamesh Kulkarni wrote: >> &

Re: PR78153

2016-11-23 Thread Richard Biener
Kulkarni wrote: > >> > > >> >> On 21 November 2016 at 15:10, Richard Biener wrote: > >> >> > On Sun, 20 Nov 2016, Prathamesh Kulkarni wrote: > >> >> > > >> >> >> Hi, > >> >> >> As suggest

Re: PR78153

2016-11-22 Thread Prathamesh Kulkarni
Richard Biener wrote: >> >> > On Sun, 20 Nov 2016, Prathamesh Kulkarni wrote: >> >> > >> >> >> Hi, >> >> >> As suggested by Martin in PR78153 strlen's return value cannot exceed >> >> >> PTRDIFF_MAX. >>

Re: PR78153

2016-11-22 Thread Richard Biener
sh Kulkarni wrote: > >> > > >> >> Hi, > >> >> As suggested by Martin in PR78153 strlen's return value cannot exceed > >> >> PTRDIFF_MAX. > >> >> So I set it's range to [0, PTRDIFF_MAX - 1] in extract_range_basic() > >>

Re: PR78153

2016-11-22 Thread Prathamesh Kulkarni
On 22 November 2016 at 20:18, Richard Biener wrote: > On Tue, 22 Nov 2016, Prathamesh Kulkarni wrote: > >> On 21 November 2016 at 15:10, Richard Biener wrote: >> > On Sun, 20 Nov 2016, Prathamesh Kulkarni wrote: >> > >> >> Hi, >> >> As sugge

Re: PR78153

2016-11-22 Thread Richard Biener
On Tue, 22 Nov 2016, Prathamesh Kulkarni wrote: > On 21 November 2016 at 15:10, Richard Biener wrote: > > On Sun, 20 Nov 2016, Prathamesh Kulkarni wrote: > > > >> Hi, > >> As suggested by Martin in PR78153 strlen's return value cannot exceed > >&

Re: PR78153

2016-11-22 Thread Prathamesh Kulkarni
On 21 November 2016 at 15:10, Richard Biener wrote: > On Sun, 20 Nov 2016, Prathamesh Kulkarni wrote: > >> Hi, >> As suggested by Martin in PR78153 strlen's return value cannot exceed >> PTRDIFF_MAX. >> So I set it's range to [0, PTRDIFF_MAX - 1] in extrac

Re: PR78153

2016-11-21 Thread Richard Biener
On Sun, 20 Nov 2016, Prathamesh Kulkarni wrote: > Hi, > As suggested by Martin in PR78153 strlen's return value cannot exceed > PTRDIFF_MAX. > So I set it's range to [0, PTRDIFF_MAX - 1] in extract_range_basic() > in the attached patch. > > However it regressed s

Re: PR78153

2016-11-20 Thread Prathamesh Kulkarni
On 20 November 2016 at 19:34, Jakub Jelinek wrote: > On Sun, Nov 20, 2016 at 07:20:20PM +0530, Prathamesh Kulkarni wrote: >> --- a/gcc/tree-vrp.c >> +++ b/gcc/tree-vrp.c >> @@ -4013,6 +4013,16 @@ extract_range_basic (value_range *vr, gimple *stmt) >> : vrp_val_max (

Re: PR78153

2016-11-20 Thread Jakub Jelinek
On Sun, Nov 20, 2016 at 07:20:20PM +0530, Prathamesh Kulkarni wrote: > --- a/gcc/tree-vrp.c > +++ b/gcc/tree-vrp.c > @@ -4013,6 +4013,16 @@ extract_range_basic (value_range *vr, gimple *stmt) > : vrp_val_max (type), NULL); > } > return; > + case C

PR78153

2016-11-20 Thread Prathamesh Kulkarni
Hi, As suggested by Martin in PR78153 strlen's return value cannot exceed PTRDIFF_MAX. So I set it's range to [0, PTRDIFF_MAX - 1] in extract_range_basic() in the attached patch. However it regressed strlenopt-3.c: Consider fn1() from strlenopt-3.c: __attribute__((noinline, noclone))