Using the output of calldataload as a return value causes the execution to fail. #263
Description
Version: 0.1.0-dev.12
contract C {
function f(bytes memory data) public pure returns (uint256, bytes memory) {
uint256 result1;
assembly {
let ptr := mload(add(data, 0x20))
result1 := calldataload(ptr)
}
return (result1, data);
}
}Run with resolc
I have set up an execution environment that can directly execute the bytecode generated by revive compilation.
Compile
resolc --solc solc test.sol --combined-json hashes,bin,abi -o /tmp/tmpdh_0t_pr --overwrite
Run
revive/target/debug/revive-runner 50564d00002f18000000000000010700c11000c00040047106000000000e0000001c0000002a000000350000004700000063616c6c5f646174615f636f707963616c6c5f646174615f6c6f616463616c6c5f646174615f73697a657365616c5f72657475726e7365745f696d6d757461626c655f6461746176616c75655f7472616e7366657272656405110294980463616c6c949f066465706c6f7906978f270294a8d600be01c301dd016e028302a802b402d8024a04e705e1068508f1087a09c0093c0bdc0b0b0c560c730c7d0c950ca30cd20ce80cf20c000d770d6d0efe0e44107c1189119511fa112a139f14a7148b791052093b3309010001ae9833c8780883881f8488e0553801000128390a000002ae8a123d080000023308100002c8870732003308100002c8870732000000aa876e978a2098aa20977b2098bb20c89b0bc9ba0a979b019abbaeab20ae873751094ec87909647a017c8b95880195ac0178ab64caab9cf42836510934c87909647a017c8b95880195ac0178ab64caab9cf4281c51091a839aff01c8a80b7cbb9599ffc8a70c78cb83aaff5209f032009511d87b10207b15187b161082897b19088289087b1982851082861883773308205010022fff6f686f59821a6faa821b086fbb787b18787a10787908787898bc38787c1f98bc30787c1e98bc28787c1d98bc20787c1c98bc18787c1b98bc10787c1a98bb08787b1998ab38787b1798ab30787b1698ab28787b1598ab20787b1498ab18787b1398ab10787b1298aa08787a11989a38787a0f989a30787a0e989a28787a0d989a20787a0c989a18787a0b989a10787a0a98990878790998893878790798893078790698892878790598892078790498891878790398891078790298880878780182102082151882161095112832009511f07b10087b158475010a02013d0704000251050750100409501006f6009511c07b10387b15309515408411e033074033082050100828fe46171f800046171e46171d46171c46171b46171a46171946171846171746171646171546171446171346171246171146171046170f46170e46170d46170c46170b46170a4617094617084617074617064617054617044617034617024617014607491118490149110849111083170a0501821710821818821908821ad49808d4a707d487075107163307330850100a97fd837833070133090a030133078000330850100c82fd8377330833090a01390808000251080d330710000383770a040133078000330850100e5dfd8378330733093300100a0301951180fd7b1078027b1570027b166802951580028411e064163307403308205010122dfd46171f800046171e46171d46171c46171b46171a46171946171846171746171646171546171446171346171246171146171046170f46170e46170d46170c46170b46170a461709461708461707461703330804000246170246170146077b689800390804000246170646170546170453180484088367000233080a010180671c02977720140800000000f85457d4ab8765089517e08477e07b6790006471491718491710491708490783770a0501826a900082a71082a81882a90882aad49808d4a707d4870752072d088267980081775417232308836720023308040a010182633802826a3002826b2802d43a0788b801947851085e08826c200282679800807795c823d8c809c89b027b6b18d8b20bda990bc8ab0b7b6a20d8ab097b6328c83909d4b909d87807942794975107d1077b6c3883c804836740020a01018267580282685002826948027b67607b6830d487077b69900088980194785108fe07826740027b678800330740330820501014bbfb7c78197c79187c7a1a7c7b1b978808d4980897aa1097bb18d4ba0ad4a8087c791d7c7a1c7c7b1e7c7c1f979908d4a90997bb1097cc18d4cb0bd4b909979920d489027c79117c7a107c7b127c7c13979908d4a90997bb1097cc18d4cb0bd4b9097c7a157c7b147c7c167c781797aa08d4ba0a97cc10978818d4c808d4a808978820d498037c78097c7a087c7b0a7c7c0b978808d4a80897bb1097cc18d4cb0bd4b8087c7a0d7c7b0c7c7c0e7c790f97aa08d4ba0a97cc10979918d4c909d4a909979920d4890a7c78017c797c7b027c7c03978808d4980897bb1097cc18d4cb0bd4b8087c79057c7b047c7c067c7707979908d4b90997cc10977718d4c707d49707977720d487076f746fa06f3b6f2a8268880095871fd8870882699000c898088488018477e095793fd87907c887078499e0c8a9097b6a787b6958d8a90ac8b707c8a708d3b8097b6b70d8b807da9a07c87002d80203c8340c8e298ecadac90ad4c2097b68508e8bdb9a0b520b3106d34c09d84c0adb9a03d3020ad4a909db930752071b063307403308207b60687b6480007b62487b6c405010161efa8268406f888269486f99826a506faa826b586fbb787b1898bc38787c1f98bc30787c1e98bc28787c1d98bc20787c1c98bc18787c1b98bc10787c1a82626898bb08787b19787a1098ab38787b1798ab30787b1698ab28787b1598ab20787b1498ab18787b1398ab10787b1298aa08787a11787908989a38787a0f989a30787a0e989a28787a0d989a20787a0c989a18787a0b989a10787a0a9899087879097878988938787907988930787906988928787905988920787904988918787903988910787902988808826b78d42b09826a70826c8000d4ca0ad4a909989920d42a0a97aa20d4a9097878015209fa0483b73308207b675850101824f982683882698800c88909d88908826c18826a9000c8ca0ac88a0ad3ca0bd8ca0cdab80c8268606f83983b18787b03983b10787b02983b08787b01826030826220c8020bc8bc0cd82b02d8bc04826b28c88b0bc82b0bc8b404959224d89209c89a0bd8ab0ada990a7873826998008099c8ca0ad8ca0cc84c0cd8290988b201859401dbb2048262880088ab0188c901dacb09640bd4ca0a82609000dba9046f29989a38787a1f989a30787a1e989a28787a1d989a20787a1c989a18787a1b989a10787a1a989a08787a196f0a78791898a93878791798a93078791698a92878791598a92078791498a91878791398a9107879126fb9787a1098aa08787a11989a38787a0f989a30787a0e989a28787a0d989a20787a0c989a18787a0b989a10787a0a7879089899087879099839387879079839307879069839287879059838207878045104a803d4b207826a60d4a008d48707987720d4b808978820d487078268800052078703826368d48307140ce0ffffff00000000826878d8c808826a7094a89478510866038267388377247b675082675883772083287b68587b6c980050101a80f783778268588269500a018260688264800082637082627882678800c82707d8270882699000c83909c88909d3390ad8390bdaa80b826830c80808d8080a826c60c84c0cc8ca0ac88b0bd88b08c8a808d4b808826a9800d8a70a949a948a510ae80283772033082050101c14f746171f46171e46171d46171c46171b46171a46171946171846171746171646171546171446171346171246171146171046170f46170e46170d46170c46170b46170a4617094617084617074617064617054617044617034617024617014607826780007b67b8018267687b67b0018267707b67a8019567c0019568a0018269787b69a00150101e50098267c0017b6790008267c8017b6788008267d0017b6780008267d8017b67788267e0017b67708267e8017b67688267f0017b67608267f8017b675833074033082050102045f67c78017c797c7a027c7b03978808d4980897aa1097bb18d4ba0ad4a8087c79057c7a047c7b067c7c07979908d4a90997bb1097cc18d4cb0bd4b909979920d489027c79097c7a087c7b0a7c7c0b979908d4a90997bb1097cc18d4cb0bd4b9097c7a0d7c7b0c7c7c0e7c780f97aa08d4ba0a97cc10978818d4c808d4a808978820d498037c78117c7a107c7b127c7c13978808d4a80897bb1097cc18d4cb0bd4b8087c7a157c7b147c7c167c791797aa08d4ba0a97cc10979918d4c909d4a909979920d4890a7c78197c79187c7b1a7c7c1b978808d4980897bb1097cc18d4cb0bd4b8087c791d7c7b1c7c7c1e7c771f979908d4b90997cc10977718d4c707d49707977720d487076f7b7b6b406fa97b69486f387b68506f2a7b6a98008267587b6738018267607b6730018267687b6728018267707b6720018267787b675801826780007b675001826788007b674801826790007b6740017b6a78017b6870017b696801956780019568600195694001956a20017b6b6001501022c901826b4882694082679800d4b707826a50d4a908d47808988820d4a707977720d4870752076c64a282678801826898017b68900082638001826a9001d3b704d8b70cd89300da400cc92a08c9c804d8c8087b688800d82a0a826c980082689000c9c80cc9ac0c82688800c98c0cc9b707c90707c99308d4c707d4480ad47a0ad4470798aa20977720d4a7075107c2000033073308330024282ef4330850102429f4837833070133090a0301492610014926080149260001140700000000717b484e956800017b6718013307501026aaf44926f8004926f0004926e000413307049568e0004926e80033002a288af4330733002428d2f34926d0004926c8004926c000140700000000717b484e9568c0007b67d80033075010285ff44926b8004926b0004926a000413307049568a0004926a80050102a42f4330824330750102c88f383783307013309240a0301839783887b68980050102e70f383783307826998003300300a03019511b07b10487b15409515508411f0491130491128491120140700000000717b484e9518207b17383307501032e3f34911184911104901413307046418491108501034cdf3330824330750103613f383783307013309243300380a0301951170ff7b1088007b1580007b1678828610828b18828508828c7b1b587b1570d4b508d46c0bd48b0b98bb207b1650d46808978820d4b8087b17185208890582a7187b173882a7107b173082a7087b174882a77b17408295188296108297087b172082977b172883c73308207b17607b1c6850103a8ef26f586f69821a206faa821b286fbb98bc38787c1f98bc30787c1e98bc28787c1d98bc20787c1c98bc18787c1b98bc10787c1a98bc08787c19787b18787a1098ab38787b1798ab30787b1698ab28787b1598ab20787b1498ab18787b1398ab10787b1298aa08787a11787908989a38787a0f989a30787a0e989a28787a0d989a20787a0c989a18787a0b989a10787a0a9899087879097878988938787907988930787906988928787905988920787904988918787903988910787902988808821950821a58d49a0a1409e0ffffff00000000821b68d89b09821b7094b97b1a2894a97878015109690482176083772033082050103c98f146171f40821a40821b30d4ba08821938821c48d4c909d49808988820d4b909979920d4980846171e46171d46171c46171b46171a46171946171846171746171646171546171446171346171246171146171046170f46170e46170d46170c46170b46170a46170946170846170746170646170546170446170346170246170146075208d60383a73308207b1750103e07f1140800000000010000007b18201408c0ffffff00000000821968d889088219709498821928949851089f037c78197c79187c7a1a7c7b1b978808d4980897aa1097bb18d4ba0ad4a8087c791d7c7a1c7c7b1e7c7c1f979908d4a90997bb1097cc18d4cb0bd4b909979920d498087b18107c78117c79107c7a127c7b13978808d4980897aa1097bb18d4ba0ad4a8087c79157c7a147c7b167c7c17979908d4a90997bb1097cc18d4cb0bd4b909979920d498087b18087c78097c79087c7a0a7c7b0b978808d4980897aa1097bb18d4ba0ad4a8087c790d7c7a0c7c7b0e7c7c0f979908d4a90997bb1097cc18d4cb0bd4b909979920d489057c78017c797c7a027c7b03978808d4980897aa1097bb18d4ba0ad4a8087c79057c7a047c7b067c7707979908d4a90997bb10977718d4b707d49707977720d48706821760837740330820501040c1ef821c08821b10787c1098583878780f98583078780e98582878780d98582078780c98581878780b98581078780a9858087878097875089868387878079868307878069868287878059868207878049868187878039868107878029868087878017876787b1898c83878781798c83078781698c82878781598c82078781498c81878781398c81078781298c80878781198b83878781f98b83078781e98b82878781d98b82078781c98b81878781b98b81078781a98b8088219209599a0821a68d89a09821a7094a9821a2894a97878195109b101821738821830d487071408e0ffffff00000000821940d889088219489498947851088d016f686f596fca6fb6d496077b18487b1a38d4a808d487079877207b1940d49808978820d487078218605207600183876082188388207b18608365645850104289ee7b173082176064585010447cee64788217306469501046b0ee821768c867077b1660d86708821970821b38c8b909c88909d3b90ad8b90bdaa80b821650821c40c86c08c88b0bd88b0ad8c808821c58821548c85c0cc8c808c8a808d4b808140aa0ffffff00000000d8a70a949a948a510ad9008377603308205010480bee46171f46171e46171d46171c46171b46171a46171946171846171746171646171546171446171346171246171146171046170f46170e46170d46170c46170b46170a461709461708461707461706461705461704461703461702461701460782176095771f1405e0ffffff01000000d25707821868c88707d88708821a70c88a09d8a90ada880ac86a0ad86a08821b58c8b808957b60d87b07c8790cd89c09da7709c8a909d8a907c887078218187b8b7b8c087b89107b87188210880082158000821678951190003200009511a07b10587b15507b16489515608411e08289828c18828b088286109598207b1918d89809c89b0a7b1b10d8ba0bda990bc86b0b7b16d86b097b1c08c8c909d4b80cd4a909d49c0c98cc20d4b909979920d4c90952097d016476838733082050104adbec7c78117c79107c7a127c7b13978808d4980897aa1097bb18d4ba0ad4a8087c79157c7a147c7b167c7c17979908d4a90997bb1097cc18d4cb0bd4b909979920d489027c79017c7a7c7b027c7c03979908d4a90997bb1097cc18d4cb0bd4b9097c7a057c7b047c7c067c780797aa08d4ba0a97cc10978818d4c808d4a808978820d498037c78197c7a187c7b1a7c7c1b978808d4a80897bb1097cc18d4cb0bd4b8087c7a1d7c7b1c7c7c1e7c791f97aa08d4ba0a97cc10979918d4c909d4a909979920d4890a7c78097c79087c7b0a7c7c0b978808d4980897bb1097cc18d4cb0bd4b8087c790d7c7b0c7c7c0e7c770f979908d4b90997cc10977718d4c707d49707977720d487076f786fa76f396f2ad4a909d4870ad49a0a98aa20d49808978820d4a80852084983788317200a01821738821830821928821a207b67187b68107b69087b6a8217087b673882177b67308217107b67288217187b67209551a0821058821550821648951160320000330750104c0aed33070150104e02ed0049489220248414d249922425494b2a252da9944c49494952525242554a529224499224499224499224499224499224499224499294948644489224212449922449922449922449524a6a9292a442a951a80e09350a551a111129092149922449922449922421294292103512402451926a2429494421d288488a8892244992241549342292448a8824244992244992244992244992244992244992244992244992242949922449922449aa228924499224499224a9242592248924918494524a92244992244992244992244992244992a4244992244992489224511212492249929224499224499224454992249294484992244992942449922429499224499224499224892449928824802415499212a1e44412492449922449924845129224499224499224499224491189444422444444442291482409294992244992244992244992244992244992244992244992244992244992244992524a91482412898888888888888890449224498a888824491289482249922449aca4506a44041051880889484a222280884244484448a1a415a1224d92240920292449092994a4119124254992248924494a929492844a29499224499224499224499224499224495292244992244900494a89242192244992244992244992244992244952944200092049299224499224499224499224499224499224499224499224499224254992244992244992902449922449922449922449529224499224499224499224494a89240124a9a84a9224491229a990144a21499224499224499204908a242449922449922449922449929200922449922449922425894834499292244992942449924425244992244992244992922449922449922449922449922449922449922449922449aa9224494a4992a4a4244992a4858400 d45754f800000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000001a300000000000000000000000000000000000000000000000000000000000000
assertion `left == right` failed: contract execution result mismatch: Exec { result: ContractResult { gas_consumed: Weight { ref_time: 23581755, proof_size: 6191 }, gas_required: Weight { ref_time: 23581755, proof_size: 6191 }, storage_deposit: StorageDeposit::Charge(0), result: Err(Module(ModuleError { index: 3, error: [10, 0, 0, 0], message: Some("ContractTrapped") })) }, wall_time: 1.666962ms }
left: true
right: false
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
Run in remix
0x0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000000021a30000000000000000000000000000000000000000000000000000000000000