Esempi in C++ (Cpp) per insert_fnc

Esempio n. 1

File: main.c Progetto: AnnaTrost/cbmc

void dll_create_generic(void (*insert_fnc)())
{
  insert_fnc(&my_global);
}

Esempio n. 2

File: main.c Progetto: DanielNeville/cbmc

void dll_create_generic(void (*insert_fnc)())
{
  int x;
  insert_fnc(&x);
}