centralize handling of annoying macros and warnings in prologue/epilogue headers

.clangd

@@ -8,6 +8,14 @@ If:
 
 ---
 
+If:
+  PathMatch: .*/stdexec/__detail/__epilogue[.]hpp
+CompileFlags:
+  Add:
+    - -include stdexec/__detail/__prologue.hpp
+
+---
+
 # Apply a config conditionally to all CUDA files
 If:
   PathMatch: .*\.cuh?$

include/stdexec/__detail/__affine.hpp

@@ -22,6 +22,8 @@
 #include "__senders.hpp"
 #include "__unstoppable.hpp"
 
+#include "__prologue.hpp"
+
 namespace STDEXEC
 {
   struct _CANNOT_MAKE_SENDER_AFFINE_TO_THE_STARTING_SCHEDULER_;
@@ -166,3 +168,5 @@ namespace STDEXEC
     };
   };
 }  // namespace STDEXEC
+
+#include "__epilogue.hpp"

include/stdexec/__detail/__any.hpp

@@ -33,7 +33,8 @@
 #include <type_traits>
 #include <utility>
 
-STDEXEC_PRAGMA_PUSH()
+#include "__prologue.hpp"
+
 STDEXEC_PRAGMA_IGNORE_GNU("-Wredundant-consteval-if")
 STDEXEC_PRAGMA_IGNORE_GNU("-Warray-bounds")
 
@@ -2179,4 +2180,4 @@ namespace STDEXEC::__any
 
 // NOLINTEND(moderize-use-override)
 
-STDEXEC_PRAGMA_POP()
+#include "__epilogue.hpp"

include/stdexec/__detail/__any_allocator.hpp

@@ -23,7 +23,8 @@
 #include "__memory.hpp"
 #include "__typeinfo.hpp"
 
-STDEXEC_PRAGMA_PUSH()
+#include "__prologue.hpp"
+
 STDEXEC_PRAGMA_IGNORE_GNU("-Warray-bounds")
 
 namespace STDEXEC
@@ -124,4 +125,4 @@ namespace STDEXEC
   __any_allocator(std::allocator<void>) -> __any_allocator<std::byte>;
 }  // namespace STDEXEC
 
-STDEXEC_PRAGMA_POP()
+#include "__epilogue.hpp"

include/stdexec/__detail/__as_awaitable.hpp

@@ -35,7 +35,8 @@
 #include <system_error>
 #include <thread>
 
-STDEXEC_PRAGMA_PUSH()
+#include "__prologue.hpp"
+
 STDEXEC_PRAGMA_IGNORE_GNU("-Wmissing-braces")
 STDEXEC_PRAGMA_IGNORE_MSVC(4714)  // marked as __forceinline not inlined
 
@@ -476,4 +477,4 @@ namespace STDEXEC
 #endif
 }  // namespace STDEXEC
 
-STDEXEC_PRAGMA_POP()
+#include "__epilogue.hpp"

include/stdexec/__detail/__associate.hpp

@@ -36,6 +36,8 @@
 #include <type_traits>
 #include <utility>
 
+#include "__prologue.hpp"
+
 namespace STDEXEC
 {
   /////////////////////////////////////////////////////////////////////////////
@@ -285,3 +287,5 @@ namespace STDEXEC
   struct __sexpr_impl<associate_t> : __associate::__associate_impl
   {};
 }  // namespace STDEXEC
+
+#include "__epilogue.hpp"

include/stdexec/__detail/__atomic.hpp

@@ -28,7 +28,8 @@
 
 #include <memory>
 
-STDEXEC_PRAGMA_PUSH()
+#include "__prologue.hpp"
+
 STDEXEC_PRAGMA_IGNORE_GNU("-Wdeprecated-declarations")
 STDEXEC_PRAGMA_IGNORE_EDG(deprecated_entity)
 STDEXEC_PRAGMA_IGNORE_MSVC(4996)  // 'foo': was declared deprecated
@@ -244,4 +245,4 @@ namespace STDEXEC::__std
 
 }  // namespace STDEXEC::__std
 
-STDEXEC_PRAGMA_POP()
+#include "__epilogue.hpp"

include/stdexec/__detail/__atomic_intrusive_queue.hpp

@@ -23,6 +23,8 @@
 
 #include <cassert>
 
+#include "__prologue.hpp"
+
 namespace STDEXEC
 {
 
@@ -78,3 +80,5 @@ namespace STDEXEC
   };
 
 }  // namespace STDEXEC
+
+#include "__epilogue.hpp"

include/stdexec/__detail/__awaitable.hpp

