From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id 55DF438582AC; Wed, 15 Mar 2023 14:33:32 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 55DF438582AC DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1678890812; bh=wLUoIt+JISu5K9Q+rcKhdMrLDjnXOp/SyzkDuekqz4c=; h=From:To:Subject:Date:In-Reply-To:References:From; b=ajtCuYuWVueCY7PJ/xTDbk7CJiaPS4mEDk6jn265yHvk2xLVIMwZ6FAqVEaRf7w86 ZBUOAheXjv7k39qvnSfTn27DxQbirf48cXeSBvNoaDl7FagP2olWHEAYHZs2L81req h13NxY3VeB2cpSISIIVNFgH6hH3YXrjNq78KcUJ8= From: "jakub at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug c++/109083] [10/11/12/13 Regression] Incorrect static_assert shown in diagnostics Date: Wed, 15 Mar 2023 14:33:32 +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: 12.2.1 X-Bugzilla-Keywords: diagnostic X-Bugzilla-Severity: normal X-Bugzilla-Who: jakub at gcc dot gnu.org X-Bugzilla-Status: NEW X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned 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=3D109083 --- Comment #5 from Jakub Jelinek --- We don't instantiate in that case, just look up a specialization which migh= t be or might not be later instantiated (which is when it is diagnosed). One way to fix this would be to drop locations from the expressions in the template arguments if we use them from multiple spots. But that could resu= lt in less accurate diagnostics.=