Esempi in C++ (Cpp) per dll_create_generic

Esempio n. 1

File: main.c Progetto: AnnaTrost/cbmc

int main()
{
  dll_create_generic(dll_insert_master);
  assert(my_global==123);
  
  return 0;
}

Esempio n. 2

File: dll_of_dll_false-unreach-call.cil.c Progetto: oliverstth/sv-benchmarks

struct master_item *dll_create_master(void)
{   void *tmp ;
    void (*__cil_tmp2)() ;

    {
        {
            __cil_tmp2 = (void (*)())(& dll_insert_master);
            tmp = dll_create_generic(__cil_tmp2);
        }
        return ((struct master_item *)tmp);
    }
}

Esempio n. 3

File: dll_of_dll_false-unreach-call.cil.c Progetto: oliverstth/sv-benchmarks

struct slave_item *dll_create_slave(void)
{   void *tmp ;
    void (*__cil_tmp2)() ;

    {
        {
            __cil_tmp2 = (void (*)())(& dll_insert_slave);
            tmp = dll_create_generic(__cil_tmp2);
        }
        return ((struct slave_item *)tmp);
    }
}

Esempio n. 4

File: main.c Progetto: DanielNeville/cbmc

int main()
{
  dll_create_generic(dll_insert_master);
  return 0;
}