aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPatrick Palka <ppalka@redhat.com>2020-09-28 11:54:57 -0400
committerPatrick Palka <ppalka@redhat.com>2020-09-28 11:54:57 -0400
commit623443357e6092067b4cf98cc6c0aeff7560b98d (patch)
tree87bf249f1bee788fc5993a409e6807e31c266004
parente189d5c931c5d94fd7487a2d1df9454d0b124eeb (diff)
downloadgcc-623443357e6092067b4cf98cc6c0aeff7560b98d.zip
gcc-623443357e6092067b4cf98cc6c0aeff7560b98d.tar.gz
gcc-623443357e6092067b4cf98cc6c0aeff7560b98d.tar.bz2
libstdc++: Reduce the size of an unbounded iota_view
libstdc++-v3/ChangeLog: * include/std/ranges (iota_view::_M_bound): Give it [[no_unique_address]]. * testsuite/std/ranges/iota/iota_view.cc: Check that an unbounded iota_view has minimal size.
-rw-r--r--libstdc++-v3/include/std/ranges2
-rw-r--r--libstdc++-v3/testsuite/std/ranges/iota/iota_view.cc3
2 files changed, 4 insertions, 1 deletions
diff --git a/libstdc++-v3/include/std/ranges b/libstdc++-v3/include/std/ranges
index ed04fa0..964a2b6 100644
--- a/libstdc++-v3/include/std/ranges
+++ b/libstdc++-v3/include/std/ranges
@@ -511,7 +511,7 @@ namespace ranges
};
_Winc _M_value = _Winc();
- _Bound _M_bound = _Bound();
+ [[no_unique_address]] _Bound _M_bound = _Bound();
public:
iota_view() = default;
diff --git a/libstdc++-v3/testsuite/std/ranges/iota/iota_view.cc b/libstdc++-v3/testsuite/std/ranges/iota/iota_view.cc
index 65d166f..8a33e10 100644
--- a/libstdc++-v3/testsuite/std/ranges/iota/iota_view.cc
+++ b/libstdc++-v3/testsuite/std/ranges/iota/iota_view.cc
@@ -77,6 +77,9 @@ test04()
VERIFY( it == v.end() );
}
+// Verify we optimize away the 'bound' data member of an unbounded iota_view.
+static_assert(sizeof(std::ranges::iota_view<char>) == 1);
+
int
main()
{