diff options
| author | Leonardo Alt <leo@ethereum.org> | 2018-06-15 18:30:28 +0800 |
|---|---|---|
| committer | Leonardo Alt <leo@ethereum.org> | 2018-06-20 18:53:38 +0800 |
| commit | 8862b3092bcdbcb8314ec27e2b11bf25fcc6346a (patch) | |
| tree | 4570b3adc9678c944546144f5989629003422194 /test/libsolidity/SMTChecker.cpp | |
| parent | ba7fbf11e72a4f9da149ac3c9b4c908e4f215250 (diff) | |
| download | dexon-solidity-8862b3092bcdbcb8314ec27e2b11bf25fcc6346a.tar dexon-solidity-8862b3092bcdbcb8314ec27e2b11bf25fcc6346a.tar.gz dexon-solidity-8862b3092bcdbcb8314ec27e2b11bf25fcc6346a.tar.bz2 dexon-solidity-8862b3092bcdbcb8314ec27e2b11bf25fcc6346a.tar.lz dexon-solidity-8862b3092bcdbcb8314ec27e2b11bf25fcc6346a.tar.xz dexon-solidity-8862b3092bcdbcb8314ec27e2b11bf25fcc6346a.tar.zst dexon-solidity-8862b3092bcdbcb8314ec27e2b11bf25fcc6346a.zip | |
C99 scoping rules by default
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"( |