REVERT test case:

return empty output but with non-zero memory index (e.g. offset 1, length 0).
test case 2: big index, size 0.

1 files changed, 217 insertions, 41 deletions

diff --git a/GeneralStateTests/stRevertTest/RevertOpcodeReturn.json b/GeneralStateTests/stRevertTest/RevertOpcodeReturn.json
index a11032703..c4b8c0c76 100644
--- a/GeneralStateTests/stRevertTest/RevertOpcodeReturn.json
+++ b/GeneralStateTests/stRevertTest/RevertOpcodeReturn.json
@@ -11,7 +11,7 @@
         "post" : {
             "EIP150" : [
                 {
-                    "hash" : "b8af687cc87c69c2e22b5c56c9a2877a830f561e574814d6b21ebdd708706bc9",
+                    "hash" : "26fbf1e03628ac787377d3e309d18c04d005d31743b650400e6da40539474c79",
                     "indexes" : {
                         "data" : 0,
                         "gas" : 0,
@@ -19,7 +19,7 @@
                     }
                 },
                 {
-                    "hash" : "0c5bc5f7dfbceb41280a74768c7285b6797c3f0e23be8b5b403c5c6449e5bc25",
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
                     "indexes" : {
                         "data" : 0,
                         "gas" : 1,
@@ -27,7 +27,7 @@
                     }
                 },
                 {
-                    "hash" : "b8af687cc87c69c2e22b5c56c9a2877a830f561e574814d6b21ebdd708706bc9",
+                    "hash" : "26fbf1e03628ac787377d3e309d18c04d005d31743b650400e6da40539474c79",
                     "indexes" : {
                         "data" : 1,
                         "gas" : 0,
@@ -35,7 +35,7 @@
                     }
                 },
                 {
-                    "hash" : "0c5bc5f7dfbceb41280a74768c7285b6797c3f0e23be8b5b403c5c6449e5bc25",
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
                     "indexes" : {
                         "data" : 1,
                         "gas" : 1,
@@ -43,7 +43,7 @@
                     }
                 },
                 {
-                    "hash" : "b8af687cc87c69c2e22b5c56c9a2877a830f561e574814d6b21ebdd708706bc9",
+                    "hash" : "26fbf1e03628ac787377d3e309d18c04d005d31743b650400e6da40539474c79",
                     "indexes" : {
                         "data" : 2,
                         "gas" : 0,
@@ -51,7 +51,7 @@
                     }
                 },
                 {
-                    "hash" : "0c5bc5f7dfbceb41280a74768c7285b6797c3f0e23be8b5b403c5c6449e5bc25",
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
                     "indexes" : {
                         "data" : 2,
                         "gas" : 1,
@@ -59,7 +59,7 @@
                     }
                 },
                 {
-                    "hash" : "b8af687cc87c69c2e22b5c56c9a2877a830f561e574814d6b21ebdd708706bc9",
+                    "hash" : "26fbf1e03628ac787377d3e309d18c04d005d31743b650400e6da40539474c79",
                     "indexes" : {
                         "data" : 3,
                         "gas" : 0,
@@ -67,17 +67,49 @@
                     }
                 },
                 {
-                    "hash" : "0c5bc5f7dfbceb41280a74768c7285b6797c3f0e23be8b5b403c5c6449e5bc25",
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
                     "indexes" : {
                         "data" : 3,
                         "gas" : 1,
                         "value" : 0
                     }
+                },
+                {
+                    "hash" : "26fbf1e03628ac787377d3e309d18c04d005d31743b650400e6da40539474c79",
+                    "indexes" : {
+                        "data" : 4,
+                        "gas" : 0,
+                        "value" : 0
+                    }
+                },
+                {
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
+                    "indexes" : {
+                        "data" : 4,
+                        "gas" : 1,
+                        "value" : 0
+                    }
+                },
+                {
+                    "hash" : "26fbf1e03628ac787377d3e309d18c04d005d31743b650400e6da40539474c79",
+                    "indexes" : {
+                        "data" : 5,
+                        "gas" : 0,
+                        "value" : 0
+                    }
+                },
+                {
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
+                    "indexes" : {
+                        "data" : 5,
+                        "gas" : 1,
+                        "value" : 0
+                    }
                 }
             ],
             "EIP158" : [
                 {
-                    "hash" : "b8af687cc87c69c2e22b5c56c9a2877a830f561e574814d6b21ebdd708706bc9",
+                    "hash" : "26fbf1e03628ac787377d3e309d18c04d005d31743b650400e6da40539474c79",
                     "indexes" : {
                         "data" : 0,
                         "gas" : 0,
@@ -85,7 +117,7 @@
                     }
                 },
                 {
-                    "hash" : "0c5bc5f7dfbceb41280a74768c7285b6797c3f0e23be8b5b403c5c6449e5bc25",
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
                     "indexes" : {
                         "data" : 0,
                         "gas" : 1,
@@ -93,7 +125,7 @@
                     }
                 },
                 {
-                    "hash" : "b8af687cc87c69c2e22b5c56c9a2877a830f561e574814d6b21ebdd708706bc9",
+                    "hash" : "26fbf1e03628ac787377d3e309d18c04d005d31743b650400e6da40539474c79",
                     "indexes" : {
                         "data" : 1,
                         "gas" : 0,
@@ -101,7 +133,7 @@
                     }
                 },
                 {
-                    "hash" : "0c5bc5f7dfbceb41280a74768c7285b6797c3f0e23be8b5b403c5c6449e5bc25",
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
                     "indexes" : {
                         "data" : 1,
                         "gas" : 1,
@@ -109,7 +141,7 @@
                     }
                 },
                 {
-                    "hash" : "b8af687cc87c69c2e22b5c56c9a2877a830f561e574814d6b21ebdd708706bc9",
+                    "hash" : "26fbf1e03628ac787377d3e309d18c04d005d31743b650400e6da40539474c79",
                     "indexes" : {
                         "data" : 2,
                         "gas" : 0,
@@ -117,7 +149,7 @@
                     }
                 },
                 {
-                    "hash" : "0c5bc5f7dfbceb41280a74768c7285b6797c3f0e23be8b5b403c5c6449e5bc25",
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
                     "indexes" : {
                         "data" : 2,
                         "gas" : 1,
@@ -125,7 +157,7 @@
                     }
                 },
                 {
-                    "hash" : "b8af687cc87c69c2e22b5c56c9a2877a830f561e574814d6b21ebdd708706bc9",
+                    "hash" : "26fbf1e03628ac787377d3e309d18c04d005d31743b650400e6da40539474c79",
                     "indexes" : {
                         "data" : 3,
                         "gas" : 0,
@@ -133,17 +165,49 @@
                     }
                 },
                 {
-                    "hash" : "0c5bc5f7dfbceb41280a74768c7285b6797c3f0e23be8b5b403c5c6449e5bc25",
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
                     "indexes" : {
                         "data" : 3,
                         "gas" : 1,
                         "value" : 0
                     }
+                },
+                {
+                    "hash" : "26fbf1e03628ac787377d3e309d18c04d005d31743b650400e6da40539474c79",
+                    "indexes" : {
+                        "data" : 4,
+                        "gas" : 0,
+                        "value" : 0
+                    }
+                },
+                {
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
+                    "indexes" : {
+                        "data" : 4,
+                        "gas" : 1,
+                        "value" : 0
+                    }
+                },
+                {
+                    "hash" : "26fbf1e03628ac787377d3e309d18c04d005d31743b650400e6da40539474c79",
+                    "indexes" : {
+                        "data" : 5,
+                        "gas" : 0,
+                        "value" : 0
+                    }
+                },
+                {
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
+                    "indexes" : {
+                        "data" : 5,
+                        "gas" : 1,
+                        "value" : 0
+                    }
                 }
             ],
             "Frontier" : [
                 {
-                    "hash" : "edd8bf8dc51622ae78bd758dfbcca07bf1d2437be4675d9ce71ca25b0e7d8e79",
+                    "hash" : "070f9dec5ea98b79d4cc71a6e2fb99f40d90862131f8e23331c3a0a580f2dccd",
                     "indexes" : {
                         "data" : 0,
                         "gas" : 0,
@@ -151,7 +215,7 @@
                     }
                 },
                 {
-                    "hash" : "0c5bc5f7dfbceb41280a74768c7285b6797c3f0e23be8b5b403c5c6449e5bc25",
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
                     "indexes" : {
                         "data" : 0,
                         "gas" : 1,
@@ -159,7 +223,7 @@
                     }
                 },
                 {
-                    "hash" : "edd8bf8dc51622ae78bd758dfbcca07bf1d2437be4675d9ce71ca25b0e7d8e79",
+                    "hash" : "070f9dec5ea98b79d4cc71a6e2fb99f40d90862131f8e23331c3a0a580f2dccd",
                     "indexes" : {
                         "data" : 1,
                         "gas" : 0,
@@ -167,7 +231,7 @@
                     }
                 },
                 {
-                    "hash" : "0c5bc5f7dfbceb41280a74768c7285b6797c3f0e23be8b5b403c5c6449e5bc25",
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
                     "indexes" : {
                         "data" : 1,
                         "gas" : 1,
@@ -175,7 +239,7 @@
                     }
                 },
                 {
-                    "hash" : "edd8bf8dc51622ae78bd758dfbcca07bf1d2437be4675d9ce71ca25b0e7d8e79",
+                    "hash" : "070f9dec5ea98b79d4cc71a6e2fb99f40d90862131f8e23331c3a0a580f2dccd",
                     "indexes" : {
                         "data" : 2,
                         "gas" : 0,
@@ -183,7 +247,7 @@
                     }
                 },
                 {
-                    "hash" : "0c5bc5f7dfbceb41280a74768c7285b6797c3f0e23be8b5b403c5c6449e5bc25",
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
                     "indexes" : {
                         "data" : 2,
                         "gas" : 1,
@@ -191,7 +255,7 @@
                     }
                 },
                 {
-                    "hash" : "edd8bf8dc51622ae78bd758dfbcca07bf1d2437be4675d9ce71ca25b0e7d8e79",
+                    "hash" : "070f9dec5ea98b79d4cc71a6e2fb99f40d90862131f8e23331c3a0a580f2dccd",
                     "indexes" : {
                         "data" : 3,
                         "gas" : 0,
@@ -199,17 +263,49 @@
                     }
                 },
                 {
-                    "hash" : "0c5bc5f7dfbceb41280a74768c7285b6797c3f0e23be8b5b403c5c6449e5bc25",
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
                     "indexes" : {
                         "data" : 3,
                         "gas" : 1,
                         "value" : 0
                     }
+                },
+                {
+                    "hash" : "070f9dec5ea98b79d4cc71a6e2fb99f40d90862131f8e23331c3a0a580f2dccd",
+                    "indexes" : {
+                        "data" : 4,
+                        "gas" : 0,
+                        "value" : 0
+                    }
+                },
+                {
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
+                    "indexes" : {
+                        "data" : 4,
+                        "gas" : 1,
+                        "value" : 0
+                    }
+                },
+                {
+                    "hash" : "070f9dec5ea98b79d4cc71a6e2fb99f40d90862131f8e23331c3a0a580f2dccd",
+                    "indexes" : {
+                        "data" : 5,
+                        "gas" : 0,
+                        "value" : 0
+                    }
+                },
+                {
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
+                    "indexes" : {
+                        "data" : 5,
+                        "gas" : 1,
+                        "value" : 0
+                    }
                 }
             ],
             "Homestead" : [
                 {
-                    "hash" : "edd8bf8dc51622ae78bd758dfbcca07bf1d2437be4675d9ce71ca25b0e7d8e79",
+                    "hash" : "070f9dec5ea98b79d4cc71a6e2fb99f40d90862131f8e23331c3a0a580f2dccd",
                     "indexes" : {
                         "data" : 0,
                         "gas" : 0,
@@ -217,7 +313,7 @@
                     }
                 },
                 {
-                    "hash" : "0c5bc5f7dfbceb41280a74768c7285b6797c3f0e23be8b5b403c5c6449e5bc25",
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
                     "indexes" : {
                         "data" : 0,
                         "gas" : 1,
@@ -225,7 +321,7 @@
                     }
                 },
                 {
-                    "hash" : "edd8bf8dc51622ae78bd758dfbcca07bf1d2437be4675d9ce71ca25b0e7d8e79",
+                    "hash" : "070f9dec5ea98b79d4cc71a6e2fb99f40d90862131f8e23331c3a0a580f2dccd",
                     "indexes" : {
                         "data" : 1,
                         "gas" : 0,
@@ -233,7 +329,7 @@
                     }
                 },
                 {
-                    "hash" : "0c5bc5f7dfbceb41280a74768c7285b6797c3f0e23be8b5b403c5c6449e5bc25",
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
                     "indexes" : {
                         "data" : 1,
                         "gas" : 1,
@@ -241,7 +337,7 @@
                     }
                 },
                 {
-                    "hash" : "edd8bf8dc51622ae78bd758dfbcca07bf1d2437be4675d9ce71ca25b0e7d8e79",
+                    "hash" : "070f9dec5ea98b79d4cc71a6e2fb99f40d90862131f8e23331c3a0a580f2dccd",
                     "indexes" : {
                         "data" : 2,
                         "gas" : 0,
@@ -249,7 +345,7 @@
                     }
                 },
                 {
-                    "hash" : "0c5bc5f7dfbceb41280a74768c7285b6797c3f0e23be8b5b403c5c6449e5bc25",
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
                     "indexes" : {
                         "data" : 2,
                         "gas" : 1,
@@ -257,7 +353,7 @@
                     }
                 },
                 {
-                    "hash" : "edd8bf8dc51622ae78bd758dfbcca07bf1d2437be4675d9ce71ca25b0e7d8e79",
+                    "hash" : "070f9dec5ea98b79d4cc71a6e2fb99f40d90862131f8e23331c3a0a580f2dccd",
                     "indexes" : {
                         "data" : 3,
                         "gas" : 0,
@@ -265,17 +361,49 @@
                     }
                 },
                 {
-                    "hash" : "0c5bc5f7dfbceb41280a74768c7285b6797c3f0e23be8b5b403c5c6449e5bc25",
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
                     "indexes" : {
                         "data" : 3,
                         "gas" : 1,
                         "value" : 0
                     }
+                },
+                {
+                    "hash" : "070f9dec5ea98b79d4cc71a6e2fb99f40d90862131f8e23331c3a0a580f2dccd",
+                    "indexes" : {
+                        "data" : 4,
+                        "gas" : 0,
+                        "value" : 0
+                    }
+                },
+                {
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
+                    "indexes" : {
+                        "data" : 4,
+                        "gas" : 1,
+                        "value" : 0
+                    }
+                },
+                {
+                    "hash" : "070f9dec5ea98b79d4cc71a6e2fb99f40d90862131f8e23331c3a0a580f2dccd",
+                    "indexes" : {
+                        "data" : 5,
+                        "gas" : 0,
+                        "value" : 0
+                    }
+                },
+                {
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
+                    "indexes" : {
+                        "data" : 5,
+                        "gas" : 1,
+                        "value" : 0
+                    }
                 }
             ],
             "Metropolis" : [
                 {
-                    "hash" : "80cd7cba864fb7fee9b81732442d387c68da10f76b5b3b5c612fbbcd34b1c67e",
+                    "hash" : "60b9ed910a10118d39799374bf0defc97313bbbc449a621cbf7eb3d4d68ad450",
                     "indexes" : {
                         "data" : 0,
                         "gas" : 0,
@@ -283,7 +411,7 @@
                     }
                 },
                 {
-                    "hash" : "80cd7cba864fb7fee9b81732442d387c68da10f76b5b3b5c612fbbcd34b1c67e",
+                    "hash" : "60b9ed910a10118d39799374bf0defc97313bbbc449a621cbf7eb3d4d68ad450",
                     "indexes" : {
                         "data" : 0,
                         "gas" : 1,
@@ -291,7 +419,7 @@
                     }
                 },
                 {
-                    "hash" : "49c87cfa106e691a1bc3c4b59a243af7783da31026a4df3214d24d4f8dd88395",
+                    "hash" : "11b003005214b4ec1532ec3381f60107b974a1c242f52787ca40d3f3fe3672b4",
                     "indexes" : {
                         "data" : 1,
                         "gas" : 0,
@@ -299,7 +427,7 @@
                     }
                 },
                 {
-                    "hash" : "49c87cfa106e691a1bc3c4b59a243af7783da31026a4df3214d24d4f8dd88395",
+                    "hash" : "11b003005214b4ec1532ec3381f60107b974a1c242f52787ca40d3f3fe3672b4",
                     "indexes" : {
                         "data" : 1,
                         "gas" : 1,
@@ -307,7 +435,7 @@
                     }
                 },
                 {
-                    "hash" : "b8af687cc87c69c2e22b5c56c9a2877a830f561e574814d6b21ebdd708706bc9",
+                    "hash" : "26fbf1e03628ac787377d3e309d18c04d005d31743b650400e6da40539474c79",
                     "indexes" : {
                         "data" : 2,
                         "gas" : 0,
@@ -315,7 +443,7 @@
                     }
                 },
                 {
-                    "hash" : "0c5bc5f7dfbceb41280a74768c7285b6797c3f0e23be8b5b403c5c6449e5bc25",
+                    "hash" : "11bd0a7dd947e26013b63c7f1dad8e16343c4eec8646222186a4f2cf0ac032bc",
                     "indexes" : {
                         "data" : 2,
                         "gas" : 1,
@@ -323,7 +451,7 @@
                     }
                 },
                 {
-                    "hash" : "49c87cfa106e691a1bc3c4b59a243af7783da31026a4df3214d24d4f8dd88395",
+                    "hash" : "11b003005214b4ec1532ec3381f60107b974a1c242f52787ca40d3f3fe3672b4",
                     "indexes" : {
                         "data" : 3,
                         "gas" : 0,
@@ -331,12 +459,44 @@
                     }
                 },
                 {
-                    "hash" : "49c87cfa106e691a1bc3c4b59a243af7783da31026a4df3214d24d4f8dd88395",
+                    "hash" : "11b003005214b4ec1532ec3381f60107b974a1c242f52787ca40d3f3fe3672b4",
                     "indexes" : {
                         "data" : 3,
                         "gas" : 1,
                         "value" : 0
                     }
+                },
+                {
+                    "hash" : "11b003005214b4ec1532ec3381f60107b974a1c242f52787ca40d3f3fe3672b4",
+                    "indexes" : {
+                        "data" : 4,
+                        "gas" : 0,
+                        "value" : 0
+                    }
+                },
+                {
+                    "hash" : "11b003005214b4ec1532ec3381f60107b974a1c242f52787ca40d3f3fe3672b4",
+                    "indexes" : {
+                        "data" : 4,
+                        "gas" : 1,
+                        "value" : 0
+                    }
+                },
+                {
+                    "hash" : "11b003005214b4ec1532ec3381f60107b974a1c242f52787ca40d3f3fe3672b4",
+                    "indexes" : {
+                        "data" : 5,
+                        "gas" : 0,
+                        "value" : 0
+                    }
+                },
+                {
+                    "hash" : "11b003005214b4ec1532ec3381f60107b974a1c242f52787ca40d3f3fe3672b4",
+                    "indexes" : {
+                        "data" : 5,
+                        "gas" : 1,
+                        "value" : 0
+                    }
                 }
             ]
         },
