This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: C++ PATCH for c++/65398 (valid constexpr rejected) (take 2)
- From: Jakub Jelinek <jakub at redhat dot com>
- To: Marek Polacek <polacek at redhat dot com>
- Cc: Jason Merrill <jason at redhat dot com>, Richard Biener <richard dot guenther at gmail dot com>, GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Fri, 20 Mar 2015 22:03:59 +0100
- Subject: Re: C++ PATCH for c++/65398 (valid constexpr rejected) (take 2)
- Authentication-results: sourceware.org; auth=none
- References: <20150313144052 dot GU26802 at redhat dot com> <CAFiYyc02=2DsHrEAADcNLATjGm0BK9Dp1kUb17ZnFDMcGCWpqQ at mail dot gmail dot com> <20150319180536 dot GA1746 at tucnak dot redhat dot com> <550C347E dot 2070801 at redhat dot com> <20150320205652 dot GQ31197 at redhat dot com>
- Reply-to: Jakub Jelinek <jakub at redhat dot com>
Hi!
Just for completeness:
On Fri, Mar 20, 2015 at 09:56:52PM +0100, Marek Polacek wrote:
> +constexpr char d1 = *(&s[4] - 0); // { dg-error "array subscript out of bound" }
> +constexpr char d2 = *(&s[4] - 1);
> +constexpr char d3 = *(&s[4] - 2);
> +constexpr char d4 = *(&s[4] - 3);
> +constexpr char d5 = *(&s[4] - 4);
> +constexpr char d6 = *(&s[4] - 5); // { dg-error "negative array subscript" }
> +
> +/* Don't accept invalid stuff. */
> +constexpr char e1 = *(&s[5] - 1); // { dg-error "is not a constant expression" }
> +constexpr char e2 = *(&s[5] - 2); // { dg-error "is not a constant expression" }
> +constexpr char e3 = *(&s[5] - 3); // { dg-error "is not a constant expression" }
> +
> +SA (c1 == 'a');
> +SA (c2 == 'b');
> +SA (c3 == 'b');
> +SA (c4 == 'c');
> +SA (c5 == 'c');
> +SA (c6 == 'c');
> +SA (c7 == '\0');
Miss SA here for d2-d5.
> +constexpr char j1 = *(&l[4] - 0); // { dg-error "array subscript out of bound" }
> +constexpr char j2 = *(&l[4] - 1);
> +constexpr char j3 = *(&l[4] - 2);
> +constexpr char j4 = *(&l[4] - 3);
> +constexpr char j5 = *(&l[4] - 4);
> +constexpr char j6 = *(&l[4] - 5); // { dg-error "negative array subscript" }
> +SA (i1 == 'c');
> +SA (i2 == 'd');
> +SA (i3 == 'd');
> +SA (i4 == 'e');
> +SA (i5 == 'e');
> +SA (i6 == 'e');
> +SA (i7 == '\0');
And SA here for j2-j5.
Jakub