[libcxx] Add assert into __set_long_cap

vitalybuka · vitalybuka · commit 3d88874bd17f · 2024-04-26T15:03:40.000-07:00
diff --git a/libcxx/include/string b/libcxx/include/string
@@ -1876,6 +1876,7 @@ private:
   _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX20 void __set_long_cap(size_type __s) _NOEXCEPT {
     __r_.first().__l.__cap_     = __s / __endian_factor;
     __r_.first().__l.__is_long_ = true;
+    _LIBCPP_ASSERT_INTERNAL(__s == __get_long_cap(), "Size must be __endian_factor aligned.");
   }
 
   _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX20 size_type __get_long_cap() const _NOEXCEPT {

Original file line number	Diff line number	Diff line change
`@@ -1876,6 +1876,7 @@ private:`
`1876`	`1876`	`_LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX20 void __set_long_cap(size_type __s) _NOEXCEPT {`
`1877`	`1877`	`__r_.first().__l.__cap_ = __s / __endian_factor;`
`1878`	`1878`	`__r_.first().__l.__is_long_ = true;`
	`1879`	`+ _LIBCPP_ASSERT_INTERNAL(__s == __get_long_cap(), "Size must be __endian_factor aligned.");`
`1879`	`1880`	`}`
`1880`	`1881`
`1881`	`1882`	`_LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX20 size_type __get_long_cap() const _NOEXCEPT {`