mirror of
https://github.com/openjdk/jdk.git
synced 2025-09-22 03:54:33 +02:00
4988100: oop_verify_old_oop appears to be dead
Removed oop_verify_old_oop and allow_dirty. Also reviewed by: alexlamsl@gmail.com Reviewed-by: jmasa, jwilhelm
This commit is contained in:
parent
bb59715dae
commit
f695b75d78
43 changed files with 110 additions and 197 deletions
|
@ -1,5 +1,5 @@
|
|||
/*
|
||||
* Copyright (c) 2000, 2011, Oracle and/or its affiliates. All rights reserved.
|
||||
* Copyright (c) 2000, 2012, Oracle and/or its affiliates. All rights reserved.
|
||||
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
|
||||
*
|
||||
* This code is free software; you can redistribute it and/or modify it
|
||||
|
@ -357,7 +357,7 @@ public:
|
|||
void prepare_for_verify();
|
||||
|
||||
// Override.
|
||||
void verify(bool allow_dirty, bool silent, VerifyOption option);
|
||||
void verify(bool silent, VerifyOption option);
|
||||
|
||||
// Override.
|
||||
virtual void print_on(outputStream* st) const;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue