Merge pull request #5630 from ethereum/warn_functions_empty_body

Supress unused var and state mut warnings for functions with empty body
This commit is contained in:
chriseth 2018-12-12 17:00:50 +01:00 committed by GitHub
commit 87237281bf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
38 changed files with 16 additions and 89 deletions

View File

@ -9,6 +9,7 @@ Compiler Features:
* Code Generator: Use codecopy for string constants more aggressively.
* Code Generator: Use binary search for dispatch function if more efficient. The size/speed tradeoff can be tuned using ``--optimize-runs``.
* SMTChecker: Support mathematical and cryptographic functions in an uninterpreted way.
* Static Analyzer: Do not warn about unused variables or state mutability for functions with an empty body.
* Type Checker: Add an additional reason to be displayed when type conversion fails.
* Yul: Support object access via ``datasize``, ``dataoffset`` and ``datacopy`` in standalone assembly mode.

View File

@ -63,8 +63,7 @@ bool StaticAnalyzer::visit(FunctionDefinition const& _function)
void StaticAnalyzer::endVisit(FunctionDefinition const&)
{
m_currentFunction = nullptr;
m_constructor = false;
if (m_currentFunction && !m_currentFunction->body().statements().empty())
for (auto const& var: m_localVarUseCount)
if (var.second == 0)
{
@ -76,8 +75,9 @@ void StaticAnalyzer::endVisit(FunctionDefinition const&)
else
m_errorReporter.warning(var.first.second->location(), "Unused local variable.");
}
m_localVarUseCount.clear();
m_constructor = false;
m_currentFunction = nullptr;
}
bool StaticAnalyzer::visit(Identifier const& _identifier)

View File

@ -156,6 +156,7 @@ void ViewPureChecker::endVisit(FunctionDefinition const& _funDef)
m_bestMutabilityAndLocation.mutability < _funDef.stateMutability() &&
_funDef.stateMutability() != StateMutability::Payable &&
_funDef.isImplemented() &&
!_funDef.body().statements().empty() &&
!_funDef.isConstructor() &&
!_funDef.isFallback() &&
!_funDef.annotation().superFunction

View File

@ -18,9 +18,3 @@ contract test {
function(uint) pure internal h = fh;
}
// ----
// Warning: (20-47): Function state mutability can be restricted to pure
// Warning: (52-81): Function state mutability can be restricted to pure
// Warning: (86-115): Function state mutability can be restricted to pure
// Warning: (120-149): Function state mutability can be restricted to pure
// Warning: (154-183): Function state mutability can be restricted to pure
// Warning: (188-217): Function state mutability can be restricted to pure

View File

@ -3,4 +3,3 @@ contract test {
function f() public {}
}
// ----
// Warning: (53-75): Function state mutability can be restricted to pure

View File

@ -3,4 +3,3 @@ contract test {
function g(uint256, bool) public returns (uint256) { }
}
// ----
// Warning: (88-142): Function state mutability can be restricted to pure

View File

@ -7,5 +7,3 @@ contract Test {
function g (C c) external {}
}
// ----
// Warning: (125-128): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (113-141): Function state mutability can be restricted to pure

View File

@ -9,5 +9,3 @@ contract Test {
}
}
// ----
// Warning: (68-71): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (56-82): Function state mutability can be restricted to pure

View File

@ -5,5 +5,3 @@ contract derived is root, inter2, inter1 {
function g() public { f(); rootFunction(); }
}
// ----
// Warning: (16-49): Function state mutability can be restricted to pure
// Warning: (129-151): Function state mutability can be restricted to pure

View File

@ -1,6 +1,3 @@
contract B { function f() public {} }
contract C is B { function f(uint i) public {} }
// ----
// Warning: (67-73): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (13-35): Function state mutability can be restricted to pure
// Warning: (56-84): Function state mutability can be restricted to pure

View File

@ -2,6 +2,3 @@ contract A { function f(uint a) public {} }
contract B { function f() public {} }
contract C is A, B { }
// ----
// Warning: (24-30): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (13-41): Function state mutability can be restricted to pure
// Warning: (57-79): Function state mutability can be restricted to pure

View File

@ -3,4 +3,3 @@ contract B { function f() public {} function g() public returns (uint8) {} }
contract C is A, B { }
// ----
// Warning: (35-42): Unused local variable.
// Warning: (95-133): Function state mutability can be restricted to pure

View File

@ -1,4 +1,3 @@
contract A { constructor(uint a) public { } }
contract B is A { }
// ----
// Warning: (25-31): Unused function parameter. Remove or comment out the variable name to silence this warning.

View File

@ -1,4 +1,3 @@
contract A { constructor(uint a) public { } }
contract B is A { }
// ----
// Warning: (25-31): Unused function parameter. Remove or comment out the variable name to silence this warning.

View File

@ -5,4 +5,3 @@ contract d {
function g() public { c(0).f(); }
}
// ----
// Warning: (17-39): Function state mutability can be restricted to pure

View File

