Add GUARDED_BY for GlobalJitLevelState.

This commit is contained in:
Trent Lo 2019-09-12 16:37:19 -07:00
parent 1d997791dc
commit ebfad012e6

View File

@ -22,7 +22,7 @@ namespace xla_config_registry {
namespace {
struct GlobalJitLevelState {
mutex mu;
GlobalJitLevelGetterTy getter;
GlobalJitLevelGetterTy getter GUARDED_BY(mu);
};
GlobalJitLevelState* GetSingletonState() {