diff options
-rw-r--r-- | runtime/verifier/register_line.h | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/runtime/verifier/register_line.h b/runtime/verifier/register_line.h index c7fd369472..8f7823ac09 100644 --- a/runtime/verifier/register_line.h +++ b/runtime/verifier/register_line.h @@ -118,9 +118,7 @@ class RegisterLine { void FillWithGarbage() { memset(&line_, 0xf1, num_regs_ * sizeof(uint16_t)); - while (!monitors_.empty()) { - monitors_.pop_back(); - } + monitors_.clear(); reg_to_lock_depths_.clear(); } |