diff --git a/kernel/scopeinfo.h b/kernel/scopeinfo.h index 71af70344ce..8c6e99fc066 100644 --- a/kernel/scopeinfo.h +++ b/kernel/scopeinfo.h @@ -169,6 +169,10 @@ class IdTree return !(*this == other); } + int hash() const { + return mkhash(scope_name.hash(), hash_ptr_ops::hash(target)); + } + bool valid() const { return target != nullptr; }