@@ -20,6 +20,8 @@
 #include "__config.hpp"
 #include "__meta.hpp"
 
+#include "__prologue.hpp"
+
 namespace STDEXEC
 {
 #if !STDEXEC_NO_STDCPP_COROUTINES()
@@ -108,3 +110,5 @@ namespace STDEXEC
 
 #endif
 }  // namespace STDEXEC
+
+#include "__epilogue.hpp"

include/stdexec/__detail/__basic_sender.hpp

@@ -32,7 +32,8 @@
 
 #include <cstddef>
 
-STDEXEC_PRAGMA_PUSH()
+#include "__prologue.hpp"
+
 STDEXEC_PRAGMA_IGNORE_GNU("-Wmissing-braces")
 
 namespace STDEXEC
@@ -461,4 +462,4 @@ namespace STDEXEC
   }  // namespace __detail
 }  // namespace STDEXEC
 
-STDEXEC_PRAGMA_POP()
+#include "__epilogue.hpp"

include/stdexec/__detail/__bulk.hpp

@@ -27,7 +27,8 @@
 #include "__senders.hpp"  // IWYU pragma: keep for __well_formed_sender
 #include "__transform_completion_signatures.hpp"
 
-STDEXEC_PRAGMA_PUSH()
+#include "__prologue.hpp"
+
 STDEXEC_PRAGMA_IGNORE_GNU("-Wmissing-braces")
 
 namespace STDEXEC
@@ -411,4 +412,4 @@ namespace STDEXEC
   {};
 }  // namespace STDEXEC
 
-STDEXEC_PRAGMA_POP()
+#include "__epilogue.hpp"

include/stdexec/__detail/__completion_behavior.hpp

@@ -26,6 +26,8 @@
 #include <cstdint>
 #include <type_traits>
 
+#include "__prologue.hpp"
+
 namespace STDEXEC
 {
   //////////////////////////////////////////////////////////////////////////////////////////
@@ -247,3 +249,5 @@ namespace STDEXEC
 #endif  // !defined(STDEXEC_DOXYGEN_INVOKED)
 
 }  // namespace STDEXEC
+
+#include "__epilogue.hpp"

include/stdexec/__detail/__completion_info.hpp

@@ -31,6 +31,8 @@
 #include <compare>
 // IWYU pragma: end_keep
 
+#include "__prologue.hpp"
+
 namespace STDEXEC
 {
   template <class _Sig>
@@ -149,3 +151,5 @@ namespace STDEXEC
     }
   }  // namespace __cmplsigs
 }  // namespace STDEXEC
+
+#include "__epilogue.hpp"

include/stdexec/__detail/__completion_signatures.hpp

@@ -26,6 +26,8 @@
 
 #include <type_traits>
 
+#include "__prologue.hpp"
+
 namespace STDEXEC
 {
   /////////////////////////////////////////////////////////////////////////////
@@ -586,3 +588,5 @@ namespace STDEXEC
 
 #endif  // ^^^ constexpr exceptions ^^^
 }  // namespace STDEXEC
+
+#include "__epilogue.hpp"

include/stdexec/__detail/__completion_signatures_of.hpp

@@ -22,6 +22,8 @@
 #include "__get_completion_signatures.hpp"
 #include "__sender_concepts.hpp"  // IWYU pragma: export
 
+#include "__prologue.hpp"
+
 namespace STDEXEC
 {
 #if STDEXEC_ENABLE_EXTRA_TYPE_CHECKING()
@@ -47,3 +49,5 @@ namespace STDEXEC
   using completion_signatures_of_t = __completion_signatures_of_t<_CvSender, _Env...>;
 #endif
 }  // namespace STDEXEC
+
+#include "__epilogue.hpp"

include/stdexec/__detail/__concepts.hpp

@@ -31,6 +31,8 @@
 #  include <type_traits>
 #endif
 
+#include "__prologue.hpp"
+
 namespace STDEXEC
 {
   //////////////////////////////////////////////////////////////////////////////////////////////////
@@ -329,3 +331,5 @@ namespace STDEXEC
     && __std::copy_constructible<_Alloc>  //
     && __std::equality_comparable<_Alloc>;
 }  // namespace STDEXEC
+
+#include "__epilogue.hpp"

include/stdexec/__detail/__connect.hpp

@@ -24,6 +24,8 @@
 #include "__transform_sender.hpp"
 #include "__type_traits.hpp"
 
+#include "__prologue.hpp"
+
 namespace STDEXEC
 {
   /////////////////////////////////////////////////////////////////////////////
@@ -271,3 +273,5 @@ namespace STDEXEC
                                && __nothrow_callable<connect_t, _Sender, _Receiver>;
 
 }  // namespace STDEXEC
