[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [bug #60798] Make does not compile with GCC 11.1.0

From: Paul Smith
Subject: Re: [bug #60798] Make does not compile with GCC 11.1.0
Date: Sat, 19 Jun 2021 10:52:41 -0400
User-agent: Evolution 3.36.5-0ubuntu1

On Sat, 2021-06-19 at 15:31 +0100, Dmitrii Pasechnik wrote:
> On Fri, Jun 18, 2021 at 12:53:32PM -0400, Paul D. Smith wrote:
> > Follow-up Comment #1, bug #60798 (project make):
> > FWIW, this warning is not valid in this situation.  The code is
> > correct; p will always be pointing into a valid buffer and never
> > pointing at the first character in that buffer, so p[-1] always
> > points to valid memory.
> It's undefined behaviour in C to point to such a location, isn't it?

To point to which such location?  As I said, we know for a fact that p
does not point at the first character of the array.  It's clearly legal
in C to walk backwards through an array!!  And referencing the previous
element in an array is certainly not a hack.

I don't think I understand.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]