// Copyright (C) 2018-2025 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library.  This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.

// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License along
// with this library; see the file COPYING3.  If not see
// <http://www.gnu.org/licenses/>.

// { dg-do run { target c++11 } }
// { dg-options "-O0" }

#include <vector>
#include <testsuite_hooks.h>
#include <testsuite_allocator.h>

#include <cstring>
#include <ext/aligned_buffer.h>

using T = int;

using __gnu_test::default_init_allocator;

void test01()
{
  typedef default_init_allocator<T> alloc_type;
  typedef std::vector<T, alloc_type> test_type;

  __gnu_cxx::__aligned_buffer<test_type> buf;
  std::memset(buf._M_addr(), ~0, sizeof(test_type));

  test_type *tmp = ::new(buf._M_addr()) test_type;

  VERIFY( tmp->get_allocator().state == 0 );

  tmp->~test_type();
}

void test02()
{
  typedef default_init_allocator<T> alloc_type;
  typedef std::vector<T, alloc_type> test_type;

  __gnu_cxx::__aligned_buffer<test_type> buf;
  std::memset(buf._M_addr(), ~0, sizeof(test_type));

  test_type *tmp = ::new(buf._M_addr()) test_type();

  VERIFY( tmp->get_allocator().state == 0 );

  tmp->~test_type();
}

#ifdef __cpp_lib_constexpr_vector
constexpr bool
test03()
{
  using alloc_type = default_init_allocator<T>;
  std::vector<T, alloc_type> v;
  return v.get_allocator().state == 0;
}
static_assert( test03() );
#endif

int main()
{
  test01();
  test02();
  return 0;
}