-/* Copyright (c) 2015-2019. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2015-2020. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
class BoostContext : public SwappedContext {
public:
BoostContext(std::function<void()>&& code, actor::ActorImpl* actor, SwappedContextFactory* factory);
- ~BoostContext() override;
void swap_into(SwappedContext* to) override;
private:
-#if BOOST_VERSION < 105600
- boost::context::fcontext_t* fc_ = nullptr;
- typedef intptr_t arg_type;
-#elif BOOST_VERSION < 106100
+#if BOOST_VERSION < 106100
boost::context::fcontext_t fc_;
typedef intptr_t arg_type;
#else
typedef boost::context::detail::transfer_t arg_type;
#endif
- static void wrapper(arg_type arg);
+ XBT_ATTRIB_NORETURN static void wrapper(arg_type arg);
};
class BoostContextFactory : public SwappedContextFactory {