@ -2,4 +2,3 @@ contract test {
function f(uint) public { }
}
// ----
// Warning: (20-47): Function state mutability can be restricted to pure

View File

@ -2,4 +2,3 @@ contract test {
function f() public returns (bool) { }
}
// ----
// Warning: (20-58): Function state mutability can be restricted to pure

View File

@ -6,5 +6,3 @@ contract C {
}
}
// ----
// Warning: (91-106): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (80-122): Function state mutability can be restricted to pure

View File

@ -11,4 +11,3 @@ contract C {
}
}
// ----
// Warning: (128-189): Function state mutability can be restricted to pure

View File

@ -5,4 +5,3 @@ library c {
}
// ----
// Warning: (0-33): Experimental features are turned on. Do not use experimental features on live deployments.
// Warning: (75-116): Function state mutability can be restricted to pure

View File

@ -85,7 +85,5 @@ contract C {
}
// ----
// Warning: (1005-1019): This declaration shadows an existing declaration.
// Warning: (90-116): Function state mutability can be restricted to pure
// Warning: (121-147): Function state mutability can be restricted to pure
// Warning: (257-642): Function state mutability can be restricted to pure
// Warning: (647-1227): Function state mutability can be restricted to pure

View File

@ -5,4 +5,3 @@ contract test {
}
}
// ----
// Warning: (20-57): Function state mutability can be restricted to pure

View File

@ -10,4 +10,3 @@ contract test {
}
}
// ----
// Warning: (122-151): Function state mutability can be restricted to pure

View File

@ -7,4 +7,3 @@ contract C {
}
// ----
// Warning: (0-33): Experimental features are turned on. Do not use experimental features on live deployments.
// Warning: (112-164): Function state mutability can be restricted to pure

View File

@ -3,4 +3,3 @@ contract C {
}
}
// ----
// Warning: (28-34): Unused function parameter. Remove or comment out the variable name to silence this warning.

View File

@ -3,4 +3,3 @@ contract C {
}
}
// ----
// Warning: (51-57): Unused function parameter. Remove or comment out the variable name to silence this warning.

View File

@ -3,7 +3,3 @@ contract test {
function functionName(bytes20 arg1, address addr) public view returns (int id) { }
}
// ----
// Warning: (58-70): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (72-84): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (107-113): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (36-118): Function state mutability can be restricted to pure

View File

@ -2,4 +2,3 @@ contract c {
function x() external {}
}
// ----
// Warning: (17-41): Function state mutability can be restricted to pure

View File

@ -4,6 +4,3 @@ contract test {
function functionName(bytes32 input) public returns (bytes32 out) {}
}
// ----
// Warning: (97-110): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (128-139): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (75-143): Function state mutability can be restricted to pure

View File

@ -3,7 +3,3 @@ contract test {
function (uint, uint) internal returns (uint) f1 = f;
}
// ----
// Warning: (31-37): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (39-45): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (63-69): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (20-73): Function state mutability can be restricted to pure

View File

@ -5,9 +5,5 @@ contract test {
}
}
// ----
// Warning: (31-37): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (39-45): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (63-69): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (108-156): Unused local variable.
// Warning: (20-73): Function state mutability can be restricted to pure
// Warning: (78-167): Function state mutability can be restricted to pure

View File

@ -2,4 +2,3 @@ library Lib {
function f() public { }
}
// ----
// Warning: (18-41): Function state mutability can be restricted to pure

View File

@ -4,4 +4,3 @@ contract c {
function f() public mod1(7) mod2 { }
}
// ----
// Warning: (135-171): Function state mutability can be restricted to view

View File

@ -10,15 +10,3 @@ contract test {
function functionName4(bytes32 input) public returns (bytes32 out) {}
}
// ----
// Warning: (97-110): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (128-139): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (203-216): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (234-245): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (304-317): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (335-346): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (410-423): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (441-452): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (74-143): Function state mutability can be restricted to pure
// Warning: (180-249): Function state mutability can be restricted to pure
// Warning: (281-350): Function state mutability can be restricted to pure
// Warning: (387-456): Function state mutability can be restricted to pure

View File

@ -3,4 +3,3 @@ contract test {
function functionName() public {}
}
// ----
// Warning: (36-69): Function state mutability can be restricted to pure

View File

@ -3,6 +3,3 @@ contract test {
function functionName(bytes32 input) public returns (bytes32 out) {}
}
// ----
// Warning: (58-71): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (89-100): Unused function parameter. Remove or comment out the variable name to silence this warning.
// Warning: (36-104): Function state mutability can be restricted to pure

View File

@ -9,6 +9,3 @@ contract c {
}
// ----
// Warning: (58-71): This declaration shadows an existing declaration.
// Warning: (89-111): Function state mutability can be restricted to pure
// Warning: (116-144): Function state mutability can be restricted to pure
// Warning: (149-182): Function state mutability can be restricted to pure

View File

@ -2,4 +2,3 @@ contract C {
function g() view public { }
}
// ----
// Warning: (17-45): Function state mutability can be restricted to pure