On Wed, 2020-04-22 at 09:36 -0600, Martin Sebor via Gcc-patches wrote:
> On 4/22/20 7:28 AM, Christophe Lyon wrote:
> > On Tue, 21 Apr 2020 at 11:07, Richard Biener via Gcc-patches
> > wrote:
> > > On Mon, Apr 20, 2020 at 11:29 PM Martin Sebor via Gcc-patches
> > > wrote:
> > > > The restrict pas
On 4/22/20 7:28 AM, Christophe Lyon wrote:
On Tue, 21 Apr 2020 at 11:07, Richard Biener via Gcc-patches
wrote:
On Mon, Apr 20, 2020 at 11:29 PM Martin Sebor via Gcc-patches
wrote:
The restrict pass computes the wrong lower bound of the size
of accesses to member arrays passed to strncpy as
On Tue, 21 Apr 2020 at 11:07, Richard Biener via Gcc-patches
wrote:
>
> On Mon, Apr 20, 2020 at 11:29 PM Martin Sebor via Gcc-patches
> wrote:
> >
> > The restrict pass computes the wrong lower bound of the size
> > of accesses to member arrays passed to strncpy as the source:
> > it uses the thi
On Mon, Apr 20, 2020 at 11:29 PM Martin Sebor via Gcc-patches
wrote:
>
> The restrict pass computes the wrong lower bound of the size
> of accesses to member arrays passed to strncpy as the source:
> it uses the third argument to the function even though the size
> of the read is limited by the le
The restrict pass computes the wrong lower bound of the size
of accesses to member arrays passed to strncpy as the source:
it uses the third argument to the function even though the size
of the read is limited by the length of the source when it is
a string. This results in false positive -Warray
