equal
deleted
inserted
replaced
794 } |
794 } |
795 return ptr; |
795 return ptr; |
796 #endif |
796 #endif |
797 } |
797 } |
798 |
798 |
799 |
799 // handles NULL pointers |
800 void os::free(void *memblock) { |
800 void os::free(void *memblock) { |
801 NOT_PRODUCT(inc_stat_counter(&num_frees, 1)); |
801 NOT_PRODUCT(inc_stat_counter(&num_frees, 1)); |
802 #ifdef ASSERT |
802 #ifdef ASSERT |
803 if (memblock == NULL) return; |
803 if (memblock == NULL) return; |
804 if ((intptr_t)memblock == (intptr_t)MallocCatchPtr) { |
804 if ((intptr_t)memblock == (intptr_t)MallocCatchPtr) { |