1.1 --- a/src/share/vm/jfr/recorder/checkpoint/jfrCheckpointManager.cpp Mon Jun 15 20:21:56 2020 +0100
1.2 +++ b/src/share/vm/jfr/recorder/checkpoint/jfrCheckpointManager.cpp Wed Jun 17 11:43:05 2020 +0300
1.3 @@ -1,5 +1,5 @@
1.4 /*
1.5 - * Copyright (c) 2016, 2018, Oracle and/or its affiliates. All rights reserved.
1.6 + * Copyright (c) 2016, 2019, Oracle and/or its affiliates. All rights reserved.
1.7 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
1.8 *
1.9 * This code is free software; you can redistribute it and/or modify it
1.10 @@ -135,6 +135,8 @@
1.11
1.12 void JfrCheckpointManager::register_full(BufferPtr t, Thread* thread) {
1.13 // nothing here at the moment
1.14 + assert(t != NULL, "invariant");
1.15 + assert(t->acquired_by(thread), "invariant");
1.16 assert(t->retired(), "invariant");
1.17 }
1.18
