hash_sets_are_empty_  103 src/store-buffer.cc   hash_sets_are_empty_ = false;
hash_sets_are_empty_  357 src/store-buffer.cc   if (!hash_sets_are_empty_) {
hash_sets_are_empty_  364 src/store-buffer.cc     hash_sets_are_empty_ = true;
hash_sets_are_empty_  680 src/store-buffer.cc   hash_sets_are_empty_ = false;  // Hash sets are in use.
hash_sets_are_empty_  157 src/store-buffer.h   bool hash_sets_are_empty_;