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,

[PATCH] Fix PR 86572

2018-10-22 Thread Bernd Edlinger
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, to determine the correct range if the strlen fun