From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 267513858416; Fri,  1 Mar 2024 20:55:18 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 267513858416
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1709326518;
	bh=kVOq5+WpbJpypM1WQXncHhn67ljLBStcSSYlxpcfAvQ=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=mdwPfacQJ/PTKMJgvLeP4kQsKGeSORRCPcoCTp1C6tY2JP1KRMTGOEjps3uFJTl4k
	 Xc8jK3j3jVIB5Vx3lfReKXAhTlRs8e/DvFMKw5lH3j0MCsY/NMWdWl5CeHsnLxZExX
	 lhNkpTCQ35QIssnmWejE1br79GM4TBvsSgHz+ReU=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/109642] False Positive -Wdangling-reference with
 std::span-like classes
Date: Fri, 01 Mar 2024 20:55:15 +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.1.0
X-Bugzilla-Keywords: diagnostic
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Resolution: FIXED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: mpolacek at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-109642-4-uEtJEC3lGR@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-109642-4@http.gcc.gnu.org/bugzilla/>
References: <bug-109642-4@http.gcc.gnu.org/bugzilla/>
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: <gcc-bugs.sourceware.org>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D109642

--- Comment #19 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Marek Polacek <mpolacek@gcc.gnu.org>:

https://gcc.gnu.org/g:c7607c4cf18986025430ca8626abfe56bfe87106

commit r14-9263-gc7607c4cf18986025430ca8626abfe56bfe87106
Author: Marek Polacek <polacek@redhat.com>
Date:   Thu Jan 25 16:38:51 2024 -0500

    c++: implement [[gnu::no_dangling]] [PR110358]

    Since -Wdangling-reference has false positives that can't be
    prevented, we should offer an easy way to suppress the warning.
    Currently, that is only possible by using a #pragma, either around the
    enclosing class or around the call site.  But #pragma GCC diagnostic te=
nd
    to be onerous.  A better solution would be to have an attribute.

    To that end, this patch adds a new attribute, [[gnu::no_dangling]].
    This attribute takes an optional bool argument to support cases like:

      template <typename T>
      struct [[gnu::no_dangling(std::is_reference_v<T>)]] S {
         // ...
      };

            PR c++/110358
            PR c++/109642

    gcc/cp/ChangeLog:

            * call.cc (no_dangling_p): New.
            (reference_like_class_p): Use it.
            (do_warn_dangling_reference): Use it.  Don't warn when the func=
tion
            or its enclosing class has attribute gnu::no_dangling.
            * tree.cc (cxx_gnu_attributes): Add gnu::no_dangling.
            (handle_no_dangling_attribute): New.

    gcc/ChangeLog:

            * doc/extend.texi: Document gnu::no_dangling.
            * doc/invoke.texi: Mention that gnu::no_dangling disables
            -Wdangling-reference.

    gcc/testsuite/ChangeLog:

            * g++.dg/ext/attr-no-dangling1.C: New test.
            * g++.dg/ext/attr-no-dangling2.C: New test.
            * g++.dg/ext/attr-no-dangling3.C: New test.
            * g++.dg/ext/attr-no-dangling4.C: New test.
            * g++.dg/ext/attr-no-dangling5.C: New test.
            * g++.dg/ext/attr-no-dangling6.C: New test.
            * g++.dg/ext/attr-no-dangling7.C: New test.
            * g++.dg/ext/attr-no-dangling8.C: New test.
            * g++.dg/ext/attr-no-dangling9.C: New test.=