equal
deleted
inserted
replaced
87 // fail unless the object head is also unmarked. |
87 // fail unless the object head is also unmarked. |
88 virtual void do_object(oop obj) { |
88 virtual void do_object(oop obj) { |
89 CheckForUnmarkedOops object_check(_young_gen, _card_table); |
89 CheckForUnmarkedOops object_check(_young_gen, _card_table); |
90 obj->oop_iterate_no_header(&object_check); |
90 obj->oop_iterate_no_header(&object_check); |
91 if (object_check.has_unmarked_oop()) { |
91 if (object_check.has_unmarked_oop()) { |
92 assert(_card_table->addr_is_marked_imprecise(obj), "Found unmarked young_gen object"); |
92 guarantee(_card_table->addr_is_marked_imprecise(obj), "Found unmarked young_gen object"); |
93 } |
93 } |
94 } |
94 } |
95 }; |
95 }; |
96 |
96 |
97 // Checks for precise marking of oops as newgen. |
97 // Checks for precise marking of oops as newgen. |