From af9577cbd31f2eec3061d2fe1502d15e2044a8db Mon Sep 17 00:00:00 2001 From: Dmitriy Sobolev Date: Tue, 5 Nov 2024 11:07:41 -0600 Subject: [PATCH] More comments for device_copyable test Signed-off-by: Dmitriy Sobolev --- test/general/implementation_details/device_copyable.pass.cpp | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/test/general/implementation_details/device_copyable.pass.cpp b/test/general/implementation_details/device_copyable.pass.cpp index 1a537c2863c..9b1b09e8c2e 100644 --- a/test/general/implementation_details/device_copyable.pass.cpp +++ b/test/general/implementation_details/device_copyable.pass.cpp @@ -190,6 +190,10 @@ test_device_copyable() oneapi::dpl::__par_backend_hetero::__early_exit_find_or>, "__early_exit_find_or is not device copyable with device copyable types"); + // __leaf_sorter + // Note that the use of noop_device_copyable/noop_non_device_copyable is valid in this context because + // sycl::is_device_copyable specialization for __leaf_sorter does not require instantiation of + // __leaf_sorter with the provided types. See [temp.inst]/1 of C++17 spec for the details. static_assert( sycl::is_device_copyable_v>, @@ -428,6 +432,7 @@ test_non_device_copyable() noop_non_device_copyable>>, "__early_exit_find_or is device copyable with non device copyable types"); + // __leaf_sorter static_assert(!sycl::is_device_copyable_v>, "__leaf_sorter is device copyable with non device copyable types");