tmp_node = get_object_root(XML_CIB_TAG_CRMCONFIG, cib); if (tmp_node == NULL) is_valid = FALSE;  
verifyCibXml(xmlNodePtr cib){	gboolean is_valid = TRUE;	xmlNodePtr tmp_node = NULL;		if (cib == NULL) {		crm_err("XML Buffer was empty.");		return FALSE;	}		tmp_node = get_object_root(XML_CIB_TAG_NODES, cib);	if (tmp_node == NULL) is_valid = FALSE;	tmp_node = get_object_root(XML_CIB_TAG_RESOURCES, cib);	if (tmp_node == NULL) is_valid = FALSE;	tmp_node = get_object_root(XML_CIB_TAG_CONSTRAINTS, cib);	if (tmp_node == NULL) is_valid = FALSE;	tmp_node = get_object_root(XML_CIB_TAG_STATUS, cib); 	if (tmp_node == NULL) is_valid = FALSE;	// more integrity tests	return is_valid;}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/5a9e302bc72728cd40a42fe131a5be8aa4275c86/cibio.c/buggy/crm/cib/cibio.c