src/share/vm/gc/shared/taskqueue.hpp

rev 8961 : [mq]: diff-shenandoah.patch

*** 77,86 ****
--- 77,87 ----
                             unsigned int width = 10);
    // Print the statistics (does not include a line separator).
    void print(outputStream* const stream = tty, unsigned int width = 10) const;
  
    DEBUG_ONLY(void verify() const;)
+   DEBUG_ONLY(void verify_only_pushes() const;)
  
  private:
    size_t                    _stats[last_stat_id];
    static const char * const _names[last_stat_id];
  };