2022-10-26 10:13:47 +00:00
|
|
|
{
|
|
|
|
"contracts":
|
|
|
|
{
|
|
|
|
"A":
|
|
|
|
{
|
|
|
|
"C":
|
|
|
|
{
|
|
|
|
"evm":
|
|
|
|
{
|
|
|
|
"bytecode":
|
|
|
|
{
|
|
|
|
"generatedSources": [],
|
|
|
|
"object": "<BYTECODE REMOVED>"
|
|
|
|
},
|
|
|
|
"deployedBytecode":
|
|
|
|
{
|
|
|
|
"object": "<BYTECODE REMOVED>"
|
|
|
|
}
|
|
|
|
},
|
|
|
|
"ir": "
|
2021-08-31 10:57:13 +00:00
|
|
|
/// @use-src 0:\"A\"
|
2020-11-26 21:33:36 +00:00
|
|
|
object \"C_3\" {
|
2020-11-12 01:31:06 +00:00
|
|
|
code {
|
2021-08-31 13:10:40 +00:00
|
|
|
/// @src 0:79:92 \"contract C {}\"
|
2021-09-15 15:01:40 +00:00
|
|
|
mstore(64, memoryguard(128))
|
2021-04-29 14:26:21 +00:00
|
|
|
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2020-11-26 21:33:36 +00:00
|
|
|
constructor_C_3()
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2021-04-29 09:43:27 +00:00
|
|
|
let _1 := allocate_unbounded()
|
|
|
|
codecopy(_1, dataoffset(\"C_3_deployed\"), datasize(\"C_3_deployed\"))
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2021-04-29 09:43:27 +00:00
|
|
|
return(_1, datasize(\"C_3_deployed\"))
|
|
|
|
|
|
|
|
function allocate_unbounded() -> memPtr {
|
|
|
|
memPtr := mload(64)
|
|
|
|
}
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2021-09-07 16:00:20 +00:00
|
|
|
function revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() {
|
|
|
|
revert(0, 0)
|
|
|
|
}
|
|
|
|
|
2021-08-31 13:10:40 +00:00
|
|
|
/// @src 0:79:92 \"contract C {}\"
|
2020-11-26 21:33:36 +00:00
|
|
|
function constructor_C_3() {
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2021-08-31 13:10:40 +00:00
|
|
|
/// @src 0:79:92 \"contract C {}\"
|
2021-05-27 20:05:21 +00:00
|
|
|
|
2020-11-12 01:31:06 +00:00
|
|
|
}
|
2021-08-31 13:10:40 +00:00
|
|
|
/// @src 0:79:92 \"contract C {}\"
|
2020-11-12 01:31:06 +00:00
|
|
|
|
|
|
|
}
|
2021-08-31 10:57:13 +00:00
|
|
|
/// @use-src 0:\"A\"
|
2020-11-26 21:33:36 +00:00
|
|
|
object \"C_3_deployed\" {
|
2020-11-12 01:31:06 +00:00
|
|
|
code {
|
2021-08-31 13:10:40 +00:00
|
|
|
/// @src 0:79:92 \"contract C {}\"
|
2021-09-15 15:01:40 +00:00
|
|
|
mstore(64, memoryguard(128))
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2021-04-29 14:26:21 +00:00
|
|
|
revert_error_42b3090547df1d2001c96683413b8cf91c1b902ef5e3cb8d9f6f304cf7446f74()
|
|
|
|
|
2021-09-07 16:00:20 +00:00
|
|
|
function shift_right_224_unsigned(value) -> newValue {
|
|
|
|
newValue :=
|
|
|
|
|
|
|
|
shr(224, value)
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2021-04-29 14:26:21 +00:00
|
|
|
function allocate_unbounded() -> memPtr {
|
|
|
|
memPtr := mload(64)
|
|
|
|
}
|
|
|
|
|
|
|
|
function revert_error_42b3090547df1d2001c96683413b8cf91c1b902ef5e3cb8d9f6f304cf7446f74() {
|
|
|
|
revert(0, 0)
|
|
|
|
}
|
2020-11-12 01:31:06 +00:00
|
|
|
|
|
|
|
}
|
|
|
|
|
2021-06-08 14:35:37 +00:00
|
|
|
data \".metadata\" hex\"<BYTECODE REMOVED>\"
|
2020-11-12 01:31:06 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2022-10-26 10:13:47 +00:00
|
|
|
"
|
|
|
|
},
|
|
|
|
"D":
|
|
|
|
{
|
|
|
|
"evm":
|
|
|
|
{
|
|
|
|
"bytecode":
|
|
|
|
{
|
|
|
|
"generatedSources": [],
|
|
|
|
"object": "<BYTECODE REMOVED>"
|
|
|
|
},
|
|
|
|
"deployedBytecode":
|
|
|
|
{
|
|
|
|
"object": "<BYTECODE REMOVED>"
|
|
|
|
}
|
|
|
|
},
|
|
|
|
"ir": "
|
2021-08-31 10:57:13 +00:00
|
|
|
/// @use-src 0:\"A\"
|
2020-12-09 14:24:49 +00:00
|
|
|
object \"D_16\" {
|
2020-11-12 01:31:06 +00:00
|
|
|
code {
|
2021-08-31 13:10:40 +00:00
|
|
|
/// @src 0:93:146 \"contract D { function f() public { C c = new C(); } }\"
|
2021-09-15 15:01:40 +00:00
|
|
|
mstore(64, memoryguard(128))
|
2021-04-29 14:26:21 +00:00
|
|
|
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2020-12-09 14:24:49 +00:00
|
|
|
constructor_D_16()
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2021-04-29 09:43:27 +00:00
|
|
|
let _1 := allocate_unbounded()
|
|
|
|
codecopy(_1, dataoffset(\"D_16_deployed\"), datasize(\"D_16_deployed\"))
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2021-04-29 09:43:27 +00:00
|
|
|
return(_1, datasize(\"D_16_deployed\"))
|
|
|
|
|
|
|
|
function allocate_unbounded() -> memPtr {
|
|
|
|
memPtr := mload(64)
|
|
|
|
}
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2021-09-07 16:00:20 +00:00
|
|
|
function revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() {
|
|
|
|
revert(0, 0)
|
|
|
|
}
|
|
|
|
|
2021-08-31 13:10:40 +00:00
|
|
|
/// @src 0:93:146 \"contract D { function f() public { C c = new C(); } }\"
|
2020-12-09 14:24:49 +00:00
|
|
|
function constructor_D_16() {
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2021-08-31 13:10:40 +00:00
|
|
|
/// @src 0:93:146 \"contract D { function f() public { C c = new C(); } }\"
|
2021-05-27 20:05:21 +00:00
|
|
|
|
2020-11-12 01:31:06 +00:00
|
|
|
}
|
2021-08-31 13:10:40 +00:00
|
|
|
/// @src 0:93:146 \"contract D { function f() public { C c = new C(); } }\"
|
2020-11-12 01:31:06 +00:00
|
|
|
|
|
|
|
}
|
2021-08-31 10:57:13 +00:00
|
|
|
/// @use-src 0:\"A\"
|
2020-12-09 14:24:49 +00:00
|
|
|
object \"D_16_deployed\" {
|
2020-11-12 01:31:06 +00:00
|
|
|
code {
|
2021-08-31 13:10:40 +00:00
|
|
|
/// @src 0:93:146 \"contract D { function f() public { C c = new C(); } }\"
|
2021-09-15 15:01:40 +00:00
|
|
|
mstore(64, memoryguard(128))
|
2020-11-12 01:31:06 +00:00
|
|
|
|
|
|
|
if iszero(lt(calldatasize(), 4))
|
|
|
|
{
|
|
|
|
let selector := shift_right_224_unsigned(calldataload(0))
|
|
|
|
switch selector
|
|
|
|
|
|
|
|
case 0x26121ff0
|
|
|
|
{
|
|
|
|
// f()
|
2021-01-04 16:18:09 +00:00
|
|
|
|
2022-02-15 11:20:28 +00:00
|
|
|
external_fun_f_15()
|
2020-11-12 01:31:06 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
default {}
|
|
|
|
}
|
2021-10-12 13:25:28 +00:00
|
|
|
|
2021-04-29 14:26:21 +00:00
|
|
|
revert_error_42b3090547df1d2001c96683413b8cf91c1b902ef5e3cb8d9f6f304cf7446f74()
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2021-09-07 16:00:20 +00:00
|
|
|
function shift_right_224_unsigned(value) -> newValue {
|
|
|
|
newValue :=
|
|
|
|
|
|
|
|
shr(224, value)
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
function allocate_unbounded() -> memPtr {
|
|
|
|
memPtr := mload(64)
|
|
|
|
}
|
|
|
|
|
|
|
|
function revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() {
|
|
|
|
revert(0, 0)
|
|
|
|
}
|
|
|
|
|
|
|
|
function revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b() {
|
|
|
|
revert(0, 0)
|
|
|
|
}
|
|
|
|
|
2020-11-12 01:31:06 +00:00
|
|
|
function abi_decode_tuple_(headStart, dataEnd) {
|
2021-04-29 14:26:21 +00:00
|
|
|
if slt(sub(dataEnd, headStart), 0) { revert_error_dbdddcbe895c83990c08b3492a0e83918d802a52331272ac6fdb6a7c4aea3b1b() }
|
2020-11-12 01:31:06 +00:00
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
function abi_encode_tuple__to__fromStack(headStart ) -> tail {
|
|
|
|
tail := add(headStart, 0)
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2022-02-15 11:20:28 +00:00
|
|
|
function external_fun_f_15() {
|
|
|
|
|
|
|
|
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
|
|
|
|
abi_decode_tuple_(4, calldatasize())
|
|
|
|
fun_f_15()
|
|
|
|
let memPos := allocate_unbounded()
|
|
|
|
let memEnd := abi_encode_tuple__to__fromStack(memPos )
|
|
|
|
return(memPos, sub(memEnd, memPos))
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2021-09-07 16:00:20 +00:00
|
|
|
function revert_error_42b3090547df1d2001c96683413b8cf91c1b902ef5e3cb8d9f6f304cf7446f74() {
|
|
|
|
revert(0, 0)
|
|
|
|
}
|
|
|
|
|
|
|
|
function panic_error_0x41() {
|
|
|
|
mstore(0, 35408467139433450592217433187231851964531694900788300625387963629091585785856)
|
|
|
|
mstore(4, 0x41)
|
|
|
|
revert(0, 0x24)
|
|
|
|
}
|
|
|
|
|
|
|
|
function revert_forward_1() {
|
|
|
|
let pos := allocate_unbounded()
|
|
|
|
returndatacopy(pos, 0, returndatasize())
|
|
|
|
revert(pos, returndatasize())
|
2021-01-14 16:27:55 +00:00
|
|
|
}
|
|
|
|
|
2021-09-15 15:40:11 +00:00
|
|
|
/// @ast-id 15
|
2021-08-31 13:10:40 +00:00
|
|
|
/// @src 0:106:144 \"function f() public { C c = new C(); }\"
|
2020-12-09 14:24:49 +00:00
|
|
|
function fun_f_15() {
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2021-08-31 13:10:40 +00:00
|
|
|
/// @src 0:134:141 \"new C()\"
|
2021-01-14 16:27:55 +00:00
|
|
|
let _1 := allocate_unbounded()
|
2020-11-26 21:33:36 +00:00
|
|
|
let _2 := add(_1, datasize(\"C_3\"))
|
2020-11-17 17:59:15 +00:00
|
|
|
if or(gt(_2, 0xffffffffffffffff), lt(_2, _1)) { panic_error_0x41() }
|
2020-11-26 21:33:36 +00:00
|
|
|
datacopy(_1, dataoffset(\"C_3\"), datasize(\"C_3\"))
|
2020-11-12 01:31:06 +00:00
|
|
|
_2 := abi_encode_tuple__to__fromStack(_2)
|
|
|
|
|
2020-12-09 14:24:49 +00:00
|
|
|
let expr_12_address := create(0, _1, sub(_2, _1))
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2020-12-09 14:24:49 +00:00
|
|
|
if iszero(expr_12_address) { revert_forward_1() }
|
2020-11-24 16:02:02 +00:00
|
|
|
|
2021-08-31 13:10:40 +00:00
|
|
|
/// @src 0:128:141 \"C c = new C()\"
|
2021-01-25 15:57:25 +00:00
|
|
|
let var_c_8_address := expr_12_address
|
2020-11-12 01:31:06 +00:00
|
|
|
|
|
|
|
}
|
2021-08-31 13:10:40 +00:00
|
|
|
/// @src 0:93:146 \"contract D { function f() public { C c = new C(); } }\"
|
2020-11-12 01:31:06 +00:00
|
|
|
|
|
|
|
}
|
|
|
|
|
2021-08-31 10:57:13 +00:00
|
|
|
/// @use-src 0:\"A\"
|
2020-11-26 21:33:36 +00:00
|
|
|
object \"C_3\" {
|
2020-11-12 01:31:06 +00:00
|
|
|
code {
|
2021-08-31 13:10:40 +00:00
|
|
|
/// @src 0:79:92 \"contract C {}\"
|
2021-09-15 15:01:40 +00:00
|
|
|
mstore(64, memoryguard(128))
|
2021-04-29 14:26:21 +00:00
|
|
|
if callvalue() { revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() }
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2020-11-26 21:33:36 +00:00
|
|
|
constructor_C_3()
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2021-04-29 09:43:27 +00:00
|
|
|
let _1 := allocate_unbounded()
|
|
|
|
codecopy(_1, dataoffset(\"C_3_deployed\"), datasize(\"C_3_deployed\"))
|
|
|
|
|
|
|
|
return(_1, datasize(\"C_3_deployed\"))
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2021-04-29 09:43:27 +00:00
|
|
|
function allocate_unbounded() -> memPtr {
|
|
|
|
memPtr := mload(64)
|
|
|
|
}
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2021-09-07 16:00:20 +00:00
|
|
|
function revert_error_ca66f745a3ce8ff40e2ccaf1ad45db7774001b90d25810abd9040049be7bf4bb() {
|
|
|
|
revert(0, 0)
|
|
|
|
}
|
|
|
|
|
2021-08-31 13:10:40 +00:00
|
|
|
/// @src 0:79:92 \"contract C {}\"
|
2020-11-26 21:33:36 +00:00
|
|
|
function constructor_C_3() {
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2021-08-31 13:10:40 +00:00
|
|
|
/// @src 0:79:92 \"contract C {}\"
|
2021-05-27 20:05:21 +00:00
|
|
|
|
2020-11-12 01:31:06 +00:00
|
|
|
}
|
2021-08-31 13:10:40 +00:00
|
|
|
/// @src 0:79:92 \"contract C {}\"
|
2020-11-12 01:31:06 +00:00
|
|
|
|
|
|
|
}
|
2021-08-31 10:57:13 +00:00
|
|
|
/// @use-src 0:\"A\"
|
2020-11-26 21:33:36 +00:00
|
|
|
object \"C_3_deployed\" {
|
2020-11-12 01:31:06 +00:00
|
|
|
code {
|
2021-08-31 13:10:40 +00:00
|
|
|
/// @src 0:79:92 \"contract C {}\"
|
2021-09-15 15:01:40 +00:00
|
|
|
mstore(64, memoryguard(128))
|
2020-11-12 01:31:06 +00:00
|
|
|
|
2021-04-29 14:26:21 +00:00
|
|
|
revert_error_42b3090547df1d2001c96683413b8cf91c1b902ef5e3cb8d9f6f304cf7446f74()
|
|
|
|
|
2021-09-07 16:00:20 +00:00
|
|
|
function shift_right_224_unsigned(value) -> newValue {
|
|
|
|
newValue :=
|
|
|
|
|
|
|
|
shr(224, value)
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2021-04-29 14:26:21 +00:00
|
|
|
function allocate_unbounded() -> memPtr {
|
|
|
|
memPtr := mload(64)
|
|
|
|
}
|
|
|
|
|
|
|
|
function revert_error_42b3090547df1d2001c96683413b8cf91c1b902ef5e3cb8d9f6f304cf7446f74() {
|
|
|
|
revert(0, 0)
|
|
|
|
}
|
2020-11-12 01:31:06 +00:00
|
|
|
|
|
|
|
}
|
|
|
|
|
2021-06-08 14:35:37 +00:00
|
|
|
data \".metadata\" hex\"<BYTECODE REMOVED>\"
|
2020-11-12 01:31:06 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2021-06-08 14:35:37 +00:00
|
|
|
data \".metadata\" hex\"<BYTECODE REMOVED>\"
|
2020-11-12 01:31:06 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2022-10-26 10:13:47 +00:00
|
|
|
"
|
|
|
|
}
|
|
|
|
}
|
|
|
|
},
|
|
|
|
"errors":
|
|
|
|
[
|
|
|
|
{
|
|
|
|
"component": "general",
|
|
|
|
"errorCode": "2072",
|
|
|
|
"formattedMessage": "Warning: Unused local variable.
|
2020-12-09 14:24:49 +00:00
|
|
|
--> A:2:93:
|
|
|
|
|
|
|
|
|
2 | pragma solidity >=0.0; pragma abicoder v2; contract C {} contract D { function f() public { C c = new C(); } }
|
|
|
|
| ^^^
|
|
|
|
|
2022-10-26 10:13:47 +00:00
|
|
|
",
|
|
|
|
"message": "Unused local variable.",
|
|
|
|
"severity": "warning",
|
|
|
|
"sourceLocation":
|
|
|
|
{
|
|
|
|
"end": 131,
|
|
|
|
"file": "A",
|
|
|
|
"start": 128
|
|
|
|
},
|
|
|
|
"type": "Warning"
|
|
|
|
}
|
|
|
|
],
|
|
|
|
"sources":
|
|
|
|
{
|
|
|
|
"A":
|
|
|
|
{
|
|
|
|
"id": 0
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|