This is the mail archive of the gcc-patches@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: [PATCH] c++/67376 Comparison with pointer to past-the-end, of array fails inside constant expression

From: Jason Merrill <jason at redhat dot com>
To: Martin Sebor <msebor at gmail dot com>, Jeff Law <law at redhat dot com>, Gcc Patch List <gcc-patches at gcc dot gnu dot org>
Cc: Marek Polacek <polacek at redhat dot com>, Jakub Jelinek <jakub at redhat dot com>
Date: Wed, 30 Mar 2016 11:30:26 -0400
Subject: Re: [PATCH] c++/67376 Comparison with pointer to past-the-end, of array fails inside constant expression
Authentication-results: sourceware.org; auth=none
References: <56E72C33 dot 8000301 at gmail dot com> <56E9B9C3 dot 5000908 at redhat dot com> <56EB1ECA dot 90800 at gmail dot com> <56EC3500 dot 4030701 at redhat dot com> <56F03567 dot 8040306 at redhat dot com> <56F07137 dot 1050400 at redhat dot com> <56F19456 dot 3030900 at redhat dot com> <56F1A494 dot 1060407 at gmail dot com> <56F2EC3C dot 5000606 at redhat dot com> <56F9AA63 dot 4090201 at gmail dot com> <56FACF51 dot 5000407 at redhat dot com> <56FB4EBE dot 9000500 at gmail dot com>

On 03/29/2016 11:57 PM, Martin Sebor wrote:

Are we confident that arr[0] won't make it here as POINTER_PLUS_EXPR or
some such?


I'm as confident as I can be given that this is my first time
working in this area.  Which piece of code or what assumption
in particular are you concerned about?


I want to be sure that we don't fold these conditions to false.

constexpr int *ip = 0;
constexpr struct A { int ar[3]; } *ap = 0;

static_assert(&ip[0] == 0);
static_assert(&(ap->ar[0]) == 0);

Jason

Follow-Ups:
- Re: [PATCH] c++/67376 Comparison with pointer to past-the-end, of array fails inside constant expression
  - From: Martin Sebor

References:
- [PATCH] c++/67376 Comparison with pointer to past-the-end, of array fails inside constant expression
  - From: Martin Sebor
- Re: [PATCH] c++/67376 Comparison with pointer to past-the-end, of array fails inside constant expression
  - From: Jeff Law
- Re: [PATCH] c++/67376 Comparison with pointer to past-the-end, of array fails inside constant expression
  - From: Martin Sebor
- Re: [PATCH] c++/67376 Comparison with pointer to past-the-end, of array fails inside constant expression
  - From: Jeff Law
- Re: [PATCH] c++/67376 Comparison with pointer to past-the-end, of array fails inside constant expression
  - From: Jason Merrill
- Re: [PATCH] c++/67376 Comparison with pointer to past-the-end, of array fails inside constant expression
  - From: Jeff Law
- Re: [PATCH] c++/67376 Comparison with pointer to past-the-end, of array fails inside constant expression
  - From: Jason Merrill
- Re: [PATCH] c++/67376 Comparison with pointer to past-the-end, of array fails inside constant expression
  - From: Martin Sebor
- Re: [PATCH] c++/67376 Comparison with pointer to past-the-end, of array fails inside constant expression
  - From: Jason Merrill
- Re: [PATCH] c++/67376 Comparison with pointer to past-the-end, of array fails inside constant expression
  - From: Martin Sebor
- Re: [PATCH] c++/67376 Comparison with pointer to past-the-end, of array fails inside constant expression
  - From: Jason Merrill
- Re: [PATCH] c++/67376 Comparison with pointer to past-the-end, of array fails inside constant expression
  - From: Martin Sebor

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