Re: [PATCH] Fix PR 86572

2018-11-09 Thread Jeff Law
On 11/5/18 4:20 PM, Bernd Edlinger wrote: > On 11/5/18 1:28 AM, H.J. Lu wrote: >> On Sun, Nov 4, 2018 at 10:02 AM Jeff Law wrote: >>> On 10/22/18 9:08 AM, Bernd Edlinger wrote: Hi! This makes c_strlen avoid an unsafe strlen folding of const arguments with non-const offset. Cur

Re: [PATCH] Fix PR 86572

2018-11-08 Thread H.J. Lu
On Mon, Nov 5, 2018 at 3:20 PM Bernd Edlinger wrote: > > On 11/5/18 1:28 AM, H.J. Lu wrote: > > On Sun, Nov 4, 2018 at 10:02 AM Jeff Law wrote: > >> > >> On 10/22/18 9:08 AM, Bernd Edlinger wrote: > >>> Hi! > >>> > >>> This makes c_strlen avoid an unsafe strlen folding of const arguments > >>> wi

Re: [PATCH] Fix PR 86572

2018-11-05 Thread Bernd Edlinger
On 11/5/18 1:28 AM, H.J. Lu wrote: > On Sun, Nov 4, 2018 at 10:02 AM Jeff Law wrote: >> >> On 10/22/18 9:08 AM, Bernd Edlinger wrote: >>> Hi! >>> >>> This makes c_strlen avoid an unsafe strlen folding of const arguments >>> with non-const offset. Currently a negative out of bounds offset >>> make

Re: [PATCH] Fix PR 86572

2018-11-04 Thread H.J. Lu
On Sun, Nov 4, 2018 at 10:02 AM Jeff Law wrote: > > On 10/22/18 9:08 AM, Bernd Edlinger wrote: > > Hi! > > > > This makes c_strlen avoid an unsafe strlen folding of const arguments > > with non-const offset. Currently a negative out of bounds offset > > makes the strlen function return an extreme

Re: [PATCH] Fix PR 86572

2018-11-04 Thread Jeff Law
On 10/22/18 9:08 AM, Bernd Edlinger wrote: > Hi! > > This makes c_strlen avoid an unsafe strlen folding of const arguments > with non-const offset. Currently a negative out of bounds offset > makes the strlen function return an extremely large number, and > at the same time, prevents the VRP mach

Re: [PATCH] Fix PR 86572

2018-11-01 Thread Bernd Edlinger
Ping... For this patch here: https://gcc.gnu.org/ml/gcc-patches/2018-10/msg01336.html Thanks Bernd. On 10/22/18 5:08 PM, Bernd Edlinger wrote: > Hi! > > This makes c_strlen avoid an unsafe strlen folding of const arguments > with non-const offset.  Currently a negative out of bounds offset > ma

Re: [PATCH] Fix PR 86572

2018-10-27 Thread Bernd Edlinger
On 10/22/18 9:03 PM, Martin Sebor wrote: > On 10/22/2018 09:08 AM, Bernd Edlinger wrote: >> Hi! >> >> This makes c_strlen avoid an unsafe strlen folding of const arguments >> with non-const offset.  Currently a negative out of bounds offset >> makes the strlen function return an extremely large num

Re: [PATCH] Fix PR 86572

2018-10-22 Thread Martin Sebor
On 10/22/2018 09:08 AM, Bernd Edlinger wrote: Hi! This makes c_strlen avoid an unsafe strlen folding of const arguments with non-const offset. Currently a negative out of bounds offset makes the strlen function return an extremely large number, and at the same time, prevents the VRP machinery,