@@ -153,6 +153,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
inline mask_array<_Tp>&
mask_array<_Tp>::operator=(const mask_array<_Tp>& __a)
{
+ __glibcxx_assert(__a._M_sz == _M_sz);
std::__valarray_copy(__a._M_array, __a._M_mask,
_M_sz, _M_array, _M_mask);
return *this;
@@ -166,13 +167,19 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
template<typename _Tp>
inline void
mask_array<_Tp>::operator=(const valarray<_Tp>& __v) const
- { std::__valarray_copy(_Array<_Tp>(__v), __v.size(), _M_array, _M_mask); }
+ {
+ __glibcxx_assert(__v.size() == _M_sz);
+ std::__valarray_copy(_Array<_Tp>(__v), __v.size(), _M_array, _M_mask);
+ }
template<typename _Tp>
template<class _Ex>
inline void
mask_array<_Tp>::operator=(const _Expr<_Ex, _Tp>& __e) const
- { std::__valarray_copy(__e, __e.size(), _M_array, _M_mask); }
+ {
+ __glibcxx_assert(__e.size() == _M_sz);
+ std::__valarray_copy(__e, __e.size(), _M_array, _M_mask);
+ }
#undef _DEFINE_VALARRAY_OPERATOR
#define _DEFINE_VALARRAY_OPERATOR(_Op, _Name) \
@@ -180,6 +187,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
inline void \
mask_array<_Tp>::operator _Op##=(const valarray<_Tp>& __v) const \
{ \
+ __glibcxx_assert(__v.size() == _M_sz); \
_Array_augmented_##_Name(_M_array, _M_mask, \
_Array<_Tp>(__v), __v.size()); \
} \
@@ -189,6 +197,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
inline void \
mask_array<_Tp>::operator _Op##=(const _Expr<_Dom, _Tp>& __e) const\
{ \
+ __glibcxx_assert(__e.size() == _M_sz); \
_Array_augmented_##_Name(_M_array, _M_mask, __e, __e.size()); \
}
@@ -893,6 +893,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
size_t __e = __m.size();
for (size_t __i=0; __i<__e; ++__i)
if (__m[__i]) ++__s;
+ __glibcxx_assert(__s <= _M_size);
return valarray<_Tp>(mask_array<_Tp>(_Array<_Tp>(_M_data), __s,
_Array<bool> (__m)));
}
@@ -905,6 +906,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
size_t __e = __m.size();
for (size_t __i=0; __i<__e; ++__i)
if (__m[__i]) ++__s;
+ __glibcxx_assert(__s <= _M_size);
return mask_array<_Tp>(_Array<_Tp>(_M_data), __s, _Array<bool>(__m));
}
new file mode 100644
@@ -0,0 +1,16 @@
+// { dg-options "-D_GLIBCXX_ASSERTIONS" }
+// { dg-do run { xfail *-*-* } }
+
+#include <valarray>
+
+int main()
+{
+ using std::valarray;
+
+ // This is adapted from an example in C++11 [valarray.sub].
+ // valarray<T> operator[](const valarray<bool>& boolarr) const;
+
+ const valarray<char> v0("ab", 2);
+ const bool vb[] = {false, false, true, true, false, true};
+ (void) v0[valarray<bool>(vb, 6)]; // aborts, mask has more elements than v0
+}
new file mode 100644
@@ -0,0 +1,16 @@
+// { dg-options "-D_GLIBCXX_ASSERTIONS" }
+// { dg-do run { xfail *-*-* } }
+
+#include <valarray>
+
+int main()
+{
+ using std::valarray;
+
+ // This is adapted from an example in C++11 [valarray.sub].
+ // mask_array<T> operator[](const valarray<bool>& boolarr);
+
+ valarray<char> v0("ab", 2);
+ const bool vb[] = {false, false, true, true, false, true};
+ (void) v0[valarray<bool>(vb, 6)]; // aborts, mask has more elements than v0
+}
new file mode 100644
@@ -0,0 +1,19 @@
+// { dg-options "-D_GLIBCXX_ASSERTIONS" }
+// { dg-do run { xfail *-*-* } }
+
+#include <valarray>
+
+int main()
+{
+ using std::valarray;
+ using std::mask_array;
+
+ // This is adapted from an example in C++11 [valarray.sub].
+ // See also PR libstdc++/62196.
+
+ valarray<char> v0("abcdefghijklmnop", 16);
+ valarray<char> v1("ABCD", 4);
+ const bool vb[] = {false, false, true, true, false, true};
+ const mask_array<char> m = v0[valarray<bool>(vb, 6)];
+ m = v1; // aborts, v1 has more elements than m
+}
new file mode 100644
@@ -0,0 +1,18 @@
+// { dg-options "-D_GLIBCXX_ASSERTIONS" }
+// { dg-do run { xfail *-*-* } }
+
+#include <valarray>
+
+int main()
+{
+ using std::valarray;
+ using std::mask_array;
+
+ // This is adapted from an example in C++11 [valarray.sub].
+
+ valarray<char> v0("abcdefghijklmnop", 16);
+ valarray<char> v1("AB", 2);
+ const bool vb[] = {false, false, true, true, false, true};
+ const mask_array<char> m = v0[valarray<bool>(vb, 6)];
+ m = v1; // aborts, m has more elements than v1
+}
new file mode 100644
@@ -0,0 +1,19 @@
+// { dg-options "-D_GLIBCXX_ASSERTIONS" }
+// { dg-do run { xfail *-*-* } }
+
+#include <valarray>
+
+int main()
+{
+ using std::valarray;
+ using std::mask_array;
+
+ // This is adapted from an example in C++11 [valarray.sub].
+
+ valarray<char> v0("abcdef", 6);
+ valarray<char> v1("ABCDEF", 6);
+ const bool vb[] = {false, false, true, true, false, true};
+ const mask_array<char> m0 = v0[valarray<bool>(vb, 6)];
+ const mask_array<char> m1 = v1[valarray<bool>(vb, 5)];
+ m0 = m1; // aborts, m0 has more elements than m1
+}
new file mode 100644
@@ -0,0 +1,19 @@
+// { dg-options "-D_GLIBCXX_ASSERTIONS" }
+// { dg-do run { xfail *-*-* } }
+
+#include <valarray>
+
+int main()
+{
+ using std::valarray;
+ using std::mask_array;
+
+ // This is adapted from an example in C++11 [valarray.sub].
+
+ valarray<char> v0("abcdef", 6);
+ valarray<char> v1("ABCDEF", 6);
+ const bool vb[] = {false, false, true, true, false, true};
+ const mask_array<char> m0 = v0[valarray<bool>(vb, 5)];
+ const mask_array<char> m1 = v1[valarray<bool>(vb, 6)];
+ m0 = m1; // aborts, m0 has fewer elements than m1
+}
new file mode 100644
@@ -0,0 +1,18 @@
+// { dg-options "-D_GLIBCXX_ASSERTIONS" }
+// { dg-do run { xfail *-*-* } }
+
+#include <valarray>
+
+int main()
+{
+ using std::valarray;
+ using std::mask_array;
+
+ // This is adapted from an example in C++11 [valarray.sub].
+
+ valarray<char> v0("abcdefghijklmnop", 16);
+ valarray<char> v1("ABCD", 4);
+ const bool vb[] = {false, false, true, true, false, true};
+ const mask_array<char> m = v0[valarray<bool>(vb, 6)];
+ m += v1; // aborts, v1 has more elements than m
+}
new file mode 100644
@@ -0,0 +1,18 @@
+// { dg-options "-D_GLIBCXX_ASSERTIONS" }
+// { dg-do run { xfail *-*-* } }
+
+#include <valarray>
+
+int main()
+{
+ using std::valarray;
+ using std::mask_array;
+
+ // This is adapted from an example in C++11 [valarray.sub].
+
+ valarray<char> v0("abcdefghijklmnop", 16);
+ valarray<char> v1("AB", 2);
+ const bool vb[] = {false, false, true, true, false, true};
+ const mask_array<char> m = v0[valarray<bool>(vb, 6)];
+ m += v1; // aborts, v1 has more elements than m
+}
new file mode 100644
@@ -0,0 +1,47 @@
+// { dg-options "-D_GLIBCXX_ASSERTIONS" }
+// { dg-do run }
+
+#include <valarray>
+#include <testsuite_hooks.h>
+
+using std::valarray;
+
+template<typename T>
+bool equal(const valarray<T>& lhs, const valarray<T>& rhs)
+{
+ if (lhs.size() != rhs.size())
+ return false;
+ for (unsigned i = 0; i < lhs.size(); ++i)
+ if (lhs[i] != rhs[i])
+ return false;
+ return true;
+}
+
+// Taken from examples in C++11 [valarray.sub].
+
+void
+test01() // valarray<T> operator[](const valarray<bool>& boolarr) const;
+{
+ const valarray<char> v0("abcdefghijklmnop", 16);
+ const bool vb[] = {false, false, true, true, false, true};
+ valarray<char> v1 = v0[valarray<bool>(vb, 6)];
+
+ VERIFY( equal(v1, valarray<char>("cdf", 3)) );
+}
+
+void
+test02() // mask_array<T> operator[](const valarray<bool>& boolarr);
+{
+ valarray<char> v0("abcdefghijklmnop", 16);
+ valarray<char> v1("ABC", 3);
+ const bool vb[] = {false, false, true, true, false, true};
+ v0[valarray<bool>(vb, 6)] = v1;
+
+ VERIFY( equal(v0, valarray<char>("abABeCghijklmnop", 16)) );
+}
+
+int main()
+{
+ test01();
+ test02();
+}