Changeset efc171d1 for libcfa/src/concurrency/kernel_private.hfa

Timestamp:

Jul 16, 2020, 5:27:50 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

527acfc

Parents:

cf48a14

Message:

Fixed several concurrency warnings

File:

• libcfa/src/concurrency/kernel_private.hfa (modified) (1 diff)

libcfa/src/concurrency/kernel_private.hfa

@@ -36 +36 @@
 }
 
-void __schedule_thread( struct __processor_id_t *, $thread * ) __attribute__((nonnull (2)));
+void __schedule_thread( struct __processor_id_t *, $thread * )
+#if defined(NDEBUG) || (!defined(__CFA_DEBUG__) && !defined(__CFA_VERIFY__))
+        __attribute__((nonnull (2)))
+#endif
+;
 
 //Block current thread and release/wake-up the following resources