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
}
void fun_ifthenelse3() {
some_f(0 ? 1 : 1, 0 ? 2 : 2, 0 ? 3 : 3);
}
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
}
void fun_ifthenelse3() {
some_f(0 ? 1 : 1, 0 ? 2 : 2, 0 ? 3 : 3);
}
