From ee487c6b897ea4fa75a1d503fd4d36f124f238f0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Robert=20L=C3=B6hning?= <robert.loehning@qt.io>
Date: Tue, 26 Oct 2021 21:07:16 +0200
Subject: [PATCH] QVarLengthArray: Add explicit assertions for implicit
 assumptions

Change-Id: I4dfbf6174483b4af91f31a05c18cfec2aaec6e1f
Pick-to: 6.2
Reviewed-by: Edward Welbourne <edward.welbourne@qt.io>
Reviewed-by: Thiago Macieira <thiago.macieira@intel.com>
---
 src/corelib/tools/qvarlengtharray.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/corelib/tools/qvarlengtharray.h b/src/corelib/tools/qvarlengtharray.h
index 6ecc22213f4..67d8463a515 100644
--- a/src/corelib/tools/qvarlengtharray.h
+++ b/src/corelib/tools/qvarlengtharray.h
@@ -619,6 +619,8 @@ template <typename...Args>
 Q_OUTOFLINE_TEMPLATE auto QVarLengthArray<T, Prealloc>::emplace(const_iterator before, Args &&...args) -> iterator
 {
     Q_ASSERT_X(isValidIterator(before), "QVarLengthArray::insert", "The specified const_iterator argument 'before' is invalid");
+    Q_ASSERT(s <= a);
+    Q_ASSERT(a > 0);
 
     qsizetype offset = qsizetype(before - ptr);
     if (s == a)