Skip to content

[libcu++] Try to use the _CCCL_NODEBUG attribute more often #11055

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
miscco merged 2 commits into from
Sep 1, 2026
Merged

[libcu++] Try to use the _CCCL_NODEBUG attribute more often #11055

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b1839bf
[libcu++] Try to use the `_CCCL_NODEBUG` attribute more often
miscco Aug 28, 2026
bf2bcbe
Merge branch 'main' into nodebug_gcc
miscco Sep 1, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion cudax/include/cuda/experimental/__detail/type_traits.cuh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -109,7 +109,7 @@ template <class... _As>
_CCCL_CONCEPT __nothrow_copyable = (::cuda::std::is_nothrow_copy_constructible_v<_As> && ...);

template <class... _As>
using __nothrow_decay_copyable_t _CCCL_NODEBUG_ALIAS = ::cuda::std::bool_constant<__nothrow_decay_copyable<_As...>>;
using __nothrow_decay_copyable_t _CCCL_NODEBUG = ::cuda::std::bool_constant<__nothrow_decay_copyable<_As...>>;
Comment thread
miscco marked this conversation as resolved.

using ::cuda::std::__call_result_t;
} // namespace cuda::experimental
Expand Down
4 changes: 2 additions & 2 deletions cudax/include/cuda/experimental/__execution/apply_sender.cuh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,7 @@ private:
//! @tparam _Domain The domain to check.
//! @tparam _Args The arguments to validate against the domain.
template <class _Domain, class... _Args>
using __apply_domain_t _CCCL_NODEBUG_ALIAS = ::cuda::std::
using __apply_domain_t _CCCL_NODEBUG = ::cuda::std::
_If<::cuda::std::_IsValidExpansion<__apply_sender_result_t, _Domain, _Args...>::value, _Domain, default_domain>;

