Fixed void* vs int* overload issue (PR C++/10343).