Exemplos de f5_aux em C++ (Cpp)

Exemplo n.º 1

Arquivo: memexec.c Projeto: GiulioImperato/frama-c

void f5() {
  int arg;

  g_f5_1 = c;
  g_f5_2 = c;
  arg = c;
  f5_aux(arg);
  Frama_C_show_each_f5(arg, g_f5_1, g_f5_2);

  g_f5_1 = c;
  g_f5_2 = c;
  arg = c;
  f5_aux(arg);
  Frama_C_show_each_f5(arg, g_f5_1, g_f5_2); // Cache, but reduce g_f5_* and arg after the call. Currently does not work for g_f5_1, because dependencies are not taken into account
}

Exemplo n.º 2

Arquivo: uninit-vals-ps.c Projeto: aaasz/SHP

int f5(void) {
  struct f5_struct s;
  f5_aux(&s);
  return s.x; // no-warning
}