Skip to content

make STDEXEC_ASSERT usable during constant evaluation #2049

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
ericniebler merged 3 commits into from
Apr 27, 2026
+44 −21
Merged

make STDEXEC_ASSERT usable during constant evaluation #2049

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
81174ff
make `STDEXEC_ASSERT` usable during constant evaluation
ericniebler Apr 26, 2026
0e85ce3
do not generate code in NDEBUG mode
ericniebler Apr 27, 2026
d12619a
avoid nvc++ pragma push/pop bug
ericniebler Apr 27, 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
60 changes: 42 additions & 18 deletions include/stdexec/__detail/__config.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -379,7 +379,8 @@ namespace STDEXEC::__std
#elif STDEXEC_EDG()
# define STDEXEC_PRAGMA_PUSH() \
STDEXEC_PRAGMA(diagnostic push) \
STDEXEC_PRAGMA_IGNORE_EDG(invalid_error_number) STDEXEC_PRAGMA_IGNORE_EDG(invalid_error_tag)
STDEXEC_PRAGMA_IGNORE_EDG(invalid_error_number) \
STDEXEC_PRAGMA_IGNORE_EDG(invalid_error_tag)
# define STDEXEC_PRAGMA_POP() STDEXEC_PRAGMA(diagnostic pop)
# define STDEXEC_PRAGMA_IGNORE_EDG(...) STDEXEC_PRAGMA(diag_suppress __VA_ARGS__)
#elif STDEXEC_CLANG() || STDEXEC_GCC()
Expand Down Expand Up @@ -652,26 +653,49 @@ namespace STDEXEC
#if defined(__cpp_if_consteval) && __cpp_if_consteval >= 202106L
# define STDEXEC_IF_CONSTEVAL if consteval
# define STDEXEC_IF_NOT_CONSTEVAL if !consteval
#else
# define STDEXEC_IF_CONSTEVAL if (std::is_constant_evaluated())
# define STDEXEC_IF_NOT_CONSTEVAL \
if (std::is_constant_evaluated()) { \
} else
#endif

#ifdef STDEXEC_ASSERT
# error "Redefinition of STDEXEC_ASSERT is not permitted. Define STDEXEC_ASSERT_FN instead."
#elif STDEXEC_GCC()
# define STDEXEC_IF_CONSTEVAL \
STDEXEC_PRAGMA_PUSH() \
STDEXEC_PRAGMA_IGNORE_GNU("-Wtautological-compare") \
if (std::is_constant_evaluated()) \
STDEXEC_PRAGMA_POP()
# define STDEXEC_IF_NOT_CONSTEVAL STDEXEC_IF_CONSTEVAL {} else
#else
# define STDEXEC_IF_CONSTEVAL if (std::is_constant_evaluated())
# define STDEXEC_IF_NOT_CONSTEVAL STDEXEC_IF_CONSTEVAL {} else
#endif

#if defined(STDEXEC_ASSERT)
// nothing to do, user has provided their own assertion macro
#elif defined(STDEXEC_ASSERT_FN)
// legacy way to customize assertions, still supported for backward compatibility
# define STDEXEC_ASSERT(_XP) STDEXEC_ASSERT_FN(_XP)
#else
# define STDEXEC_ASSERT(_XP) \
do \
{ \
STDEXEC_IF_CONSTEVAL \
{ \
if (!(_XP)) \
STDEXEC::__throw_assertion_failure(); \
} \
else \
{ \
assert(_XP); \
} \
} while (false)
#endif

#define STDEXEC_ASSERT(_XP) \
do { \
/*static_assert(noexcept(_XP));*/ \
STDEXEC_ASSERT_FN(_XP); \
} while (false)
namespace STDEXEC
{
struct __assertion_failure
{};

#ifndef STDEXEC_ASSERT_FN
# define STDEXEC_ASSERT_FN assert
#endif
inline void __throw_assertion_failure()
{
throw __assertion_failure{};
}
} // namespace STDEXEC

#define STDEXEC_AUTO_RETURN(...) \
noexcept(noexcept(__VA_ARGS__))->decltype(__VA_ARGS__) { \
Expand Down
5 changes: 2 additions & 3 deletions include/stdexec/__detail/__schedulers.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -248,7 +248,7 @@ namespace STDEXEC
env_of_t<schedule_result_t<_Sch>>,
_Env const &...>)
{
STDEXEC_ASSERT_FN(__sch == __read_query_t{}(get_env(__sch.schedule()), __env...));
STDEXEC_ASSERT(__sch == __read_query_t{}(get_env(__sch.schedule()), __env...));
}
return __sch;
}
Expand All @@ -265,8 +265,7 @@ namespace STDEXEC
__call_result_t<get_completion_domain_t<_Tag>, _Attrs const &, _Env const &...>;
static_assert(__same_as<__domain_t, __detail::__scheduler_domain_t<_Sch, _Env const &...>>,
"the sender claims to complete on a domain that is not the domain of its "
"completion "
"scheduler");
"completion scheduler");
}
return __sch;
}
Expand Down
Loading