public:
Expand All @@ -68,7 +68,7 @@ public:
_Tag{}, static_cast<_Sndr&&>(__sndr), static_cast<_Args&&>(__args)...)))
-> __apply_sender_result_t<__apply_domain_t<_Domain, _Tag, _Sndr, _Args...>, _Tag, _Sndr, _Args...>
{
using __dom_t _CCCL_NODEBUG_ALIAS = __apply_domain_t<_Domain, _Tag, _Sndr, _Args...>;
using __dom_t _CCCL_NODEBUG = __apply_domain_t<_Domain, _Tag, _Sndr, _Args...>;
//! Calls the algorithm specified by _Tag using the determined domain.
return __dom_t{}.apply_sender(_Tag{}, static_cast<_Sndr&&>(__sndr), static_cast<_Args&&>(__args)...);
}
Expand Down
51 changes: 25 additions & 26 deletions cudax/include/cuda/experimental/__execution/completion_signatures.cuh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -57,14 +57,14 @@ template <class... _ValueTuples, class... _Errors, class... _Stopped>
struct __partitioned_completions<__type_list<_ValueTuples...>, __type_list<_Errors...>, __type_list<_Stopped...>>
{
template <template <class...> class _Tuple, template <class...> class _Variant>
using __value_types _CCCL_NODEBUG_ALIAS =
using __value_types _CCCL_NODEBUG =
_Variant<::cuda::std::__type_call1<_ValueTuples, ::cuda::std::__type_quote<_Tuple>>...>;

template <template <class...> class _Variant, template <class...> class _Transform = ::cuda::std::__type_self_t>
using __error_types _CCCL_NODEBUG_ALIAS = _Variant<_Transform<_Errors>...>;
using __error_types _CCCL_NODEBUG = _Variant<_Transform<_Errors>...>;

template <template <class...> class _Variant, class _Type = set_stopped_t()>
using __stopped_types _CCCL_NODEBUG_ALIAS = _Variant<__type_second<_Stopped, _Type>...>;
using __stopped_types _CCCL_NODEBUG = _Variant<__type_second<_Stopped, _Type>...>;

using __count_values = ::cuda::std::integral_constant<size_t, sizeof...(_ValueTuples)>;
using __count_errors = ::cuda::std::integral_constant<size_t, sizeof...(_Errors)>;
Expand Down Expand Up @@ -124,37 +124,37 @@ template <class _Partitioned>
_CCCL_HOST_DEVICE_API auto __unpack_partitioned_completions(::cuda::std::__undefined<_Partitioned>&) -> _Partitioned;

template <class... _Sigs>
using __partition_completion_signatures_t _CCCL_NODEBUG_ALIAS = //
using __partition_completion_signatures_t _CCCL_NODEBUG = //
decltype(execution::__unpack_partitioned_completions(
(declval<::cuda::std::__undefined<__partitioned_completions<>>&>() * ... * static_cast<_Sigs*>(nullptr))));

template <class _Completions>
using __partitioned_completions_of_t _CCCL_NODEBUG_ALIAS = typename _Completions::__partitioned::type;
using __partitioned_completions_of_t _CCCL_NODEBUG = typename _Completions::__partitioned::type;

////////////////////////////////////////////////////////////////////////////////////////////////////
// completion signatures type traits
template <class _Sigs, template <class...> class _Tuple, template <class...> class _Variant>
using __value_types _CCCL_NODEBUG_ALIAS =
using __value_types _CCCL_NODEBUG =
typename __partitioned_completions_of_t<_Sigs>::template __value_types<_Tuple, _Variant>;

template <class _Sndr, class _Env, template <class...> class _Tuple, template <class...> class _Variant>
using value_types_of_t _CCCL_NODEBUG_ALIAS =
using value_types_of_t _CCCL_NODEBUG =
__value_types<completion_signatures_of_t<_Sndr, _Env>,
::cuda::std::__type_indirect_quote<_Tuple>::template __call,
::cuda::std::__type_indirect_quote<_Variant>::template __call>;

template <class _Sigs,
template <class...> class _Variant,
template <class...> class _Transform = ::cuda::std::__type_self_t>
using __error_types _CCCL_NODEBUG_ALIAS =
using __error_types _CCCL_NODEBUG =
typename __partitioned_completions_of_t<_Sigs>::template __error_types<_Variant, _Transform>;

template <class _Sndr, class _Env, template <class...> class _Variant>
using error_types_of_t _CCCL_NODEBUG_ALIAS =
using error_types_of_t _CCCL_NODEBUG =
__error_types<completion_signatures_of_t<_Sndr, _Env>, ::cuda::std::__type_indirect_quote<_Variant>::template __call>;

template <class _Sigs, template <class...> class _Variant, class _Type = set_stopped_t()>
using __stopped_types _CCCL_NODEBUG_ALIAS =
using __stopped_types _CCCL_NODEBUG =
typename __partitioned_completions_of_t<_Sigs>::template __stopped_types<_Variant, _Type>;

template <class _Sigs>
Expand Down Expand Up @@ -187,7 +187,7 @@ _CCCL_HOST_DEVICE_API auto __make_unique(_Sigs*...)
-> ::cuda::std::__type_apply<::cuda::std::__type_quote<completion_signatures>, ::cuda::std::__make_type_set<_Sigs...>>;

template <class... _Sigs>
using __make_completion_signatures_t _CCCL_NODEBUG_ALIAS =
using __make_completion_signatures_t _CCCL_NODEBUG =
decltype(execution::__make_unique(execution::__normalize(static_cast<_Sigs*>(nullptr))...));

template <class... _ExplicitSigs, class... _DeducedSigs>
Expand All @@ -202,7 +202,7 @@ template <class... _ExplicitSigs, class... _DeducedSigs>
struct __concat_completion_signatures_impl;

template <class... _Sigs>
using __concat_completion_signatures_t _CCCL_NODEBUG_ALIAS =
using __concat_completion_signatures_t _CCCL_NODEBUG =
__call_result_t<__call_result_t<__concat_completion_signatures_impl, const _Sigs&...>>;

struct __concat_completion_signatures_fn
Expand Down Expand Up @@ -244,8 +244,8 @@ struct __concat_completion_signatures_impl
const completion_signatures<_Ds...>& = __empty_completion_signatures,
const _Rest&...) const noexcept
{
using _Tmp = completion_signatures<_As..., _Bs..., _Cs..., _Ds...>;
using _SigsFnPtr _CCCL_NODEBUG_ALIAS = __call_result_t<_Self, const _Tmp&, const _Rest&...>;
using _Tmp = completion_signatures<_As..., _Bs..., _Cs..., _Ds...>;
using _SigsFnPtr _CCCL_NODEBUG = __call_result_t<_Self, const _Tmp&, const _Rest&...>;
return static_cast<_SigsFnPtr>(nullptr);
}

