Extend view pure test suite.

This commit is contained in:
Daniel Kirchner
2018-07-04 11:25:45 +02:00
parent d9a8f2aace
commit f5be38bff1
17 changed files with 162 additions and 3 deletions
@@ -1,7 +1,10 @@
contract C {
uint x;
function f() pure public { g(); }
function g() view public {}
function g() view public { x; }
function h() view public { i(); }
function i() public { x = 2; }
}
// ----
// TypeError: (44-47): Function declared as pure, but this expression (potentially) reads from the environment or state and thus requires "view".
// Warning: (55-82): Function state mutability can be restricted to pure
// TypeError: (56-59): Function declared as pure, but this expression (potentially) reads from the environment or state and thus requires "view".
// TypeError: (130-133): Function declared as view, but this expression (potentially) modifies the state and thus requires non-payable (the default) or payable.