Merge pull request #6583 from ethereum/reset_yulstringrepo

Reset YulStringRepository regularly
This commit is contained in:
chriseth
2019-05-28 14:20:53 +02:00
committed by GitHub
19 changed files with 89 additions and 30 deletions
+9
View File
@@ -63,6 +63,15 @@ BuiltinFunction const* WasmDialect::builtin(YulString _name) const
return nullptr;
}
WasmDialect const& WasmDialect::instance()
{
static std::unique_ptr<WasmDialect> dialect;
static YulStringRepository::ResetCallback callback{[&] { dialect.reset(); }};
if (!dialect)
dialect = make_unique<WasmDialect>();
return *dialect;
}
void WasmDialect::addFunction(string _name, size_t _params, size_t _returns)
{
YulString name{move(_name)};