Expand Down Expand Up @@ -337,35 +337,34 @@ struct _CCCL_TYPE_VISIBILITY_DEFAULT completion_signatures
{
// This is defined in a nested struct to avoid computing these types if they are not
// needed.
using type _CCCL_NODEBUG_ALIAS = __partition_completion_signatures_t<_Sigs...>;
using type _CCCL_NODEBUG = __partition_completion_signatures_t<_Sigs...>;
};

//! @brief Type set view of the completion signatures for set operations.
struct __type_set
{
// This is defined in a nested struct to avoid computing this type if it is not
// needed.
using type _CCCL_NODEBUG_ALIAS = ::cuda::std::__make_type_set<_Sigs...>;
using type _CCCL_NODEBUG = ::cuda::std::__make_type_set<_Sigs...>;
};

//! @brief Applies a metafunction to each signature and collects the results.
//! @tparam _Fn The metafunction to apply.
//! @tparam _Continuation The template to collect results into.
template <template <class...> class _Fn, template <class...> class _Continuation = __completion_signatures>
using __transform_q _CCCL_NODEBUG_ALIAS = _Continuation<::cuda::std::__type_apply_q<_Fn, _Sigs>...>;
using __transform_q _CCCL_NODEBUG = _Continuation<::cuda::std::__type_apply_q<_Fn, _Sigs>...>;

//! @brief Applies a callable metafunction to each signature and collects the results.
//! @tparam _Fn The callable metafunction to apply.
//! @tparam _Continuation The template to collect results into.
template <class _Fn, class _Continuation = ::cuda::std::__type_quote<__completion_signatures>>
using __transform _CCCL_NODEBUG_ALIAS =
::cuda::std::__type_call<_Continuation, ::cuda::std::__type_apply<_Fn, _Sigs>...>;
using __transform _CCCL_NODEBUG = ::cuda::std::__type_call<_Continuation, ::cuda::std::__type_apply<_Fn, _Sigs>...>;

//! @brief Calls a metafunction with the signatures as arguments.
//! @tparam _Fn The metafunction to call.
//! @tparam _More Additional arguments to pass.
template <class _Fn, class... _More>
using __call _CCCL_NODEBUG_ALIAS = ::cuda::std::__type_call<_Fn, _More..., _Sigs...>;
using __call _CCCL_NODEBUG = ::cuda::std::__type_call<_Fn, _More..., _Sigs...>;

//! @brief Default constructor.
_CCCL_HIDE_FROM_ABI constexpr completion_signatures() = default;
Expand Down Expand Up @@ -574,25 +573,25 @@ template <>
struct __gather_sigs_fn<set_value_t>
{
template <class _Sigs, template <class...> class _Tuple, template <class...> class _Variant>
using __call _CCCL_NODEBUG_ALIAS = __value_types<_Sigs, _Tuple, _Variant>;
using __call _CCCL_NODEBUG = __value_types<_Sigs, _Tuple, _Variant>;
};

template <>
struct __gather_sigs_fn<set_error_t>
{
template <class _Sigs, template <class...> class _Tuple, template <class...> class _Variant>
using __call _CCCL_NODEBUG_ALIAS = __error_types<_Sigs, _Variant, _Tuple>;
using __call _CCCL_NODEBUG = __error_types<_Sigs, _Variant, _Tuple>;
};

