603 static xmlParserInputBufferPtr
604 xmlParserInputBufferCreatePythonFile(PyObject *file, 
605 	                        xmlCharEncoding encoding) {
606     xmlParserInputBufferPtr ret;
607 
608     if (file == NULL) return(NULL);
taking False path
609 
610     ret = xmlAllocParserInputBuffer(encoding);
611     if (ret != NULL) {
when treating unknown struct xmlParserInputBuffer * from ./libxml.c:610 as non-NULL
taking True path
612         ret->context = file;
'*file' is now referenced by 1 non-stack value(s): heap-region-440.context
613 	/* Py_INCREF(file); */
614 	ret->readcallback = xmlPythonFileRead;
615 	ret->closecallback = xmlPythonFileClose;
616     }
617 
618     return(ret);
619 }
ob_refcnt of '*file' is 1 too low
was expecting final ob_refcnt to be N + 1 (for some unknown N)
due to object being referenced by: heap-region-440.context
but final ob_refcnt is N + 0