On Thu, 2017-08-31 at 18:37 +0530, Himanshu Jha wrote:

casting to void pointer from any pointer type and vice-versa is done
implicitly and therefore casting is not needed in such a case.

You said you were going to remember to mention the tool
and script that did this.