This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: Can offsetting a non-null pointer result in a null one?

From: Jonathan Wakely <jwakely dot gcc at gmail dot com>
To: Richard Guenther <richard dot guenther at gmail dot com>
Cc: lh_mouse <lh_mouse at 126 dot com>, Jeff Law <law at redhat dot com>, "gcc at gcc dot gnu dot org" <gcc at gcc dot gnu dot org>
Date: Mon, 20 Aug 2018 09:43:47 +0100
Subject: Re: Can offsetting a non-null pointer result in a null one?
References: <99f401a9-9419-819b-cbe0-b3b062c5372e@126.com> <5e7559a0-e774-052a-87a2-213a1024054e@redhat.com> <ca0099d2-bb98-f955-9fee-13f0f0e42c7f@126.com> <CAFiYyc1uFLou56Kz1p4BftQOd2cWFFTXuP3H4rw92gkFLDd=Dw@mail.gmail.com> <CAH6eHdQn3Ra9Kzj7NFZAH=DDVx2SWMnmK_HgPuQMCt6+VHKYtA@mail.gmail.com>

On Mon, 20 Aug 2018 at 09:41, Jonathan Wakely wrote:
> C++17 has similar wording in 8.7 [expr.add] paragraph 4.

N.B. C++ adds a special case for adding the value 0 to null pointers,
so that it's well-defined (paragraph 7).

References:
- Can offsetting a non-null pointer result in a null one?
  - From: Liu Hao
- Re: Can offsetting a non-null pointer result in a null one?
  - From: Jeff Law
- Re: Can offsetting a non-null pointer result in a null one?
  - From: Liu Hao
- Re: Can offsetting a non-null pointer result in a null one?
  - From: Richard Biener
- Re: Can offsetting a non-null pointer result in a null one?
  - From: Jonathan Wakely

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]