From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id E04293857724; Thu, 13 Apr 2023 18:59:48 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E04293857724 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1681412388; bh=Hs4aNlOMz5dNDGtwjSGyVM5KDCgkHa0oIe4pfDzGZHQ=; h=From:To:Subject:Date:In-Reply-To:References:From; b=DKimfm7LvSvt4iXVsMyEbD/NOC7y/nmdU3oe+nVB8irEEVZ1qRal3d915n6eME3fU 6uHZwaXC9NCkTYCaFqtktH5Ex9Jenx/eFhW2x2ces+Fr1CcwACCnzLe486o+4xqkRz V1Sr+0uDJZ+YNOn9ItYRf9ivl2gGr33P8QmtHFnQ= From: "cvs-commit at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: =?UTF-8?B?W0J1ZyBjKysvMTA5Mjc3XSBbMTMgUmVncmVzc2lvbl0gdHlwZV90?= =?UTF-8?B?cmFpdHM6MTQxNzozMDogZXJyb3I6IGludmFsaWQgdXNlIG9mIGluY29tcGxl?= =?UTF-8?B?dGUgdHlwZSDigJhjbGFzcyB2ODo6aW50ZXJuYWw6Oldhc21BcnJheeKAmQ==?= Date: Thu, 13 Apr 2023 18:59:48 +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: 13.0 X-Bugzilla-Keywords: rejects-valid X-Bugzilla-Severity: normal X-Bugzilla-Who: cvs-commit at gcc dot gnu.org X-Bugzilla-Status: ASSIGNED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: jason at gcc dot gnu.org X-Bugzilla-Target-Milestone: 13.0 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 List-Id: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D109277 --- Comment #13 from CVS Commits --- The trunk branch has been updated by Jason Merrill : https://gcc.gnu.org/g:f32f7881fb0db085479525b5a23db5dabd990c3b commit r13-7172-gf32f7881fb0db085479525b5a23db5dabd990c3b Author: Jason Merrill Date: Mon Apr 3 23:20:13 2023 -0400 c++: make trait of incomplete type a permerror [PR109277] An incomplete type argument to several traits is specified to be undefi= ned behavior in the library; since it's a compile-time property, we diagnose it. But apparently some code was relying on the previous behavior of n= ot diagnosing. So let's make it a permerror. The assert in cxx_incomplete_type_diagnostic didn't like that, and I do= n't see the point of having the assert, so let's just remove it. PR c++/109277 gcc/cp/ChangeLog: * semantics.cc (check_trait_type): Handle incomplete type direc= tly. * typeck2.cc (cxx_incomplete_type_diagnostic): Remove assert. gcc/testsuite/ChangeLog: * g++.dg/ext/is_convertible5.C: New test.=