27 lines
786 B
Diff
27 lines
786 B
Diff
|
From db2f2116adfb545bb76c92205f91e3e3f0f9e44a Mon Sep 17 00:00:00 2001
|
||
|
|
From: Thomas Rodgers <rodgert@twrodgers.com>
|
||
|
|
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
|
||
|
|
|