template <>
struct __gather_sigs_fn<set_stopped_t>
{
template <class _Sigs, template <class...> class _Tuple, template <class...> class _Variant>
using __call _CCCL_NODEBUG_ALIAS = __stopped_types<_Sigs, _Variant, _Tuple<>>;
using __call _CCCL_NODEBUG = __stopped_types<_Sigs, _Variant, _Tuple<>>;
};

template <class _Sigs, class _WantedTag, template <class...> class _Tuple, template <class...> class _Variant>
using __gather_completion_signatures _CCCL_NODEBUG_ALIAS =
using __gather_completion_signatures _CCCL_NODEBUG =
typename __gather_sigs_fn<_WantedTag>::template __call<_Sigs, _Tuple, _Variant>;

////////////////////////////////////////////////////////////////////////////////////////////////////
Expand Down Expand Up @@ -622,10 +621,10 @@ template <bool _PotentiallyThrowing>
}
}

using __eptr_completion_t _CCCL_NODEBUG_ALIAS = decltype(execution::__eptr_completion());
using __eptr_completion_t _CCCL_NODEBUG = decltype(execution::__eptr_completion());

template <bool _PotentiallyThrowing>
using __eptr_completion_if_t _CCCL_NODEBUG_ALIAS = decltype(execution::__eptr_completion_if<_PotentiallyThrowing>());
using __eptr_completion_if_t _CCCL_NODEBUG = decltype(execution::__eptr_completion_if<_PotentiallyThrowing>());

////////////////////////////////////////////////////////////////////////////////////////////////////
// invalid_completion_signature
Expand Down
10 changes: 5 additions & 5 deletions cudax/include/cuda/experimental/__execution/conditional.cuh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -76,7 +76,7 @@ struct _CCCL_TYPE_VISIBILITY_DEFAULT conditional_t
}

template <class... _As>
using __just_from_t _CCCL_NODEBUG_ALIAS = decltype(just_from(conditional_t::__mk_complete_fn(declval<_As>()...)));
using __just_from_t _CCCL_NODEBUG = decltype(just_from(conditional_t::__mk_complete_fn(declval<_As>()...)));

template <class _Pred, class _Then, class _Else, class... _Env>
struct __either_sig_fn
Expand Down Expand Up @@ -117,7 +117,7 @@ struct _CCCL_TYPE_VISIBILITY_DEFAULT conditional_t
::cuda::std::__type_list<connect_result_t<__call_result_t<_Then, __just_from_t<_As...>>, __rcvr_ref_t<_Rcvr>>,
connect_result_t<__call_result_t<_Else, __just_from_t<_As...>>, __rcvr_ref_t<_Rcvr>>>;

using __next_ops_variant_t _CCCL_NODEBUG_ALIAS =
using __next_ops_variant_t _CCCL_NODEBUG =
__value_types<_Completions, __opstate_list_t, __type_concat_into_quote<__variant>::__call>;

_Rcvr __rcvr_;
Expand Down Expand Up @@ -201,7 +201,7 @@ struct _CCCL_TYPE_VISIBILITY_DEFAULT conditional_t

public:
template <class _Pred, class _Then, class _Else>
using params _CCCL_NODEBUG_ALIAS = __closure_base_t<_Pred, _Then, _Else>;
using params _CCCL_NODEBUG = __closure_base_t<_Pred, _Then, _Else>;

