From db2f2116adfb545bb76c92205f91e3e3f0f9e44a Mon Sep 17 00:00:00 2001 From: Thomas Rodgers Date: Wed, 2 Jun 2021 15:18:30 -0700 Subject: [PATCH] Mark tbb::empty_task::execute with [[gnu::used]] --- include/tbb/task.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/include/tbb/task.h b/include/tbb/task.h index 5e137c6..5b60163 100644 --- a/include/tbb/task.h +++ b/include/tbb/task.h @@ -1040,6 +1040,9 @@ inline void task::resume(suspend_point tag) { //! task that does nothing. Useful for synchronization. /** @ingroup task_scheduling */ class __TBB_DEPRECATED_IN_VERBOSE_MODE empty_task: public task { +#if __has_cpp_attribute(gnu::used) + [[gnu::used]] +#endif task* execute() __TBB_override { return NULL; } -- 2.31.1