Searched refs:aws_priority_queue_backpointer_index_valid (Results 1 – 3 of 3) sorted by relevance
30 assert(aws_priority_queue_backpointer_index_valid(queue, a)); in __CPROVER_file_local_priority_queue_c_s_swap()31 assert(aws_priority_queue_backpointer_index_valid(queue, b)); in __CPROVER_file_local_priority_queue_c_s_swap()
18 AWS_PRECONDITION(aws_priority_queue_backpointer_index_valid(queue, a)); in s_swap()19 AWS_PRECONDITION(aws_priority_queue_backpointer_index_valid(queue, b)); in s_swap()44 AWS_POSTCONDITION(aws_priority_queue_backpointer_index_valid(queue, a)); in s_swap()45 AWS_POSTCONDITION(aws_priority_queue_backpointer_index_valid(queue, b)); in s_swap()189 bool aws_priority_queue_backpointer_index_valid(const struct aws_priority_queue *const queue, size_… in aws_priority_queue_backpointer_index_valid() function205 if (!aws_priority_queue_backpointer_index_valid(queue, i)) { in aws_priority_queue_backpointers_valid_deep()
88 bool aws_priority_queue_backpointer_index_valid(const struct aws_priority_queue *const queue, size_…