コード例 #1
0
ファイル: uninit.cpp プロジェクト: jvillard/infer 
int* FP_pointer_param_void_star_ok() {
  A a;
  int* res;
  some_f(&a); // the type of a here is void*, hence no fields are found
  return a.ptr; // false positive
}
コード例 #2
0
ファイル: function_call.c プロジェクト: Dharin-shah/infer 
void fun_ifthenelse3() {
  some_f(0 ? 1 : 1, 0 ? 2 : 2, 0 ? 3 : 3);
}