@@ -376,6 +536,20 @@
                 "storage" : {
                 }
             },
+            "a500000000000000000000000000000000000000" : {
+                "balance" : "0x00",
+                "code" : "0x6c726576657274656420646174616000556d726576657274206d65737361676560005260006001fd",
+                "nonce" : "0x00",
+                "storage" : {
+                }
+            },
+            "a600000000000000000000000000000000000000" : {
+                "balance" : "0x00",
+                "code" : "0x6c726576657274656420646174616000556d726576657274206d65737361676560005260006e0ffffffffffffffffffffffffffffffd",
+                "nonce" : "0x00",
+                "storage" : {
+                }
+            },
             "a94f5374fce5edbc8e2a8697c15331677e6ebf0b" : {
                 "balance" : "0xe8d4a51000",
                 "code" : "0x",
@@ -389,7 +563,9 @@
                 "000000000000000000000000a100000000000000000000000000000000000000",
                 "000000000000000000000000a200000000000000000000000000000000000000",
                 "000000000000000000000000a300000000000000000000000000000000000000",
-                "000000000000000000000000a400000000000000000000000000000000000000"
+                "000000000000000000000000a400000000000000000000000000000000000000",
+                "000000000000000000000000a500000000000000000000000000000000000000",
+                "000000000000000000000000a600000000000000000000000000000000000000"
             ],
             "gasLimit" : [
                 "800000",