C++ (Cpp) square_no_init示例

示例#1

文件： uninit.cpp 项目： 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;
}

示例#2

文件： inter_proc_uninit.cpp 项目： zmyer/infer

void use_square_bad() {

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