srsran: avoid false-alarm warning when compiling static_vector with gcc 13.3.0

jcgonzalez-srs · jcgonzalez-srs · commit 4120ed982609 · 2025-11-04T14:55:34.000Z
diff --git a/include/srsran/adt/static_vector.h b/include/srsran/adt/static_vector.h
@@ -89,6 +89,7 @@ struct trivial_storage {
   constexpr void construct_(size_t idx, U&& arg0, Args&&... args) noexcept
   {
     static_assert(std::is_constructible<T, Args...>::value, "T(Args...) does not exist");
+    srsran_assume(idx < Capacity);
     array[idx] = T(std::forward<U>(arg0), std::forward<Args>(args)...);
   }
 

Original file line number	Diff line number	Diff line change
`@@ -89,6 +89,7 @@ struct trivial_storage {`
`89`	`89`	`constexpr void construct_(size_t idx, U&& arg0, Args&&... args) noexcept`
`90`	`90`	`{`
`91`	`91`	`static_assert(std::is_constructible<T, Args...>::value, "T(Args...) does not exist");`
	`92`	`+ srsran_assume(idx < Capacity);`
`92`	`93`	`array[idx] = T(std::forward<U>(arg0), std::forward<Args>(args)...);`
`93`	`94`	`}`
`94`	`95`