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

ViewPureChecker: Extract reportFunctionCallMutability() helper from endVisit(FunctionCall)

Browse Source
This commit is contained in:
wechman 2022-07-12 12:00:23 +02:00 committed by Kamil Śliwak
parent 27df07c4ce
commit edb4bfa398
2 changed files with 14 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
libsolidity/analysis/ViewPureChecker.cpp
View File

@ -323,16 +323,23 @@ ViewPureChecker::MutabilityAndLocation const& ViewPureChecker::modifierMutabilit
return m_inferredMutability.at(&_modifier);
}
void ViewPureChecker::reportFunctionCallMutability(StateMutability _mutability, langutil::SourceLocation const& _location)
{
// We only require "nonpayable" to call a payable function.
if (_mutability == StateMutability::Payable)
_mutability = StateMutability::NonPayable;
reportMutability(_mutability, _location);
}
void ViewPureChecker::endVisit(FunctionCall const& _functionCall)
{
if (*_functionCall.annotation().kind != FunctionCallKind::FunctionCall)
return;
StateMutability mutability = dynamic_cast<FunctionType const&>(*_functionCall.expression().annotation().type).stateMutability();
// We only require "nonpayable" to call a payble function.
if (mutability == StateMutability::Payable)
mutability = StateMutability::NonPayable;
reportMutability(mutability, _functionCall.location());
reportFunctionCallMutability(
dynamic_cast<FunctionType const&>(*_functionCall.expression().annotation().type).stateMutability(),
_functionCall.location()
);
}
bool ViewPureChecker::visit(MemberAccess const& _memberAccess)

2
libsolidity/analysis/ViewPureChecker.h
View File

@ -73,6 +73,8 @@ private:
std::optional<langutil::SourceLocation> const& _nestedLocation = {}
);
void reportFunctionCallMutability(StateMutability _mutability, langutil::SourceLocation const& _location);
/// Determines the mutability of modifier if not already cached.
MutabilityAndLocation const& modifierMutability(ModifierDefinition const& _modifier);