aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/SolidityOptimizer.cpp
diff options
context:
space:
mode:
authorchriseth <c@ethdev.com>2015-11-16 18:47:19 +0800
committerchriseth <c@ethdev.com>2015-11-16 18:47:19 +0800
commit1bdc7eed319d65b3151cb2968ffd7020726f42e6 (patch)
tree4f6b8687a409eb7f5f2efb9c03525589e3d78b98 /test/libsolidity/SolidityOptimizer.cpp
parent321b1ed22102f0d373af4250bb42aea569aafcdd (diff)
downloaddexon-solidity-1bdc7eed319d65b3151cb2968ffd7020726f42e6.tar.gz
dexon-solidity-1bdc7eed319d65b3151cb2968ffd7020726f42e6.tar.zst
dexon-solidity-1bdc7eed319d65b3151cb2968ffd7020726f42e6.zip
Work around bug in MSVC/Boost for u256->unsigned conversion.
Diffstat (limited to 'test/libsolidity/SolidityOptimizer.cpp')
-rw-r--r--test/libsolidity/SolidityOptimizer.cpp10
1 files changed, 10 insertions, 0 deletions
diff --git a/test/libsolidity/SolidityOptimizer.cpp b/test/libsolidity/SolidityOptimizer.cpp
index 20d59a04..7db4f431 100644
--- a/test/libsolidity/SolidityOptimizer.cpp
+++ b/test/libsolidity/SolidityOptimizer.cpp
@@ -359,6 +359,16 @@ BOOST_AUTO_TEST_CASE(store_tags_as_unions)
// BOOST_CHECK_EQUAL(2, numSHA3s);
}
+BOOST_AUTO_TEST_CASE(successor_not_found_bug)
+{
+ // This bug was caused because MSVC chose to use the u256->bool conversion
+ // instead of u256->unsigned
+ char const* sourceCode = R"(
+ contract greeter { function greeter() {} }
+ )";
+ compileBothVersions(sourceCode);
+}
+
BOOST_AUTO_TEST_CASE(cse_intermediate_swap)
{
eth::KnownState state;