Changeset 77adaee

Timestamp:

Mar 30, 2022, 4:40:11 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, enum, master, pthread-emulation, qualifiedEnum

Children:

4ccc150

Parents:

efa28d5

Message:

Added more verifys to eventfd_write

File:

• libcfa/src/concurrency/kernel.cfa (modified) (1 diff)

libcfa/src/concurrency/kernel.cfa

@@ -659 +659 @@
                 // If the processor was ready to sleep, we need to wake it up with an actual write
                 val = 1;
-                eventfd_write( fd, val );
+                __attribute__((unused)) int ret = eventfd_write( fd, val );
+                /* paranoid */ verifyf( ret == 0, "Expected return to be 0, was %d\n", ret );
 
                 #if !defined(__CFA_NO_STATISTICS__)