Index: verifier_common.h =================================================================== --- verifier_common.h (revision 525380) +++ verifier_common.h (working copy) @@ -130,7 +130,7 @@ inline Boolean wb_is_marked_in_slot(REF* p_ref){ REF ref = *p_ref; - return (POINTER_SIZE_INT)ref & VERIFY_WB_MARK_BIT; + return (Boolean)((POINTER_SIZE_INT)ref & VERIFY_WB_MARK_BIT); } inline REF verifier_get_object_slot(REF* p_ref) @@ -150,7 +150,7 @@ inline Boolean is_unreachable_obj(Partial_Reveal_Object* p_obj) { - return ((POINTER_SIZE_INT)obj_get_vt_raw(p_obj) & UNREACHABLE_OBJ_MARK_IN_VT); + return (Boolean)((POINTER_SIZE_INT)obj_get_vt_raw(p_obj) & UNREACHABLE_OBJ_MARK_IN_VT); } #endif Index: verifier_scanner.cpp =================================================================== --- verifier_scanner.cpp (revision 525380) +++ verifier_scanner.cpp (working copy) @@ -297,7 +297,7 @@ } if((POINTER_SIZE_INT)next_area_start < (POINTER_SIZE_INT)lspace->heap_end){ ret_obj = next_area_start; - unsigned int obj_size = ALIGN_UP_TO_KILO(vm_object_size((Partial_Reveal_Object*)next_area_start)); + POINTER_SIZE_INT obj_size = ALIGN_UP_TO_KILO(vm_object_size((Partial_Reveal_Object*)next_area_start)); assert(obj_size); next_area_start = (POINTER_SIZE_INT*)((POINTER_SIZE_INT)next_area_start + obj_size); return (Partial_Reveal_Object*)ret_obj;