Changeset f07e037 for src/libcfa/concurrency/kernel.c

Timestamp:

Feb 23, 2017, 4:24:35 PM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

3bb51e1

Parents:

485fdcf

Message:

Basic monitor implementation

File:

• src/libcfa/concurrency/kernel.c (modified) (2 diffs)

src/libcfa/concurrency/kernel.c

@@ -457 +457 @@
 void append( simple_thread_list * this, thread * t ) {
         assert( t->next == NULL );
+        assert(this->tail != NULL);
         *this->tail = t;
         this->tail = &t->next;
+        assert(this->tail != NULL);
 }
 
 thread * pop_head( simple_thread_list * this ) {
+        assert(this->tail != NULL);
         thread * head = this->head;
         if( head ) {
@@ -470 +473 @@
                 head->next = NULL;
         }       
-        
+        assert(this->tail != NULL);
         return head;
 }