template <class _Params, class _Sndr>
struct _CCCL_TYPE_VISIBILITY_DEFAULT __sndr_t;
Expand All @@ -216,7 +216,7 @@ public:
template <class _Pred, class _Then, class _Else, class _Sndr>
struct _CCCL_TYPE_VISIBILITY_DEFAULT conditional_t::__sndr_t<conditional_t::__closure_base_t<_Pred, _Then, _Else>, _Sndr>
{
using __params_t _CCCL_NODEBUG_ALIAS = conditional_t::__closure_base_t<_Pred, _Then, _Else>;
using __params_t _CCCL_NODEBUG = conditional_t::__closure_base_t<_Pred, _Then, _Else>;
/*_CCCL_NO_UNIQUE_ADDRESS*/ conditional_t __tag_;
__params_t __params_;
_Sndr __sndr_;
Expand Down Expand Up @@ -293,7 +293,7 @@ template <class _Sndr, class _Pred, class _Then, class _Else>
_CCCL_HOST_DEVICE_API constexpr auto
conditional_t::operator()(_Sndr __sndr, _Pred __pred, _Then __then, _Else __else) const
{
using __params_t _CCCL_NODEBUG_ALIAS = __closure_base_t<_Pred, _Then, _Else>;
using __params_t _CCCL_NODEBUG = __closure_base_t<_Pred, _Then, _Else>;
__params_t __params{static_cast<_Pred&&>(__pred), static_cast<_Then&&>(__then), static_cast<_Else&&>(__else)};
return static_cast<__params_t&&>(__params)(static_cast<_Sndr&&>(__sndr));
}
Expand Down
8 changes: 4 additions & 4 deletions cudax/include/cuda/experimental/__execution/continues_on.cuh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -151,7 +151,7 @@ struct _CCCL_TYPE_VISIBILITY_DEFAULT continues_on_t
template <class _Tag, class... _As>
_CCCL_HOST_DEVICE_API void __set_result(_Tag, _As&&... __as) noexcept
{
using __tupl_t _CCCL_NODEBUG_ALIAS = ::cuda::std::__tuple<_Tag, decay_t<_As>...>;
using __tupl_t _CCCL_NODEBUG = ::cuda::std::__tuple<_Tag, decay_t<_As>...>;
_CCCL_TRY
{
__state_->__result_.template __emplace<__tupl_t>(_Tag{}, static_cast<_As&&>(__as)...);
Expand Down Expand Up @@ -197,9 +197,9 @@ struct _CCCL_TYPE_VISIBILITY_DEFAULT continues_on_t
template <class _Sch, class _CvSndr, class _Rcvr>
struct _CCCL_TYPE_VISIBILITY_DEFAULT __opstate_t
{
using operation_state_concept = operation_state_t;
using __completions_t _CCCL_NODEBUG_ALIAS = completion_signatures_of_t<_CvSndr, __fwd_env_t<env_of_t<_Rcvr>>>;
using __results_t _CCCL_NODEBUG_ALIAS =
using operation_state_concept = operation_state_t;
using __completions_t _CCCL_NODEBUG = completion_signatures_of_t<_CvSndr, __fwd_env_t<env_of_t<_Rcvr>>>;
using __results_t _CCCL_NODEBUG =
typename __completions_t::template __transform_q<::cuda::std::__decayed_tuple, __variant>;
using __rcvr_t = continues_on_t::__rcvr_t<_Rcvr, __results_t>;
using __stash_rcvr_t = continues_on_t::__stash_rcvr_t<_Sch, _Rcvr, __results_t>;
Expand Down
12 changes: 6 additions & 6 deletions cudax/include/cuda/experimental/__execution/diagnostics.cuh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -86,17 +86,17 @@ struct _ERROR : __merror_base
// The following aliases are to simplify error propagation
// in the completion signatures meta-programming.
template <class...>
using __call _CCCL_NODEBUG_ALIAS = _ERROR;
using __call _CCCL_NODEBUG = _ERROR;

using __partitioned _CCCL_NODEBUG_ALIAS = _ERROR;
using __partitioned _CCCL_NODEBUG = _ERROR;

template <template <class...> class, template <class...> class>
using __value_types _CCCL_NODEBUG_ALIAS = _ERROR;
using __value_types _CCCL_NODEBUG = _ERROR;

template <template <class...> class>
using __error_types _CCCL_NODEBUG_ALIAS = _ERROR;
using __error_types _CCCL_NODEBUG = _ERROR;

using __sends_stopped _CCCL_NODEBUG_ALIAS = _ERROR;
using __sends_stopped _CCCL_NODEBUG = _ERROR;

// The following operator overloads also simplify error propagation.
_CCCL_HOST_DEVICE auto operator+() -> _ERROR;
Expand Down Expand Up @@ -132,7 +132,7 @@ inline constexpr bool __type_contains_error =
#endif

template <class... _Ts>
using __type_find_error _CCCL_NODEBUG_ALIAS = decltype(+(declval<_Ts&>(), ..., declval<_ERROR<_UNKNOWN>&>()));
using __type_find_error _CCCL_NODEBUG = decltype(+(declval<_Ts&>(), ..., declval<_ERROR<_UNKNOWN>&>()));

template <class... _What>
struct __not_a_sender
Expand Down
4 changes: 2 additions & 2 deletions cudax/include/cuda/experimental/__execution/domain.cuh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@
namespace cuda::experimental::execution
{
template <class _DomainOrTag, class... _Args>
using __apply_sender_result_t _CCCL_NODEBUG_ALIAS = decltype(_DomainOrTag{}.apply_sender(declval<_Args>()...));
using __apply_sender_result_t _CCCL_NODEBUG = decltype(_DomainOrTag{}.apply_sender(declval<_Args>()...));

// _DomainOrTag: eg, default_domain or then_t
// _OpTag: either start_t or set_value_t
Expand Down Expand Up @@ -217,7 +217,7 @@ template <class _Env>
_CCCL_DEDUCTION_GUIDE_ATTRIBUTES __hide_scheduler(_Env&&) -> __hide_scheduler<_Env>;

template <class _Sch, class... _Env>
using __scheduler_domain_t _CCCL_NODEBUG_ALIAS = __call_result_t<get_completion_domain_t<set_value_t>, _Sch, _Env...>;
using __scheduler_domain_t _CCCL_NODEBUG = __call_result_t<get_completion_domain_t<set_value_t>, _Sch, _Env...>;

//////////////////////////////////////////////////////////////////////////////////////////
//! @brief A query type for asking a receiver's environment for its domain, which is an
Expand Down
6 changes: 3 additions & 3 deletions cudax/include/cuda/experimental/__execution/env.cuh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -105,7 +105,7 @@ struct _CCCL_TYPE_VISIBILITY_DEFAULT __env_ref_fn
} // namespace __detail

template <class _Env>
using __env_ref_t _CCCL_NODEBUG_ALIAS = __call_result_t<__detail::__env_ref_fn, _Env>;
using __env_ref_t _CCCL_NODEBUG = __call_result_t<__detail::__env_ref_fn, _Env>;

_CCCL_GLOBAL_CONSTANT __detail::__env_ref_fn __env_ref{};

Expand Down Expand Up @@ -163,7 +163,7 @@ struct _CCCL_TYPE_VISIBILITY_DEFAULT __fwd_env_fn
} // namespace __detail

template <class _Env>
using __fwd_env_t _CCCL_NODEBUG_ALIAS = __call_result_t<__detail::__fwd_env_fn, _Env>;
using __fwd_env_t _CCCL_NODEBUG = __call_result_t<__detail::__fwd_env_fn, _Env>;

_CCCL_GLOBAL_CONSTANT __detail::__fwd_env_fn __fwd_env{};

Expand Down Expand Up @@ -284,7 +284,7 @@ struct __join_env_fn
_CCCL_GLOBAL_CONSTANT __detail::__join_env_fn __join_env{};

template <class... _Envs>
using __join_env_t _CCCL_NODEBUG_ALIAS = __call_result_t<__detail::__join_env_fn, _Envs...>;
using __join_env_t _CCCL_NODEBUG = __call_result_t<__detail::__join_env_fn, _Envs...>;
} // namespace execution

template <class... _Properties>
Expand Down
Loading
Loading