Merge pull request #527 from lambdaclass/fix-compiler-tester-bugs

[EVM-Equivalence-YUL] Fix compiler tester bugs
matter-labs · Jul 5, 2024 · e730132 · e730132
2 parents 45d2c6d + de9afeb
commit e730132
Show file tree

Hide file tree

Showing 4 changed files with 1,295 additions and 936 deletions.
diff --git a/system-contracts/contracts/EvmInterpreter.template.yul b/system-contracts/contracts/EvmInterpreter.template.yul
@@ -141,6 +141,7 @@ object "EVMInterpreter" {
             if eq(isCallerEVM, 1) {
                 // Includes gas
                 returnOffset := sub(returnOffset, 32)
+                checkOverflow(returnLen, 32, evmGasLeft)
                 returnLen := add(returnLen, 32)
 
                 mstore(returnOffset, evmGasLeft)