Changeset 4598e03

Timestamp:

Mar 29, 2022, 5:19:51 PM (21 months ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

729df21

Parents:

d4da1535 (diff), d080549 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

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

libcfa/src/concurrency/kernel.cfa

@@ -686 +686 @@
         eventfd_t val;
         val = 1;
-        eventfd_write( this->idle_wctx.evfd, val );
-
+        __attribute__((unused)) int ret = eventfd_write( this->idle_wctx.evfd, val );
+
+        /* paranoid */ verifyf( ret == 0, "Expected return to be 0, was %d\n", ret );
         /* paranoid */ verify( ! __preemption_enabled() );
 }