pezkuwichain/revive
1
0
Fork 0
mirror of https://github.com/pezkuwichain/revive.git synced 2026-06-13 06:01:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

llvm-context: bugfix PHI values in SAR builtin translation (#345)

Browse Source 
Closes #344

Signed-off-by: xermicus <cyrill@parity.io>
This commit is contained in:
xermicus
2025-06-14 15:12:03 +02:00
committed by GitHub
parent 63f0266fff
commit 8754d802fa
4 changed files with 63 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
crates/integration/src/tests.rs
+1
View File
@@ -60,6 +60,7 @@ test_spec!(mload, "MLoad", "MLoad.sol");
test_spec!(delegate_no_contract, "DelegateCaller", "DelegateCaller.sol");
test_spec!(function_type, "FunctionType", "FunctionType.sol");
test_spec!(layout_at, "LayoutAt", "LayoutAt.sol");
test_spec!(shift_arithmetic_right, "SAR", "SAR.sol");
fn instantiate(path: &str, contract: &str) -> Vec<SpecsAction> {
vec![Instantiate {