if (cib == NULL) { 
gboolean is_valid = TRUE; xmlNodePtr tmp_node = NULL; FNIN();  if (cib == NULL) { 
verifyCibXml(xmlNodePtr cib){	if (cib == NULL)	{		cl_log(LOG_INFO, "XML Buffer was empty.");		FNRET(FALSE);	}	xmlNodePtr tmp1 = find_xml_node(cib, XML_CIB_TAG_NODES);	xmlNodePtr tmp2 = find_xml_node(cib, XML_CIB_TAG_RESOURCES);	xmlNodePtr tmp3 = find_xml_node(cib, XML_CIB_TAG_CONSTRAINTS);	xmlNodePtr tmp4 = find_xml_node(cib, XML_CIB_TAG_STATUS);    	if (tmp1 == NULL || tmp2 == NULL || tmp3 == NULL || tmp4 == NULL) {		xmlChar *mem = NULL;		int size = 0;		xmlDocDumpMemory(cib->doc, &mem, &size);		cl_log(			LOG_CRIT,			"Not all required sections were present. "			"Sections [%s, %s, %s, %s]\nCib was: %s",			tmp1 == NULL? "ok":"null",			tmp2 == NULL? "ok":"null",			tmp3 == NULL? "ok":"null",			tmp4 == NULL? "ok":"null",			(char*)mem);		xmlFree(mem);		FNRET(FALSE);	}	// more integrity tests	FNRET(TRUE);}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/a53b4db7876df963707c53c00bd8bc9d8d2dff09/cibio.c/buggy/crm/cib/cibio.c