From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 58352 invoked by alias); 16 Jul 2015 17:20:18 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 53066 invoked by uid 48); 16 Jul 2015 17:20:15 -0000 From: "Casey at Carter dot net" To: gcc-bugs@gcc.gnu.org Subject: [Bug c++/66844] [c++-concepts] Requires-expression parameter with void type Date: Thu, 16 Jul 2015 17:20:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: c++ X-Bugzilla-Version: 6.0 X-Bugzilla-Keywords: accepts-invalid X-Bugzilla-Severity: normal X-Bugzilla-Who: Casey at Carter dot net X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2015-07/txt/msg01457.txt.bz2 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D66844 --- Comment #2 from Casey Carter --- If the intent is to allow parameters of void type - and I admit the wording= of 5.1.4/5 is unclear as to exactly which of the rules of 8.3.5 are intended to apply to the parameter-declaration-clause of a requires-expression - then t= his program should be well-formed: template concept bool Same =3D __is_same_as(T, U); template concept bool C =3D requires (T t, void v) { requires Same; }; template constexpr bool is_c() { return true; } static_assert(is_c(), ""); int main() {} which the compiler diagnoses with "error: invalid use of type =E2=80=98void= =E2=80=99 in parameter declaration". >>From gcc-bugs-return-492568-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Jul 16 18:02:24 2015 Return-Path: Delivered-To: listarch-gcc-bugs@gcc.gnu.org Received: (qmail 80308 invoked by alias); 16 Jul 2015 18:02:24 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Delivered-To: mailing list gcc-bugs@gcc.gnu.org Received: (qmail 80238 invoked by uid 48); 16 Jul 2015 18:02:19 -0000 From: "hjl.tools at gmail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug bootstrap/66898] [6 Regression] profiledbootstrap failure on x86 Date: Thu, 16 Jul 2015 18:02:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: bootstrap X-Bugzilla-Version: 6.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: hjl.tools at gmail dot com X-Bugzilla-Status: RESOLVED X-Bugzilla-Resolution: DUPLICATE X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: 6.0 X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_status resolution target_milestone Message-ID: In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated MIME-Version: 1.0 X-SW-Source: 2015-07/txt/msg01458.txt.bz2 Content-length: 531 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66898 H.J. Lu changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |DUPLICATE Target Milestone|--- |6.0 --- Comment #2 from H.J. Lu --- Dup. *** This bug has been marked as a duplicate of bug 66891 ***