The compiler can't tell that the vector size fits in int, so it thinks
it might overflow to a negative value, which would then be a huge
positive size_t. In reality, the vector size never exceeds five.
There's no warning on trunk, so just change the local variable to use
type unsigned so that we get rid of the warning on the branches.
libstdc++-v3/ChangeLog:
PR libstdc++/116212
*
testsuite/20_util/specialized_algorithms/uninitialized_move/constrained.cc:
Use unsigned for vector size.
---
Tested x86_64-linux.
Pushed to gcc-14. I'll also backport to gcc-13.
I would like to bisect the trunk at some point to see where it was
fixed, but probably not today.
.../specialized_algorithms/uninitialized_move/constrained.cc | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git
a/libstdc++-v3/testsuite/20_util/specialized_algorithms/uninitialized_move/constrained.cc
b/libstdc++-v3/testsuite/20_util/specialized_algorithms/uninitialized_move/constrained.cc
index 62f933137d2..a9f7bbf0eb7 100644
---
a/libstdc++-v3/testsuite/20_util/specialized_algorithms/uninitialized_move/constrained.cc
+++
b/libstdc++-v3/testsuite/20_util/specialized_algorithms/uninitialized_move/constrained.cc
@@ -50,7 +50,7 @@ test01(std::vector<T> ix)
{
ix = saved_ix;
- int size = ix.size();
+ unsigned size = ix.size();
auto buffer = std::unique_ptr<char[]>(new char[sizeof(T)*size]);
std::span<T> rx((T *)buffer.get(), size);
--
2.49.0
