Venkateswaran added the comment:
The output was a valid pointer which was not null. I did not investigate
further on this issue, because I had a work around i.e I used
ctypes.POINTER(ctypes.c_cint)() instead of None.
--
___
Python tracker
<h
New submission from Venkateswaran :
The attached code is failing to convert None to Null. It is successful
if the int* is shifted towards the beginning of argument list. The bug
is actually in 32/64 bit pointers as the code works on a 32 bit system.
The bug disappears if I reduce the number
