From b07cb3dc54c31af45840c1416423855ca5377327 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 30 Mar 2024 16:26:19 -0700 Subject: [PATCH] use C++23 conventions in buffer.h Signed-off-by: Nikolaj Bjorner --- src/util/buffer.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/util/buffer.h b/src/util/buffer.h index f40914638..e8b2a14c8 100644 --- a/src/util/buffer.h +++ b/src/util/buffer.h @@ -30,7 +30,8 @@ protected: T * m_buffer = reinterpret_cast(m_initial_buffer); unsigned m_pos = 0; unsigned m_capacity = INITIAL_SIZE; - typename std::aligned_storage::type m_initial_buffer[INITIAL_SIZE]; + alignas(T) std::byte m_initial_buffer[sizeof(T)*INITIAL_SIZE]; +// typename std::aligned_storage::type m_initial_buffer[INITIAL_SIZE]; void free_memory() { if (m_buffer != reinterpret_cast(m_initial_buffer)) {