Changes in libcfa/src/concurrency/thread.cfa [ac12f1f:3ea8ad1]

File:

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

libcfa/src/concurrency/thread.cfa

@@ -82 +82 @@
                 T & thrd, void(*defaultResumptionHandler)(ThreadCancelled(T) &)) {
         $monitor * m = get_monitor(thrd);
+        $thread * desc = get_thread(thrd);
+
+        // Setup the monitor guard
         void (*dtor)(T& mutex this) = ^?{};
         bool join = defaultResumptionHandler != (void(*)(ThreadCancelled(T)&))0;
         (this.mg){&m, (void(*)())dtor, join};
 
+
+        /* paranoid */ verifyf( Halted == desc->state || Cancelled == desc->state, "Expected thread to be Halted or Cancelled, was %d\n", (int)desc->state );
+
         // After the guard set-up and any wait, check for cancellation.
-        $thread * desc = get_thread(thrd);
         struct _Unwind_Exception * cancellation = desc->self_cor.cancellation;
         if ( likely( 0p == cancellation ) ) {