cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #12135 from tcoyvwac/fix/replace-remaining-raw-news

Browse Source 
Prefer `make_unique` over `new`
This commit is contained in:
Kamil Śliwak 2021-10-15 22:14:29 +02:00 committed by GitHub
commit 7f0771f8f5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
libsolidity/formal/CHC.cpp
View File

@ -991,7 +991,7 @@ void CHC::resetSourceAnalysis()
if (usesZ3)
{
/// z3::fixedpoint does not have a reset mechanism, so we need to create another.
m_interface.reset(new Z3CHCInterface(m_settings.timeout));
m_interface = std::make_unique<Z3CHCInterface>(m_settings.timeout);
auto z3Interface = dynamic_cast<Z3CHCInterface const*>(m_interface.get());
solAssert(z3Interface, "");
m_context.setSolver(z3Interface->z3Interface());

2
tools/solidityUpgrade/SourceUpgrade.cpp
View File

@ -533,7 +533,7 @@ void SourceUpgrade::resetCompiler()
void SourceUpgrade::resetCompiler(ReadCallback::Callback const& _callback)
{
m_compiler.reset(new CompilerStack(_callback));
m_compiler = std::make_unique<CompilerStack>(_callback);
m_compiler->setSources(m_sourceCodes);
m_compiler->setParserErrorRecovery(true);
}