+2019-09-05 Jonathan Wakely <jwakely@redhat.com>
+
+ * doc/xml/manual/status_cxx2020.xml: Update status for P0122R7 and
+ P1024R3. Remove entry for P0920R2.
+ * include/std/span (__cpp_lib_span): Change value.
+ (__extent_storage, __extent_storage<dynamic_extent>): Remove default
+ constructor.
+ (span): Replace __extent_storage base class with data member.
+ (span::_S_subspan_extent): New function.
+ (span::empty()): Add nodiscard attribute.
+ (span::front, span::back, span::operator[]): Check preconditions.
+ (span::first, span::last, span::subspan): Add noexcept. Improve
+ precondition checks (LWG 3103).
+ (get): Remove redundant condition from static_assert.
+ (tuple_element<I, span<T, E>>): Fix static_assert message and simplify.
+ (as_writable_bytes): Add inline specifier.
+ * include/std/version (__cpp_lib_span): Change value.
+ * testsuite/23_containers/span/back_neg.cc: Remove stray semi-colon.
+ * testsuite/23_containers/span/front_neg.cc: Likewise.
+ * testsuite/23_containers/span/index_op_neg.cc: Likewise.
+ * testsuite/23_containers/span/last_neg.cc: Improve test.
+ * testsuite/23_containers/span/subspan_neg.cc: Likewise.
+ * testsuite/23_containers/span/1.cc: New test.
+ * testsuite/23_containers/span/2.cc: New test.
+ * testsuite/23_containers/span/back_assert_neg.cc: New test.
+ * testsuite/23_containers/span/first_2_assert_neg.cc: New test.
+ * testsuite/23_containers/span/first_assert_neg.cc: New test.
+ * testsuite/23_containers/span/first_neg.cc: New test.
+ * testsuite/23_containers/span/front_assert_neg.cc: New test.
+ * testsuite/23_containers/span/index_op_assert_neg.cc: New test.
+ * testsuite/23_containers/span/last_2_assert_neg.cc: New test.
+ * testsuite/23_containers/span/last_assert_neg.cc: New test.
+ * testsuite/23_containers/span/subspan_2_assert_neg.cc: New test.
+ * testsuite/23_containers/span/subspan_3_assert_neg.cc: New test.
+ * testsuite/23_containers/span/subspan_4_assert_neg.cc: New test.
+ * testsuite/23_containers/span/subspan_5_assert_neg.cc: New test.
+ * testsuite/23_containers/span/subspan_6_assert_neg.cc: New test.
+ * testsuite/23_containers/span/subspan_assert_neg.cc: New test.
+
2019-09-05 JeanHeyd Meneide <phdofthehouse@gmail.com>
* include/Makefile.am: Add <span> header.
<a class="link" href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0777r1.pdf" target="_top">
P0777R1
</a>
- </td><td align="center"> 9.1 </td><td align="left"> </td></tr><tr bgcolor="#C8B0B0"><td align="left"> <code class="code"><span></code> </td><td align="left">
+ </td><td align="center"> 9.1 </td><td align="left"> </td></tr><tr><td align="left"> <code class="code"><span></code> </td><td align="left">
<a class="link" href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0122r7.pdf" target="_top">
P0122R7
</a>
- </td><td align="center"> </td><td align="left"> </td></tr><tr bgcolor="#C8B0B0"><td align="left"> Extending chrono to Calendars and Time Zones </td><td align="left">
+ </td><td align="center"> 10.1 </td><td align="left"> <code class="code">__cpp_lib_span >= 201803L</code> </td></tr><tr bgcolor="#C8B0B0"><td align="left"> Extending chrono to Calendars and Time Zones </td><td align="left">
<a class="link" href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0355r7.html" target="_top">
P0355R7
</a>
<a class="link" href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1252r2.pdf" target="_top">
P1252R2
</a>
- </td><td align="center"> </td><td align="left"> </td></tr><tr bgcolor="#C8B0B0"><td align="left">
+ </td><td align="center"> </td><td align="left"> </td></tr><tr><td align="left">
Usability Enhancements for <code class="classname">std::span</code>
</td><td align="left">
<a class="link" href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1024r3.pdf" target="_top">
P1024R3
</a>
- </td><td align="center"> </td><td align="left"> </td></tr><tr bgcolor="#C8B0B0"><td align="left"> Precalculated hash values in lookup </td><td align="left">
- <a class="link" href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0920r2.html" target="_top">
- P0920R2
- </a>
- </td><td align="center"> </td><td align="left"> </td></tr><tr><td align="left"> Traits for [Un]bounded Arrays </td><td align="left">
+ </td><td align="center"> 10.1 </td><td align="left"> <code class="code">__cpp_lib_span >= 201902L</code> </td></tr><tr><td align="left"> Traits for [Un]bounded Arrays </td><td align="left">
<a class="link" href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1357r1.pdf" target="_top">
P1357R1
</a>
</row>
<row>
- <?dbhtml bgcolor="#C8B0B0" ?>
<entry> <code><span></code> </entry>
<entry>
<link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0122r7.pdf">
P0122R7
</link>
</entry>
- <entry align="center"> </entry>
- <entry />
+ <entry align="center"> 10.1 </entry>
+ <entry> <code>__cpp_lib_span >= 201803L</code> </entry>
</row>
<row>
</row>
<row>
- <?dbhtml bgcolor="#C8B0B0" ?>
<entry>
Usability Enhancements for <classname>std::span</classname>
</entry>
P1024R3
</link>
</entry>
- <entry align="center"> </entry>
- <entry />
- </row>
-
- <row>
- <?dbhtml bgcolor="#C8B0B0" ?>
- <entry> Precalculated hash values in lookup </entry>
- <entry>
- <link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p0920r2.html">
- P0920R2
- </link>
- </entry>
- <entry align="center"> </entry>
- <entry />
+ <entry align="center"> 10.1 </entry>
+ <entry> <code>__cpp_lib_span >= 201902L</code> </entry>
</row>
<row>
{
_GLIBCXX_BEGIN_NAMESPACE_VERSION
-// FIXME: they forgot this feature test macro
-// get on someone's back about it in Belfast!!!
-#define __cpp_lib_span 201911
+#define __cpp_lib_span 201902L
inline constexpr size_t dynamic_extent = static_cast<size_t>(-1);
class __extent_storage
{
public:
- constexpr
- __extent_storage() noexcept = default;
-
constexpr
__extent_storage(size_t) noexcept
{ }
};
template<>
- class __extent_storage<static_cast<size_t>(-1)>
+ class __extent_storage<dynamic_extent>
{
public:
- constexpr
- __extent_storage() noexcept : _M_extent_value(0)
- { };
-
constexpr
__extent_storage(size_t __extent) noexcept
: _M_extent_value(__extent)
} // namespace __detail
template<typename _Type, size_t _Extent = dynamic_extent>
- class span : private __detail::__extent_storage<_Extent>
+ class span
{
+ template<size_t _Offset, size_t _Count>
+ static constexpr size_t
+ _S_subspan_extent()
+ {
+ if constexpr (_Count != dynamic_extent)
+ return _Count;
+ else if constexpr (extent != dynamic_extent)
+ return _Extent - _Offset;
+ else
+ return dynamic_extent;
+ }
+
public:
// member types
using value_type = remove_cv_t<_Type>;
// member constants
static inline constexpr size_t extent = _Extent;
- private:
- using __base_t = __detail::__extent_storage<extent>;
-
- public:
// constructors
template <typename _Dummy = _Type,
enable_if_t<is_same_v<_Dummy, _Type>
&& (_Extent == dynamic_extent || _Extent == 0)>* = nullptr>
constexpr
- span() noexcept : __base_t(0), _M_ptr(nullptr)
+ span() noexcept : _M_extent(0), _M_ptr(nullptr)
{ }
constexpr
constexpr
span(_ContiguousIterator __first, index_type __count)
noexcept(noexcept(::std::__adl_to_address(__first)))
- : __base_t(__count), _M_ptr(::std::__adl_to_address(__first))
+ : _M_extent(__count), _M_ptr(::std::__adl_to_address(__first))
{ __glibcxx_assert(_Extent == dynamic_extent || __count == _Extent); }
#else
constexpr
span(pointer __first, index_type __count) noexcept
- : _
_base_t(__count), _M_ptr(static_cast<pointer>(__first))
+ : _
M_extent(__count), _M_ptr(static_cast<pointer>(__first))
{ __glibcxx_assert(_Extent == dynamic_extent || __count == _Extent); }
constexpr
constexpr span&
operator=(const span&) noexcept = default;
- // observers: element access
+ // observers
+
+ constexpr index_type
+ size() const noexcept
+ { return this->_M_extent._M_extent(); }
+
+ constexpr index_type
+ size_bytes() const noexcept
+ { return this->_M_extent._M_extent() * sizeof(element_type); }
+
+ [[nodiscard]] constexpr bool
+ empty() const noexcept
+ { return size() == 0; }
+
+ // element access
constexpr reference
front() const noexcept
- { return *this->begin(); }
+ {
+ static_assert(extent != 0);
+ __glibcxx_assert(!empty());
+ return *this->_M_ptr;
+ }
constexpr reference
back() const noexcept
{
- iterator __it = this->end();
- --__it;
- return *__it;
+ static_assert(extent != 0);
+ __glibcxx_assert(!empty());
+ return *(this->_M_ptr + (size() - 1));
}
constexpr reference
operator[](index_type __idx) const noexcept
- { return *(this->_M_ptr + __idx); }
+ {
+ static_assert(extent != 0);
+ __glibcxx_assert(__idx < size());
+ return *(this->_M_ptr + __idx);
+ }
constexpr pointer
data() const noexcept
{ return this->_M_ptr; }
- constexpr index_type
- size() const noexcept
- { return this->__base_t::_M_extent(); }
+ // iterator support
- constexpr index_type
- size_bytes() const noexcept
- { return this->__base_t::_M_extent() * sizeof(element_type); }
-
- constexpr bool
- empty() const noexcept
- { return size() == 0; }
-
- // observers: iterator support
constexpr iterator
begin() const noexcept
{ return iterator(this->_M_ptr); }
crend() const noexcept
{ return const_reverse_iterator(this->cbegin()); }
- // observers: subranges
+ // subviews
+
template<size_t _Count>
constexpr span<element_type, _Count>
- first() const
+ first() const noexcept
{
- __glibcxx_assert(_Count < size());
+ if constexpr (_Extent == dynamic_extent)
+ __glibcxx_assert(_Count <= size());
+ else
+ static_assert(_Count <= extent);
return { this->data(), _Count };
}
constexpr span<element_type, dynamic_extent>
- first(index_type __count) const
+ first(index_type __count) const noexcept
{
- __glibcxx_assert(__count < size());
+ __glibcxx_assert(__count <= size());
return { this->data(), __count };
}
template<size_t _Count>
constexpr span<element_type, _Count>
- last() const
+ last() const noexcept
{
- static_assert(_Count == dynamic_extent ||
- _Extent == dynamic_extent || _Count <= _Extent,
- "Count or Extent are dynamic, "
- "or the Count is less than the static extent");
- __glibcxx_assert(_Count <= size());
+ if constexpr (_Extent == dynamic_extent)
+ __glibcxx_assert(_Count <= size());
+ else
+ static_assert(_Count <= extent);
return { this->data() + (this->size() - _Count), _Count };
}
constexpr span<element_type, dynamic_extent>
- last(index_type __count) const
+ last(index_type __count) const noexcept
{
- __glibcxx_assert(__count < size());
- index_type __offset = (this->size() - __count);
- return { this->data() + __offset, __count };
+ __glibcxx_assert(__count <= size());
+ return { this->data() + (this->size() - __count), __count };
}
template<size_t _Offset, size_t _Count = dynamic_extent>
constexpr auto
- subspan() const
+ subspan() const noexcept
+ -> span<element_type, _S_subspan_extent<_Offset, _Count>()>
{
- static_assert(_Count == dynamic_extent ||
- _Extent == dynamic_extent ||
- (_Offset + _Count) <= _Extent,
- "Count or Extent are dynamic, "
- "or the Count + Offset is less than the static extent");
- constexpr size_t __span_extent =
- (_Count != dynamic_extent
- ? _Count
- : (_Extent != dynamic_extent ? _Extent - _Offset
- : dynamic_extent));
- using __span_t = span<element_type, __span_extent>;
- if constexpr(_Count != dynamic_extent)
+ if constexpr (_Extent == dynamic_extent)
+ __glibcxx_assert(_Offset <= size());
+ else
+ static_assert(_Offset <= extent);
+
+ if constexpr (_Count == dynamic_extent)
+ return { this->data() + _Offset, this->size() - _Offset };
+ else
{
- __glibcxx_assert((_Offset + _Count) < size());
+ if constexpr (_Extent == dynamic_extent)
+ {
+ __glibcxx_assert(_Count <= size());
+ __glibcxx_assert(_Count <= (size() - _Offset));
+ }
+ else
+ {
+ static_assert(_Count <= extent);
+ static_assert(_Count <= (extent - _Offset));
+ }
+ return { this->data() + _Offset, _Count };
}
- return __span_t(this->data() + _Offset,
- (_Count == dynamic_extent ? this->size() - _Offset : _Count));
}
constexpr span<element_type, dynamic_extent>
subspan(index_type __offset, index_type __count = dynamic_extent) const
+ noexcept
{
- return {this->data() + __offset,
- __count == dynamic_extent ? this->size() - __offset : __count};
+ __glibcxx_assert(__offset <= size());
+ if (__count == dynamic_extent)
+ __count = this->size() - __offset;
+ else
+ {
+ __glibcxx_assert(__count <= size());
+ __glibcxx_assert(__offset + __count <= size());
+ }
+ return {this->data() + __offset, __count};
}
// observers: range helpers
{ return __sp.end(); }
private:
+ [[no_unique_address]] __detail::__extent_storage<extent> _M_extent;
pointer _M_ptr;
};
// deduction guides
template<typename _Type, size_t _ArrayExtent>
- span(_Type(&)[_ArrayExtent])->span<_Type, _ArrayExtent>;
+ span(_Type(&)[_ArrayExtent]) -> span<_Type, _ArrayExtent>;
template<typename _Type, size_t _ArrayExtent>
- span(array<_Type, _ArrayExtent>&)->span<_Type, _ArrayExtent>;
+ span(array<_Type, _ArrayExtent>&) -> span<_Type, _ArrayExtent>;
template<typename _Type, size_t _ArrayExtent>
span(const array<_Type, _ArrayExtent>&)
- ->span<const _Type, _ArrayExtent>;
+ -> span<const _Type, _ArrayExtent>;
#if defined(_GLIBCXX_P1394) && _GLIBCXX_P1394
template<typename _ContiguousIterator, typename _Sentinel>
span(_ContiguousIterator, _Sentinel)
- ->span<remove_reference_t<
+ -> span<remove_reference_t<
typename iterator_traits<_ContiguousIterator>::reference>>;
template<typename _Range>
span(_Range &&)
- ->span<remove_reference_t<typename iterator_traits<decltype(
- ::std::__adl_begin(::std::declval<_Range&>()))>::reference>>;
+ -> span<remove_reference_t<typename iterator_traits<
+ decltype(std::__adl_begin(::std::declval<_Range&>()))>::reference>>;
#else
template<typename _Container>
- span(_Container&)->span<typename _Container::value_type>;
+ span(_Container&) -> span<typename _Container::value_type>;
template<typename _Container>
- span(const _Container&)->span<const typename _Container::value_type>;
+ span(const _Container&) -> span<const typename _Container::value_type>;
#endif // P1394
template<typename _Type, size_t _Extent>
+ inline
span<const byte, _Extent == dynamic_extent
? dynamic_extent : _Extent * sizeof(_Type)>
- inline as_bytes(span<_Type, _Extent> __sp) noexcept
+ as_bytes(span<_Type, _Extent> __sp) noexcept
{
return {reinterpret_cast<const byte*>(__sp.data()), __sp.size_bytes()};
}
template<typename _Type, size_t _Extent>
+ inline
span<byte, _Extent == dynamic_extent
? dynamic_extent : _Extent * sizeof(_Type)>
as_writable_bytes(span<_Type, _Extent> __sp) noexcept
constexpr _Type&
get(span<_Type, _Extent> __sp) noexcept
{
- static_assert(_Extent != dynamic_extent
- && (_Extent > 0) && (_Index < _Extent),
- "std::get can only be used with a span of non-dynamic (fixed) extent");
+ static_assert(_Extent != dynamic_extent && _Index < _Extent,
+ "get<I> can only be used with a span of non-dynamic (fixed) extent");
return __sp[_Index];
}
template<size_t _Index, typename _Type, size_t _Extent>
struct tuple_element<_Index, span<_Type, _Extent>>
{
- static_assert(_Extent != dynamic_extent, "tuple_size can only "
+ static_assert(_Extent != dynamic_extent, "tuple_element can only "
"be used with a span of non-dynamic (fixed) extent");
static_assert(_Index < _Extent, "Index is less than Extent");
- using type = typename span<_Type, _Extent>::element_type;
+ using type = _Type;
};
_GLIBCXX_END_NAMESPACE_VERSION
#endif
#define __cpp_lib_list_remove_return_type 201806L
#define __cpp_lib_math_constants 201907L
+#define __cpp_lib_span 201902L
#define __cpp_lib_to_array 201907L
-// FIXME: they forgot this feature test macro
-// get on someone's back about it in Belfast!!!
-#define __cpp_lib_span 201911
#endif // C++2a
#endif // C++17
#endif // C++14
--- /dev/null
+// Copyright (C) 2019 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do compile { target c++2a } }
+
+#include <span>
+
+#ifndef __cpp_lib_span
+# error "Feature-test macro for span missing in <span>"
+#elif __cpp_lib_span != 201902L
+# error "Feature-test macro for span has wrong value in <span>"
+#endif
--- /dev/null
+// Copyright (C) 2019 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do compile { target c++2a } }
+
+#include <version>
+
+#ifndef __cpp_lib_span
+# error "Feature-test macro for span missing in <version>"
+#elif __cpp_lib_span != 201902L
+# error "Feature-test macro for span has wrong value in <version>"
+#endif
--- /dev/null
+// Copyright (C) 2019 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do run { xfail c++2a } }
+
+#define _GLIBCXX_ASSERTIONS
+#include <span>
+
+int main()
+{
+ std::span<int, std::dynamic_extent> s;
+ s.back();
+}
--- /dev/null
+// Copyright (C) 2019 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do compile { target c++2a } }
+
+#include <span>
+
+void
+test01()
+{
+ std::span<int, 0> s;
+ s.back(); // { dg-error "here" }
+}
+// { dg-error "static assertion failed" "" { target *-*-* } 0 }
--- /dev/null
+// Copyright (C) 2019 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do run { xfail c++2a } }
+
+#define _GLIBCXX_ASSERTIONS
+#include <span>
+
+int main()
+{
+ int a[4];
+ std::span<int, std::dynamic_extent> s(a);
+ s.first(5);
+}
--- /dev/null
+// Copyright (C) 2019 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do run { xfail c++2a } }
+
+#define _GLIBCXX_ASSERTIONS
+#include <span>
+
+int main()
+{
+ int a[4];
+ std::span<int, std::dynamic_extent> s(a);
+ s.first<5>();
+}
--- /dev/null
+// Copyright (C) 2019 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do compile { target c++2a } }
+
+#include <span>
+
+void
+test01()
+{
+ int a[4];
+ std::span<int, 4> s(a);
+ s.first<5>(); // { dg-error "here" }
+}
+// { dg-error "static assertion failed" "" { target *-*-* } 0 }
--- /dev/null
+// Copyright (C) 2019 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do run { xfail c++2a } }
+
+#define _GLIBCXX_ASSERTIONS
+#include <span>
+
+int main()
+{
+ std::span<int, std::dynamic_extent> s;
+ s.front();
+}
--- /dev/null
+// Copyright (C) 2019 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do compile { target c++2a } }
+
+#include <span>
+
+void
+test01()
+{
+ std::span<int, 0> s;
+ s.front(); // { dg-error "here" }
+}
+// { dg-error "static assertion failed" "" { target *-*-* } 0 }
--- /dev/null
+// Copyright (C) 2019 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do run { xfail c++2a } }
+
+#define _GLIBCXX_ASSERTIONS
+#include <span>
+
+int main()
+{
+ std::span<int, std::dynamic_extent> s;
+ s[99];
+}
--- /dev/null
+// Copyright (C) 2019 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do compile { target c++2a } }
+
+#include <span>
+
+void
+test01()
+{
+ std::span<int, 0> s;
+ s[99]; // { dg-error "here" }
+}
+// { dg-error "static assertion failed" "" { target *-*-* } 0 }
--- /dev/null
+// Copyright (C) 2019 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do run { xfail c++2a } }
+
+#define _GLIBCXX_ASSERTIONS
+#include <span>
+
+int main()
+{
+ int a[4];
+ std::span<int, std::dynamic_extent> s(a);
+ s.last(5);
+}
--- /dev/null
+// Copyright (C) 2019 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do run { xfail c++2a } }
+
+#define _GLIBCXX_ASSERTIONS
+#include <span>
+
+int main()
+{
+ int a[4];
+ std::span<int, std::dynamic_extent> s(a);
+ s.last<5>();
+}
// with this library; see the file COPYING3. If not see
// <http://www.gnu.org/licenses/>.
-// { dg-options "-std=c++2a" }
+// { dg-options "-std=gnu++2a" }
// { dg-do compile { target c++2a } }
#include <span>
-int
-main()
+void
+test01()
{
- std::span<int, 2> myspan(nullptr, 2);
- myspan.last<3>(); // { dg-error "here" }
+ int a[2];
+ std::span<int, 2> s(a);
+ s.last<3>(); // { dg-error "here" }
}
// { dg-error "static assertion failed" "" { target *-*-* } 0 }
--- /dev/null
+// Copyright (C) 2019 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do run { xfail c++2a } }
+
+#define _GLIBCXX_ASSERTIONS
+#include <span>
+
+int main()
+{
+ int a[4];
+ std::span<int, std::dynamic_extent> s(a);
+ s.subspan<2, 5>();
+}
--- /dev/null
+// Copyright (C) 2019 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do run { xfail c++2a } }
+
+#define _GLIBCXX_ASSERTIONS
+#include <span>
+
+int main()
+{
+ int a[4];
+ std::span<int, std::dynamic_extent> s(a);
+ s.subspan<2, 3>();
+}
--- /dev/null
+// Copyright (C) 2019 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do run { xfail c++2a } }
+
+#define _GLIBCXX_ASSERTIONS
+#include <span>
+
+int main()
+{
+ int a[4];
+ std::span<int, std::dynamic_extent> s(a);
+ s.subspan(5, 0);
+}
--- /dev/null
+// Copyright (C) 2019 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do run { xfail c++2a } }
+
+#define _GLIBCXX_ASSERTIONS
+#include <span>
+
+int main()
+{
+ int a[4];
+ std::span<int, std::dynamic_extent> s(a);
+ s.subspan(2, 5);
+}
--- /dev/null
+// Copyright (C) 2019 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do run { xfail c++2a } }
+
+#define _GLIBCXX_ASSERTIONS
+#include <span>
+
+int main()
+{
+ int a[4];
+ std::span<int, std::dynamic_extent> s(a);
+ s.subspan(2, 3);
+}
--- /dev/null
+// Copyright (C) 2019 Free Software Foundation, Inc.
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// { dg-options "-std=gnu++2a" }
+// { dg-do run { xfail c++2a } }
+
+#define _GLIBCXX_ASSERTIONS
+#include <span>
+
+int main()
+{
+ int a[4];
+ std::span<int, std::dynamic_extent> s(a);
+ s.subspan<5, 0>();
+}
// with this library; see the file COPYING3. If not see
// <http://www.gnu.org/licenses/>.
-// { dg-options "-std=c++2a" }
+// { dg-options "-std=gnu++2a" }
// { dg-do compile { target c++2a } }
#include <span>
-int
-main()
+void
+test01()
{
- std::span<int, 2> myspan(nullptr, 2);
- myspan.subspan<3, 1>(); // { dg-error "here" }
+ int a[4];
+ std::span<int, 4> s(a);
+ s.subspan<5, 0>(); // { dg-error "here" }
}
+
+void
+test02()
+{
+ int a[4];
+ std::span<int, 4> s(a);
+ s.subspan<3, 5>(); // { dg-error "here" }
+}
+
+void
+test03()
+{
+ int a[4];
+ std::span<int, 4> s(a);
+ s.subspan<3, 2>(); // { dg-error "here" }
+}
+
// { dg-error "static assertion failed" "" { target *-*-* } 0 }
projects / gcc.git / commitdiff