hotspot/src/share/vm/utilities/xmlstream.cpp
changeset 11727 c5dfa2639359
parent 8921 14bfe81f2a9d
child 13195 be27e1b6a4b9
equal deleted inserted replaced
11457:92228d5090dd 11727:c5dfa2639359
   190   } else {
   190   } else {
   191     // Pop the stack, by skipping over the tag and its null.
   191     // Pop the stack, by skipping over the tag and its null.
   192     _element_close_stack_ptr = cur_tag + strlen(cur_tag) + 1;
   192     _element_close_stack_ptr = cur_tag + strlen(cur_tag) + 1;
   193     _element_depth -= 1;
   193     _element_depth -= 1;
   194   }
   194   }
   195   if (bad_tag && !VMThread::should_terminate() && !is_error_reported())
   195   if (bad_tag && !VMThread::should_terminate() && !VM_Exit::vm_exited() &&
       
   196       !is_error_reported())
       
   197   {
   196     assert(false, "bad tag in log");
   198     assert(false, "bad tag in log");
       
   199   }
   197 }
   200 }
   198 #endif
   201 #endif
   199 
   202 
   200 
   203 
   201 // ------------------------------------------------------------------
   204 // ------------------------------------------------------------------