Changeset dac55004


Ignore:
Timestamp:
Feb 28, 2020, 2:45:02 PM (21 months ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
arm-eh, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr
Children:
190224d
Parents:
930b504
Message:

Moved assert which wasn't really checking for an invariant

Location:
libcfa/src
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • libcfa/src/bits/containers.hfa

    r930b504 rdac55004  
    169169                                get_next( *head ) = 0p;
    170170                                verify(*this.tail == 1p);
     171                                verify( get_next(*head) == 0p );
    171172                                return head;
    172173                        }
  • libcfa/src/concurrency/monitor.cfa

    r930b504 rdac55004  
    534534        //Find the thread to run
    535535        $thread * signallee = pop_head( this.blocked )->waiting_thread;
    536         /* paranoid */ verify( signallee->next == 0p );
    537536        __set_owner( monitors, count, signallee );
    538537
Note: See TracChangeset for help on using the changeset viewer.