Subway2023

## Description Unable to correctly determine that the current balance is 0 after transferring out all balances. ## Environment - Compiler version: 0.8.25 - Target EVM version (as per compiler...

IR-based Codegen fails to generate bin at version of 0820

1

## Description When I want to reproduce this bug [AbiReencodingHeadOverflowWithStaticArrayCleanup](https://github.com/ethereum/solidity/blob/develop/docs/bugs.json#L53), I find that IR-based Codegen fails to generate bin under version of 0821. However, if I use solc-0821, IR-based Codegen...

## Description When I try to reproduce this bug [DataLocationChangeInInternalOverride](https://soliditylang.org/blog/2022/05/17/data-location-inheritance-bug/) I find that IR-based Codegen fails to compile at version of 0.8.13. ## Environment - Compiler version: 0.8.13 - Target...

## Description [0.7.4 release](https://github.com/ethereum/solidity/releases?page=3) claims that the SMTChecker supports the keccak256 function. However, SMTChecker cannot accurately assess the output value of keccak256. ## Environment - Compiler version: 0.8.25 - Target...

## Description [0.8.14 release](https://github.com/ethereum/solidity/releases?page=2) claims that the SMTChecker supports the abi.encodeCall. However, when using abi.encodeCall to encode function, SMTChecker will crash ## Environment - Compiler version: 0.8.25 - Target EVM...

## Description When handling overflow in **mload**, **keccak256**, the Optimizer can enable the code to run normally. However, when dealing with **mstore**, and **extcodecopy** opcodes, the Optimizer fails to prevent...

Resuming compilation from AST import does not produce identical metadata

1

## Description AST import leads to inconsistent bytecode. ## Environment - Compiler version: 0.8.25 - Target EVM version (as per compiler settings): No restrictions - Framework/IDE: Command-line - EVM execution...

AbiCoder v1 incorrectly encodes arrays containing overflow values

1

## Description When using assembly statements to assign a value that exceeds the array range to an array, AbiCoder v1 fails to encode the return value correctly when returning the...

## Description When I compile a specific Solidity program and execute it using --import-ast, there is a situation of inconsistent memory. However, if I add --metadata-hash none, this issue does...

## Description ## Environment - Compiler version: 0.8.25 - Target EVM version (as per compiler settings): None - Framework/IDE (e.g. Truffle or Remix): None - EVM execution environment / backend...