diff options
| author | Marek Polacek <polacek@redhat.com> | 2023-03-10 12:23:13 -0500 |
|---|---|---|
| committer | Marek Polacek <polacek@redhat.com> | 2023-03-13 11:21:25 -0400 |
| commit | ced122b849b8961b854053f0d1ac96983c5802e5 (patch) | |
| tree | c6c9dbf76849dcc75c3694f484014006581af739 | |
| parent | 7ef44579787af646d5bae13a91a49ef5d2048f5c (diff) | |
| download | gcc-ced122b849b8961b854053f0d1ac96983c5802e5.zip gcc-ced122b849b8961b854053f0d1ac96983c5802e5.tar.gz gcc-ced122b849b8961b854053f0d1ac96983c5802e5.tar.bz2 | |
c++: suppress -Wdangling-reference for std::span [PR107532]
std::span is a view and therefore should be treated as a reference
wrapper class for the purposes of -Wdangling-reference. I'm not sure
there's a pattern that we could check for.
PR c++/107532
gcc/cp/ChangeLog:
* call.cc (reference_like_class_p): Check for std::span.
gcc/testsuite/ChangeLog:
* g++.dg/warn/Wdangling-reference10.C: New test.
| -rw-r--r-- | gcc/cp/call.cc | 1 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/warn/Wdangling-reference10.C | 12 |
2 files changed, 13 insertions, 0 deletions
diff --git a/gcc/cp/call.cc b/gcc/cp/call.cc index 3dfa12a..c01e7b8 100644 --- a/gcc/cp/call.cc +++ b/gcc/cp/call.cc @@ -13800,6 +13800,7 @@ reference_like_class_p (tree ctype) tree name = DECL_NAME (tdecl); return (name && (id_equal (name, "reference_wrapper") + || id_equal (name, "span") || id_equal (name, "ref_view"))); } for (tree fields = TYPE_FIELDS (ctype); diff --git a/gcc/testsuite/g++.dg/warn/Wdangling-reference10.C b/gcc/testsuite/g++.dg/warn/Wdangling-reference10.C new file mode 100644 index 0000000..733fb8c --- /dev/null +++ b/gcc/testsuite/g++.dg/warn/Wdangling-reference10.C @@ -0,0 +1,12 @@ +// PR c++/107532 +// { dg-do compile { target c++20 } } +// { dg-options "-Wdangling-reference" } + +#include <span> +#include <vector> + +void f(const std::vector<int>& v) +{ + const int& r = std::span<const int>(v)[0]; // { dg-bogus "dangling reference" } + (void) r; +} |