Move business logic outside of LIBC_ASSERT, so that it's not optimized away.

Author: Alexey Samsonov

libc/src/__support/fixedvector.h

@@ -29,21 +29,24 @@ template <typename T, size_t CAPACITY> class FixedVector {
   using iterator = typename cpp::array<T, CAPACITY>::iterator;
   LIBC_INLINE constexpr FixedVector(iterator begin, iterator end)
       : store{}, item_count{} {
+    LIBC_ASSERT(begin + CAPACITY >= end);
     for (; begin != end; ++begin)
-      LIBC_ASSERT(push_back(*begin));
+      push_back(*begin);
   }
 
   using const_iterator = typename cpp::array<T, CAPACITY>::const_iterator;
   LIBC_INLINE constexpr FixedVector(const_iterator begin, const_iterator end)
       : store{}, item_count{} {
+    LIBC_ASSERT(begin + CAPACITY >= end);
     for (; begin != end; ++begin)
-      LIBC_ASSERT(push_back(*begin));
+      push_back(*begin);
   }
 
   LIBC_INLINE constexpr FixedVector(size_t count, const T &value)
       : store{}, item_count{} {
+    LIBC_ASSERT(count <= CAPACITY);
     for (size_t i = 0; i < count; ++i)
-      LIBC_ASSERT(push_back(value));
+      push_back(value);
   }
 
   LIBC_INLINE constexpr bool push_back(const T &obj) {