+
+#include "__epilogue.hpp"

include/stdexec/__detail/__connect_awaitable.hpp

@@ -28,7 +28,8 @@
 
 #include <exception>
 
-STDEXEC_PRAGMA_PUSH()
+#include "__prologue.hpp"
+
 STDEXEC_PRAGMA_IGNORE_GNU("-Wsubobject-linkage")
 
 namespace STDEXEC
@@ -534,4 +535,4 @@ namespace STDEXEC
   inline constexpr __connect_awaitable_t __connect_awaitable{};
 }  // namespace STDEXEC
 
-STDEXEC_PRAGMA_POP()
+#include "__epilogue.hpp"

include/stdexec/__detail/__continues_on.hpp

@@ -32,6 +32,8 @@
 #include "__utility.hpp"
 #include "__variant.hpp"  // IWYU pragma: keep for __variant
 
+#include "__prologue.hpp"
+
 namespace STDEXEC
 {
   /////////////////////////////////////////////////////////////////////////////
@@ -437,3 +439,5 @@ namespace STDEXEC
   struct __sexpr_impl<continues_on_t> : __trnsfr::__continues_on_impl
   {};
 }  // namespace STDEXEC
+
+#include "__epilogue.hpp"

include/stdexec/__detail/__counting_scopes.hpp

@@ -34,6 +34,8 @@
 #include <type_traits>
 #include <utility>
 
+#include "__prologue.hpp"
+
 namespace STDEXEC
 {
   struct _JOINING_A_COUNTING_SCOPE_NEEDS_A_SCHEDULER_IN_THE_ENVIRONMENT_
@@ -866,3 +868,5 @@ namespace STDEXEC
     }
   };
 }  // namespace STDEXEC
+
+#include "__epilogue.hpp"

include/stdexec/__detail/__debug.hpp

@@ -26,6 +26,8 @@
 
 #include <exception>  // IWYU pragma: keep for std::terminate
 
+#include "__prologue.hpp"
+
 namespace STDEXEC
 {
   /////////////////////////////////////////////////////////////////////////////
@@ -212,3 +214,5 @@ namespace STDEXEC
     }
   }
 }  // namespace STDEXEC
+
+#include "__epilogue.hpp"

include/stdexec/__detail/__deprecations.hpp

@@ -17,6 +17,8 @@
 
 #include "__execution_fwd.hpp"
 
+#include "__prologue.hpp"
+
 namespace STDEXEC
 {
   using execute_may_block_caller_t [[deprecated]] = __execute_may_block_caller_t;
@@ -85,3 +87,5 @@ namespace STDEXEC
   [[deprecated]]
   inline constexpr exec::__execute_t const & execute = exec::__execute;
 }  // namespace STDEXEC
+
+#include "__epilogue.hpp"

include/stdexec/__detail/__diagnostics.hpp

@@ -22,6 +22,8 @@
 
 #include <exception>  // IWYU pragma: keep for std::exception
 
+#include "__prologue.hpp"
+
 namespace STDEXEC
 {
   struct sender_tag;
@@ -455,3 +457,5 @@ namespace STDEXEC
   "'connect'\n"                                                                                    \
   "member function that accepts sync_wait's receiver.\n"                                           \
   STDEXEC_ERROR_CANNOT_CONNECT_SENDER_TO_RECEIVER
+
+#include "__epilogue.hpp"

include/stdexec/__detail/__domain.hpp

@@ -26,6 +26,8 @@
 
 #include <type_traits>
 
+#include "__prologue.hpp"
+
 namespace STDEXEC
 {
   namespace __detail
@@ -487,3 +489,5 @@ namespace std
   };
 
 }  // namespace std
+
+#include "__epilogue.hpp"

include/stdexec/__detail/__env.hpp

@@ -27,7 +27,8 @@
 #include <functional>  // IWYU pragma: keep for unwrap_reference_t
 #include <type_traits>
 
-STDEXEC_PRAGMA_PUSH()
+#include "__prologue.hpp"
+
 STDEXEC_PRAGMA_IGNORE_EDG(probable_guiding_friend)
 STDEXEC_PRAGMA_IGNORE_EDG(type_qualifiers_ignored_on_reference)
 STDEXEC_PRAGMA_IGNORE_GNU("-Wmissing-braces")
@@ -297,4 +298,4 @@ namespace STDEXEC
   concept __environment_provider = __minvocable_q<__call_result_t, get_env_t, _EnvProvider const &>;
 }  // namespace STDEXEC
 
-STDEXEC_PRAGMA_POP()
+#include "__epilogue.hpp"