C++ (Cpp) l1_insert Examples

Example #1

File: test-0235_true.c Project: jirislaby/svcomp

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;
}

Example #2

File: test-0237_true-valid-memsafety.c Project: SunshineAllWay/CPAchecker

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;
}

Example #3

File: test-0219_true-valid-memsafety.c Project: ultimate-pa/ultimate

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);
}

Example #4

File: recorder_thread.c Project: sanek701/CCTV-linux-msiu

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);
}

Example #5

File: l1list.c Project: vma13/University

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;
}