C++ (Cpp) square_no_init Beispiele

Beispiel #1

Datei: uninit.cpp Projekt: jvillard/infer

int use_square_ok2() {

  int i;
  i = square_no_init(2, i); // OK only for intraprocedural case. When analysis
                            // extended to interprocedural, it should report.
  return i;
}

Beispiel #2

Datei: inter_proc_uninit.cpp Projekt: zmyer/infer

void use_square_bad() {

  int i;
  i = square_no_init(2, i); // Error
}