cerc-io/solidity
15
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Test for crash via inlining.

Browse Source
This commit is contained in:
chriseth 2018-10-16 17:29:20 +02:00
parent e2e4a9fe81
commit a435a14e13
1 changed files with 84 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

84
test/libyul/yulOptimizerTests/fullInliner/multi_fun_callback.yul Normal file
View File

@ -0,0 +1,84 @@
{
// This is a test for an older version where
// inlining was performed on a function
// just being called. This is a problem
// because the statemenst of the original
// function might be in an invalid state.
function f(x) {
mstore(0, x)
mstore(7, h())
g(10)
mstore(1, x)
}
function g(x) {
f(1)
}
function h() -> t {
t := 2
}
{
f(100)
}
}
// ----
// fullInliner
// {
// {
// {
// let f_x_1 := 100
// mstore(0, f_x_1)
// let f_h_t
// f_h_t := 2
// mstore(7, f_h_t)
// let f__5 := 10
// let f_g_x_1 := f__5
// let f_g_f_x := 1
// let
// mstore()
// let f_g_f_ := h()
// let
// mstore()
// let
// g(f__5)
// mstore(1, f_g_f_x)
// mstore(1, f_x_1)
// }
// }
// function f(x)
// {
// mstore(0, x)
// let h_t
// h_t := 2
// mstore(7, h_t)
// let _5 := 10
// let g_x_1 := _5
// let g_f_x := 1
// let
// mstore()
// let g_f_ := h()
// let
// mstore()
// let
// g(_5)
// mstore(1, g_f_x)
// mstore(1, x)
// }
// function g(x_1)
// {
// let f_x := 1
// let
// mstore()
// let f_ := h()
// let
// mstore()
// let
// g(_5)
// mstore(1, f_x)
// }
// function h() -> t
// {
// t := 2
// }
// }