diff options
Diffstat (limited to 'openjdkjvmti/deopt_manager.h')
| -rw-r--r-- | openjdkjvmti/deopt_manager.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/openjdkjvmti/deopt_manager.h b/openjdkjvmti/deopt_manager.h index e9b91de78a..9278bf1bc2 100644 --- a/openjdkjvmti/deopt_manager.h +++ b/openjdkjvmti/deopt_manager.h @@ -110,7 +110,9 @@ class DeoptManager { REQUIRES_SHARED(art::Locks::mutator_lock_); void DeoptimizeAllThreads() REQUIRES_SHARED(art::Locks::mutator_lock_); - void FinishSetup() REQUIRES(!deoptimization_status_lock_, !art::Roles::uninterruptible_); + void FinishSetup() + REQUIRES(!deoptimization_status_lock_, !art::Roles::uninterruptible_) + REQUIRES(art::Locks::mutator_lock_); static DeoptManager* Get(); |