diff options
Diffstat (limited to 'src/cfg/Relooper.h')
| -rw-r--r-- | src/cfg/Relooper.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/cfg/Relooper.h b/src/cfg/Relooper.h index 50f40fd88..f12ed2945 100644 --- a/src/cfg/Relooper.h +++ b/src/cfg/Relooper.h @@ -136,6 +136,7 @@ struct InsertOrderedSet } size_t size() const { return Map.size(); } + bool empty() const { return Map.empty(); } void clear() { Map.clear(); @@ -194,6 +195,7 @@ struct InsertOrderedMap } size_t size() const { return Map.size(); } + bool empty() const { return Map.empty(); } size_t count(const Key& k) const { return Map.count(k); } InsertOrderedMap() {} |