diff options
| author | chriseth <chris@ethereum.org> | 2018-06-21 19:57:59 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-21 19:57:59 +0800 |
| commit | 0d1047181d22c049aa5573acf9826d1701dd66ae (patch) | |
| tree | 2e0295bb85a9a24b97ee6a7c3316d82369805ada /test/libsolidity/SMTChecker.cpp | |
| parent | 7e4bd3e3468ec1d240068fde5b45f380cdef411c (diff) | |
| parent | 8862b3092bcdbcb8314ec27e2b11bf25fcc6346a (diff) | |
| download | dexon-solidity-0d1047181d22c049aa5573acf9826d1701dd66ae.tar.gz dexon-solidity-0d1047181d22c049aa5573acf9826d1701dd66ae.tar.zst dexon-solidity-0d1047181d22c049aa5573acf9826d1701dd66ae.zip | |
Merge pull request #4306 from ethereum/remove_050_workaround_scoping
[BREAKING] C99 scoping rules by default (remove 050 workaround)
Diffstat (limited to 'test/libsolidity/SMTChecker.cpp')
| -rw-r--r-- | test/libsolidity/SMTChecker.cpp | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/test/libsolidity/SMTChecker.cpp b/test/libsolidity/SMTChecker.cpp index ec23f452..18c8c025 100644 --- a/test/libsolidity/SMTChecker.cpp +++ b/test/libsolidity/SMTChecker.cpp @@ -133,22 +133,6 @@ BOOST_AUTO_TEST_CASE(assignment_in_declaration) CHECK_SUCCESS_NO_WARNINGS(text); } -BOOST_AUTO_TEST_CASE(use_before_declaration) -{ - string text = R"( - contract C { - function f() public pure { a = 3; uint a = 2; assert(a == 2); } - } - )"; - CHECK_SUCCESS_NO_WARNINGS(text); - text = R"( - contract C { - function f() public pure { assert(a == 0); uint a = 2; assert(a == 2); } - } - )"; - CHECK_SUCCESS_NO_WARNINGS(text); -} - BOOST_AUTO_TEST_CASE(function_call_does_not_clear_local_vars) { string text = R"( |