C++ (Cpp) insert_fnc示例

示例#1

文件： main.c 项目： AnnaTrost/cbmc

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

示例#2

文件： main.c 项目： DanielNeville/cbmc

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