Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 14:48:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Scope: delete duplicate locals

Browse source
This commit is contained in:
Max Kellermann 2020-02-26 07:56:26 +01:00
parent 783f833d5f
commit cbb6f09726
1 changed files with 9 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/Scope.h
View file

@ -31,7 +31,15 @@ public:
}
template<typename N>
void Insert(N &&name, ID* id) { local[std::forward<N>(name)] = id; }
void Insert(N &&name, ID* id)
{
auto i = local.emplace(std::forward<N>(name), id);
if ( ! i.second )
{
Unref(i.first->second);
i.first->second = id;
}
}
template<typename N>
ID* Remove(N &&name)