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); }