--- a/src/hotspot/share/gc/shared/oopStorage.hpp	Fri Jan 19 17:01:34 2018 +0100
+++ b/src/hotspot/share/gc/shared/oopStorage.hpp	Tue Jan 23 14:27:10 2018 -0500
@@ -103,6 +103,7 @@
   };
 
   // Locks _allocate_mutex.
+  // precondition: ptr != NULL.
   EntryStatus allocation_status(const oop* ptr) const;
 
   // Allocates and returns a new entry.  Returns NULL if memory allocation