// RUN: %clangxx -fsycl -fsyntax-only -Xclang -verify %s -Xclang -verify-ignore-unexpected=note,warning
// expected-no-diagnostics

#include <cassert>
#include <memory>
#include <sycl/sycl.hpp>

using namespace sycl;

int main() {
  std::vector<int> v(5, 1);
  const std::vector<int> cv(5, 1);
  buffer b1(v.data(), range<1>(5));
  static_assert(std::is_same<decltype(b1), buffer<int, 1>>::value);

  buffer b1a(v.data(), range<1>(5), std::allocator<int>());
  static_assert(
      std::is_same<decltype(b1a), buffer<int, 1, std::allocator<int>>>::value);

  buffer b1b(cv.data(), range<1>(5));
  static_assert(std::is_same<decltype(b1b), buffer<int, 1>>::value);

  buffer b1c(v.data(), range<2>(2, 2));
  static_assert(std::is_same<decltype(b1c), buffer<int, 2>>::value);

  buffer b2(v.begin(), v.end());
  static_assert(std::is_same<decltype(b2), buffer<int, 1>>::value);

  buffer b2a(v.cbegin(), v.cend());
  static_assert(std::is_same<decltype(b2a), buffer<int, 1>>::value);

  buffer b3(v);
  static_assert(std::is_same<decltype(b3), buffer<int, 1>>::value);

  buffer b3a(cv);
  static_assert(std::is_same<decltype(b3a), buffer<int, 1>>::value);

  std::shared_ptr<int> ptr{new int[5], [](int *p) { delete[] p; }};
  buffer b4(ptr, range<1>(5));
  static_assert(std::is_same<decltype(b4), buffer<int, 1>>::value);

  std::allocator<int> buf_alloc;
  std::shared_ptr<int> ptr_alloc{new int[5], [](int *p) { delete[] p; }};
  buffer b5(ptr_alloc, range<1>(5), buf_alloc);
  static_assert(
      std::is_same<decltype(b5), buffer<int, 1, std::allocator<int>>>::value);

  std::shared_ptr<int[]> arr_ptr{new int[5]};
  buffer b6(arr_ptr, range<1>(5));
  static_assert(std::is_same<decltype(b6), buffer<int, 1>>::value);

  std::shared_ptr<int[]> arr_ptr_alloc{new int[5]};
  buffer b7(arr_ptr_alloc, range<1>(5), buf_alloc);
  static_assert(
      std::is_same<decltype(b7), buffer<int, 1, std::allocator<int>>>::value);
}