static void l0_insert(struct L0 **list) { struct L0 *item = zalloc_or_die(sizeof *item); do l1_insert(&item->down); while (__VERIFIER_nondet_int()); item->next = *list; *list = item; }
static void l0_insert(struct L0 **list) { struct L0 *item = zalloc_or_die(sizeof *item); int c = 0; do { c++; l1_insert(&item->down); } while (c < 2); item->next = *list; *list = item; }
int main() { static struct L1 *list; do l1_insert(&list); while (__VERIFIER_nondet_int()); do { struct L1 *next = list->next; l2_destroy(list->l2); free(list); list = next; } while (list); }
static void close_output(struct camera *cam) { int ret; AVFormatContext *rd = avformat_alloc_context(); AVFormatContext *wr = avformat_alloc_context(); strcpy(rd->filename, cam->output_context->filename); strcpy(wr->filename, cam->output_context->filename); AVStream *ist = init_h264_read_ctx(rd, cam); AVStream *ost = init_mp4_output(wr, cam); if(ist != NULL && ost != NULL) { struct in_out_cpy* io = (struct in_out_cpy*)malloc(sizeof(struct in_out_cpy)); io->file_id = cam->file_id; io->in_ctx = rd; io->out_ctx = wr; io->in_stream = ist; io->out_stream = ost; io->close_output = 1; io->rate_emu = 0; io->active = 1; io->prev_io = NULL; io->screen = NULL; l1_insert(&h264_to_mp4_tasks, &tasks_lock, io); } else { fprintf(stderr, "init_h264_read_ctx or init_mp4_output failed\n"); } if((ret = av_write_trailer(cam->output_context)) < 0) av_err_msg("av_write_trailer", ret); if((ret = avcodec_close(cam->output_stream->codec)) < 0) av_err_msg("avcodec_close", ret); if((ret = avio_close(cam->output_context->pb)) < 0) av_err_msg("avio_close", ret); avformat_free_context(cam->output_context); }
int main( void ){ l1_print(); l1_insert( 10 ); l1_print(); l1_insert( 9 ); l1_print(); l1_insert( 11 ); l1_print(); l1_insert( 12 ); l1_print(); l1_insert( 10 ); l1_print(); l1_insert( 8 ); l1_print(); l1_remove( 10 ); l1_print(); l1_remove( 8 ); l1_print(); l1_remove( 9 ); l1_print(); l1_remove( 10 ); l1_print(); l1_remove( 11 ); l1_print(); l1_remove( 12 ); l1_print(); return 0; }