equal
deleted
inserted
replaced
206 |
206 |
207 if (first_time_here) { |
207 if (first_time_here) { |
208 Thread* thread = ThreadLocalStorage::get_thread_slow(); |
208 Thread* thread = ThreadLocalStorage::get_thread_slow(); |
209 VMError(thread, size, message, file_name, line_no).report_and_die(); |
209 VMError(thread, size, message, file_name, line_no).report_and_die(); |
210 } |
210 } |
211 vm_abort(); |
211 |
|
212 // Dump core and abort |
|
213 vm_abort(true); |
212 } |
214 } |
213 |
215 |
214 void report_vm_out_of_memory_vararg(const char* file_name, int line_no, size_t size, const char* format, ...) { |
216 void report_vm_out_of_memory_vararg(const char* file_name, int line_no, size_t size, const char* format, ...) { |
215 char buffer[256]; |
217 char buffer[256]; |
216 va_list ap; |
218 va_list ap; |