English documentation updates up to v0.8.35-160-gd8fbf3676 (2026-06-29) - #202
Open
github-actions[bot] wants to merge 695 commits into
Open
English documentation updates up to v0.8.35-160-gd8fbf3676 (2026-06-29)#202github-actions[bot] wants to merge 695 commits into
github-actions[bot] wants to merge 695 commits into
Conversation
SSA stack shuffler returns a status
After fixing tail, when we are trying to fix args, it is not possible anymore that the stack top would be required in tail but not present there yet. Thus, we can assert this and delete logic that assumed this could occur.
SSA: Remove unnecessary shuffling logic
Previously, when we were trying to detect if all slots are reachable or final, we were checking only target slots that are filled at the current moment. However, we need to check *all* the target slots, even those beoynd the current stack size. Previous behaviour meant we were not shrinking the stack as much as was required in some situations and the shuffling went into a loop. With this fix most of the examples that were looping previously are now successful.
SSA: Fix cycle in stack shuffler
Previously, when growing the current stack, we would always grow if we can put a slot on top that is expected there in the target. However, if we have something in the args that still need to be fixed and would go out of reach, we should skip this step and focus on fixing the deep arg first. This also fixes the last cycling behaviour in our tests.
SSA: More controlled stack growing in shuffler
…-up is needed, so it doesn't have to be a valid swap target itself
Fix SSA CFG shuffler oscillation
a deep phi needs to be lifted into args but isn't as the stack is shrunk which leads to a different deficit
…ArgsSlot A slot should only be duped up if it isn't already in place while scanning from args low -> high what is missing. The fix is guarded by `dupDeepSlotIfRequired`, i.e., whatever is duped, nothing vital can go out of range.
Fix SSA stack shuffler oscillation
…-existing-conventions Make ethdebug inputs/outputs consistent
… something out of tail
…ots-reachable-should-ignore-junk SSA shuffler: "all necessary slots reachable" should ignore junk
…rements SSA: Strengthen shuffler requirements
…p reachable duplicates as last resort
…ready fixed slot out of position to fix a deeper position in args
… of reach invalid slots
…o-deep-case SSA CFG Shuffler: fix spurious stack too deep when deep arg slots need repositioning
Commit 49e295d fixed a bug in SMTChecker, but a changelog entry was not added. This is the missing changelog entry for that fix.
Add forgotten changelog entry
Remove EOF: bytecodeFormat setting from tests
…eFunction The two existing solAsserts bound _numBytes and _shiftBytes individually, but the emitted mask ((1 << numBits) - 1) << shiftBits is only well-defined when _numBytes + _shiftBytes <= 32. Add the combined assert as a guard against future regressions.
…slice-combined-assert YulUtilFunctions: assert combined byte slice extent in updateByteSliceFunction
This helper exchanges two non-top elements on the stack. They must be in swap range. The exchange is simulated by three swaps.
This methods searches through non-top args slots on the stack and tries to find one that is not required to be there. This means we can swap something that wants to be in args with this slot.
Previously, it was possible for the shuffler to loop because it would duplicate an element that is needed in args and not needed in tail. If this would make the stack too large, the shrinking code would immediately remove the duplicated slot and these two steps would loop indefinitely. If we need to bring something from tail to args, but we actually don't need it in the tail. We can try to swap it instead of dupping. For that we need to find something in args that does not need to be there. We can then swap these slots.
SSA-CFG: Modify shuffler to prevent shuffling cycle
The stack layout generator no longer declares the slots that are dead before an operation as junk. They are instead left on the stack and popped as surplus by the shuffle to the optimal target, which tends to free stack space and reduce spilling. It also removes cases in which the shuffle input in the code transform diverges from the shuffle input in the stack layout generator.
SSACFG Stack layout generation: Drop per-operation junk declaration
Remove unused includes from OptimiserSettings.h
…d slots for a user-defined call that can continue
SSA CFG spill: fix miscounting in spill set
This test demonstrated incorrect behaviour where a large number for the optimizer runs on input is saved in the metadata as negative number. Note `-1` as the value of `runs` field.
Optimiser setting `expectedExecutionsPerDeployment` and its JSON counterpart were using different types and this could result in some unexpected situation. `expectedExecutionsPerDeployment` used (unsigned) `size_t`, but JSON serialization used signed `Json:number_integer_t`. Providing large enough number for the setting yielded negative number serialized in the contract's metadata. A negative number would be rejected as input to the compiler, breaking the round-trip. Here we propose a strict requirement that the type used in the JSON library and the internal optimiser setting is the same, avoiding any potential mismatch in the future.
Previously, this parameter was parsed as of type `unsigned`, but internally stored as `std::uint64_t` (actually `size_t`, but we fixed that in a previous commit). Here we propose for the parameter to use the same type as is used internally to store the value. This unifies the behaviour of CLI and Standard JSON interface. As a consequence, CLI will now accept values larger than UINT32_MAX, which were rejected before.
…zation-deserialization Interface: Fix type of optimiser setting
Replace the restart-based spill-discovery loops with a single shuffle that resolves stuck states in place. A failure leaf whose culprit is not yet active spills it and continues, instead of surfacing StackTooDeep and forcing the caller to restart from scratch.
SSA CFG: Run stack layout generator to a fixed point over spill set
# Conflicts: # .circleci/compare_bytecode_reports.sh # .circleci/config.yml # .circleci/osx_install_dependencies.sh # .circleci/parallel_bytecode_report.sh # .circleci/soltest_all.sh # .github/workflows/buildpack-deps.yml # .github/workflows/stale.yml # .github/workflows/welcome-external-pr.yml # .gitignore # .gitmodules # CODING_STYLE.md # Changelog.md # README.md # ReleaseChecklist.md # SECURITY.md # cmake/EthDependencies.cmake # deps/fmtlib # deps/nlohmann-json # docs/050-breaking-changes.rst # docs/060-breaking-changes.rst # docs/070-breaking-changes.rst # docs/080-breaking-changes.rst # docs/assembly.rst # docs/bugs.rst # docs/cheatsheet.rst # docs/common-patterns.rst # docs/contracts/custom-storage-layout.rst # docs/contracts/functions.rst # docs/contracts/inheritance.rst # docs/contributing.rst # docs/control-structures.rst # docs/examples/blind-auction.rst # docs/examples/safe-remote.rst # docs/index.rst # docs/installing-solidity.rst # docs/internals/optimizer.rst # docs/introduction-to-smart-contracts.rst # docs/layout-of-source-files.rst # docs/metadata.rst # docs/path-resolution.rst # docs/security-considerations.rst # docs/smtchecker.rst # docs/types/value-types.rst # docs/units-and-global-variables.rst # docs/using-the-compiler.rst # docs/yul.rst # libevmasm/AbstractAssemblyStack.h # libevmasm/Assembly.cpp # libevmasm/Assembly.h # libevmasm/AssemblyItem.cpp # libevmasm/AssemblyItem.h # libevmasm/BlockDeduplicator.cpp # libevmasm/CommonSubexpressionEliminator.cpp # libevmasm/CommonSubexpressionEliminator.h # libevmasm/ConstantOptimiser.cpp # libevmasm/ConstantOptimiser.h # libevmasm/EVMAssemblyStack.cpp # libevmasm/EVMAssemblyStack.h # libevmasm/Ethdebug.cpp # libevmasm/Ethdebug.h # libevmasm/EthdebugSchema.cpp # libevmasm/EthdebugSchema.h # libevmasm/GasMeter.cpp # libevmasm/Inliner.h # libevmasm/Instruction.cpp # libevmasm/Instruction.h # libevmasm/JumpdestRemover.cpp # libevmasm/LinkerObject.h # libevmasm/PeepholeOptimiser.cpp # libevmasm/SemanticInformation.cpp # libevmasm/SimplificationRule.h # liblangutil/EVMVersion.cpp # liblangutil/EVMVersion.h # liblangutil/Token.cpp # liblangutil/Token.h # libsolidity/analysis/ConstantEvaluator.cpp # libsolidity/analysis/ConstantEvaluator.h # libsolidity/analysis/ControlFlowBuilder.h # libsolidity/analysis/DeclarationTypeChecker.cpp # libsolidity/analysis/DocStringTagParser.cpp # libsolidity/analysis/GlobalContext.cpp # libsolidity/analysis/NameAndTypeResolver.cpp # libsolidity/analysis/PostTypeContractLevelChecker.cpp # libsolidity/analysis/StaticAnalyzer.cpp # libsolidity/analysis/SyntaxChecker.cpp # libsolidity/analysis/SyntaxChecker.h # libsolidity/analysis/TypeChecker.cpp # libsolidity/analysis/TypeChecker.h # libsolidity/ast/AST.cpp # libsolidity/ast/AST.h # libsolidity/ast/ASTJsonExporter.cpp # libsolidity/ast/ASTJsonImporter.cpp # libsolidity/ast/ASTJsonImporter.h # libsolidity/ast/ASTUtils.cpp # libsolidity/ast/ASTUtils.h # libsolidity/ast/Types.cpp # libsolidity/ast/Types.h # libsolidity/codegen/ABIFunctions.h # libsolidity/codegen/ArrayUtils.cpp # libsolidity/codegen/ArrayUtils.h # libsolidity/codegen/Compiler.h # libsolidity/codegen/CompilerContext.cpp # libsolidity/codegen/CompilerContext.h # libsolidity/codegen/CompilerUtils.cpp # libsolidity/codegen/ContractCompiler.cpp # libsolidity/codegen/ContractCompiler.h # libsolidity/codegen/ExpressionCompiler.cpp # libsolidity/codegen/LValue.cpp # libsolidity/codegen/YulUtilFunctions.cpp # libsolidity/codegen/YulUtilFunctions.h # libsolidity/codegen/ir/IRGenerationContext.cpp # libsolidity/codegen/ir/IRGenerationContext.h # libsolidity/codegen/ir/IRGenerator.cpp # libsolidity/codegen/ir/IRGenerator.h # libsolidity/codegen/ir/IRGeneratorForStatements.cpp # libsolidity/experimental/analysis/Analysis.cpp # libsolidity/experimental/codegen/IRGenerator.cpp # libsolidity/experimental/codegen/IRGenerator.h # libsolidity/formal/SMTEncoder.cpp # libsolidity/interface/CompilerStack.cpp # libsolidity/interface/CompilerStack.h # libsolidity/interface/GasEstimator.cpp # libsolidity/interface/ImportRemapper.h # libsolidity/interface/Natspec.h # libsolidity/interface/OptimiserSettings.h # libsolidity/interface/StandardCompiler.cpp # libsolidity/interface/StandardCompiler.h # libsolidity/parsing/Parser.cpp # libsolidity/parsing/Parser.h # libsolutil/Assertions.h # libsolutil/Common.h # libsolutil/DisjointSet.cpp # libsolutil/DisjointSet.h # libsolutil/Exceptions.h # libsolutil/JSON.cpp # libsolutil/StringUtils.cpp # libsolutil/StringUtils.h # libsolutil/Whiskers.cpp # libsolutil/picosha2.h # libyul/AsmAnalysis.cpp # libyul/AsmAnalysis.h # libyul/AsmAnalysisInfo.h # libyul/CMakeLists.txt # libyul/ControlFlowSideEffectsCollector.cpp # libyul/ControlFlowSideEffectsCollector.h # libyul/FunctionReferenceResolver.h # libyul/Object.cpp # libyul/ObjectOptimizer.cpp # libyul/ObjectOptimizer.h # libyul/YulStack.cpp # libyul/YulStack.h # libyul/backends/evm/AbstractAssembly.h # libyul/backends/evm/AsmCodeGen.cpp # libyul/backends/evm/AsmCodeGen.h # libyul/backends/evm/ControlFlowGraphBuilder.cpp # libyul/backends/evm/ControlFlowGraphBuilder.h # libyul/backends/evm/EVMBuiltins.cpp # libyul/backends/evm/EVMBuiltins.h # libyul/backends/evm/EVMCodeTransform.cpp # libyul/backends/evm/EVMDialect.cpp # libyul/backends/evm/EVMDialect.h # libyul/backends/evm/EVMObjectCompiler.cpp # libyul/backends/evm/EVMObjectCompiler.h # libyul/backends/evm/EthAssemblyAdapter.cpp # libyul/backends/evm/EthAssemblyAdapter.h # libyul/backends/evm/NoOutputAssembly.cpp # libyul/backends/evm/NoOutputAssembly.h # libyul/backends/evm/OptimizedEVMCodeTransform.cpp # libyul/backends/evm/OptimizedEVMCodeTransform.h # libyul/backends/evm/StackHelpers.h # libyul/backends/evm/StackLayoutGenerator.cpp # libyul/backends/evm/StackLayoutGenerator.h # libyul/backends/evm/ssa/ControlFlowGraphs.cpp # libyul/backends/evm/ssa/LivenessAnalysis.h # libyul/backends/evm/ssa/SSACFGBuilder.h # libyul/backends/evm/ssa/SSACFGLoopNestingForest.cpp # libyul/backends/evm/ssa/SSACFGLoopNestingForest.h # libyul/backends/evm/ssa/traversal/ForwardTopologicalSort.cpp # libyul/optimiser/ASTCopier.cpp # libyul/optimiser/ConditionalSimplifier.cpp # libyul/optimiser/ExpressionInliner.h # libyul/optimiser/OptimizerUtilities.cpp # libyul/optimiser/StackCompressor.cpp # libyul/optimiser/StackLimitEvader.cpp # libyul/optimiser/Suite.cpp # libyul/optimiser/Suite.h # libyul/optimiser/VarNameCleaner.cpp # libyul/optimiser/VarNameCleaner.h # scripts/ASTImportTest.sh # scripts/Dockerfile # scripts/Dockerfile_alpine # scripts/build.sh # scripts/build_emscripten.sh # scripts/check_style.sh # scripts/ci/build.sh # scripts/ci/build_emscripten.sh # scripts/ci/build_ossfuzz.sh # scripts/ci/buildpack-deps_test_ubuntu2404.arm.sh # scripts/ci/docker_upgrade.sh # scripts/codespell_whitelist.txt # scripts/common.sh # scripts/common/rest_api_helpers.py # scripts/create_source_tarball.sh # scripts/docker/buildpack-deps/Dockerfile.emscripten # scripts/docker/buildpack-deps/Dockerfile.ubuntu.clang.ossfuzz # scripts/docker/buildpack-deps/Dockerfile.ubuntu2404 # scripts/docker/buildpack-deps/Dockerfile.ubuntu2404.clang # scripts/docker_deploy_manual.sh # scripts/docs_version_pragma_check.sh # scripts/download_ossfuzz_corpus.sh # scripts/externalTests/common.sh # scripts/externalTests/download_benchmarks.py # scripts/externalTests/parse_eth_gas_report.py # scripts/externalTests/runners/base.py # scripts/gas_diff_stats.py # scripts/install_deps.ps1 # scripts/install_evmone.ps1 # scripts/run_proofs.sh # scripts/solc-bin/bytecode_reports_for_modified_binaries.sh # scripts/splitSources.py # scripts/test_antlr_grammar.sh # scripts/tests.sh # scripts/wasm-rebuild/docker-scripts/isolate_tests.py # scripts/wasm-rebuild/docker-scripts/rebuild_tags.sh # solc/CommandLineInterface.cpp # solc/CommandLineInterface.h # solc/CommandLineParser.cpp # solc/CommandLineParser.h # test/CMakeLists.txt # test/Common.cpp # test/Common.h # test/EVMHost.cpp # test/ExecutionFramework.cpp # test/InteractiveTests.h # test/TestCase.cpp # test/TestCase.h # test/buglistTests.js # test/cmdlineTests.sh # test/cmdlineTests/asm_json_import_sourcelist_with_null_elements/args # test/cmdlineTests/asm_json_yul_export_evm_asm_import/args # test/cmdlineTests/ast_ir/args # test/cmdlineTests/ast_json_import_wrong_evmVersion/args # test/cmdlineTests/ethdebug_debuginfo_ssa_cfg/exit # test/cmdlineTests/ethdebug_debuginfo_ssa_cfg/input.sol # test/cmdlineTests/ethdebug_debuginfo_without_experimental_flag/exit # test/cmdlineTests/ethdebug_on_abstract/args # test/cmdlineTests/ethdebug_on_abstract/output # test/cmdlineTests/ethdebug_on_interface/args # test/cmdlineTests/ethdebug_on_interface/output # test/cmdlineTests/evm_version_future_no_experimental_mode/exit # test/cmdlineTests/import_asm_json_all_valid_flags/args # test/cmdlineTests/import_asm_json_difficulty_prevrandao/args # test/cmdlineTests/import_asm_json_hex_subassembly_indices/args # test/cmdlineTests/import_asm_json_invalid_data_not_hex/args # test/cmdlineTests/import_asm_json_invalid_data_not_object/args # test/cmdlineTests/import_asm_json_invalid_jumptype_instruction/args # test/cmdlineTests/import_asm_json_invalid_value/args # test/cmdlineTests/import_asm_json_missing_subobject_indices/args # test/cmdlineTests/import_asm_json_no_optimize/args # test/cmdlineTests/import_asm_json_no_value/args # test/cmdlineTests/import_asm_json_non_unique_sources/args # test/cmdlineTests/import_asm_json_optimize/args # test/cmdlineTests/import_asm_json_out_of_range_data_index/args # test/cmdlineTests/import_asm_json_random_order_data_index/args # test/cmdlineTests/import_asm_json_unrecognized_field/args # test/cmdlineTests/import_asm_json_untagged_jumpdest/args # test/cmdlineTests/import_asm_json_verbatim/args # test/cmdlineTests/import_asm_json_yul_more_subobjects/args # test/cmdlineTests/import_asm_json_yul_subobjects/args # test/cmdlineTests/metadata/output # test/cmdlineTests/model_checker_targets_all_all_engines/err # test/cmdlineTests/model_checker_targets_all_bmc/err # test/cmdlineTests/model_checker_targets_all_chc/err # test/cmdlineTests/model_checker_targets_assert_bmc/err # test/cmdlineTests/model_checker_targets_assert_chc/err # test/cmdlineTests/model_checker_targets_assert_chc/input.sol # test/cmdlineTests/model_checker_targets_balance_bmc/err # test/cmdlineTests/model_checker_targets_balance_chc/err # test/cmdlineTests/model_checker_targets_constant_condition_bmc/err # test/cmdlineTests/model_checker_targets_constant_condition_chc/input.sol # test/cmdlineTests/model_checker_targets_default_all_engines/err # test/cmdlineTests/model_checker_targets_default_bmc/err # test/cmdlineTests/model_checker_targets_default_chc/err # test/cmdlineTests/model_checker_targets_div_by_zero_bmc/err # test/cmdlineTests/model_checker_targets_div_by_zero_chc/err # test/cmdlineTests/model_checker_targets_div_by_zero_chc/input.sol # test/cmdlineTests/model_checker_targets_error/input.sol # test/cmdlineTests/model_checker_targets_out_of_bounds_chc/err # test/cmdlineTests/model_checker_targets_out_of_bounds_chc/input.sol # test/cmdlineTests/model_checker_targets_overflow_bmc/err # test/cmdlineTests/model_checker_targets_overflow_chc/err # test/cmdlineTests/model_checker_targets_overflow_chc/input.sol # test/cmdlineTests/model_checker_targets_pop_empty_chc/err # test/cmdlineTests/model_checker_targets_pop_empty_chc/input.sol # test/cmdlineTests/model_checker_targets_underflow_bmc/err # test/cmdlineTests/model_checker_targets_underflow_chc/err # test/cmdlineTests/model_checker_targets_underflow_chc/input.sol # test/cmdlineTests/model_checker_targets_underflow_overflow_assert_bmc/err # test/cmdlineTests/model_checker_targets_underflow_overflow_assert_chc/err # test/cmdlineTests/model_checker_targets_underflow_overflow_assert_chc/input.sol # test/cmdlineTests/model_checker_targets_underflow_overflow_bmc/err # test/cmdlineTests/model_checker_targets_underflow_overflow_chc/err # test/cmdlineTests/model_checker_targets_underflow_overflow_chc/input.sol # test/cmdlineTests/standard_cli_import_ast_storage_layout_specifier_missing_expression/args # test/cmdlineTests/standard_debug_info_in_yul_location/output.json # test/cmdlineTests/standard_import_asm_json/input.json # test/cmdlineTests/standard_import_asm_json_immutable_references/input.json # test/cmdlineTests/standard_import_asm_json_invalid_opcode/input.json # test/cmdlineTests/standard_import_asm_json_link_references/input.json # test/cmdlineTests/standard_import_asm_json_no_optimize/input.json # test/cmdlineTests/standard_import_asm_json_no_optimize/output.json # test/cmdlineTests/standard_import_asm_json_no_output_selection/input.json # test/cmdlineTests/standard_import_asm_json_optimize/input.json # test/cmdlineTests/standard_import_asm_json_optimize/output.json # test/cmdlineTests/standard_import_ast/input.json # test/cmdlineTests/standard_import_ast_select_bytecode/input.json # test/cmdlineTests/standard_import_with_comments/input.json # test/cmdlineTests/standard_import_with_comments_simple/input.json # test/cmdlineTests/standard_irOptimized_ast_requested/input.json # test/cmdlineTests/standard_ir_ast_requested/input.json # test/cmdlineTests/standard_metadata/output.json # test/cmdlineTests/standard_metadata_large_optimizer_runs/args # test/cmdlineTests/standard_model_checker_targets_assert_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_assert_chc/input.json # test/cmdlineTests/standard_model_checker_targets_assert_chc/output.json # test/cmdlineTests/standard_model_checker_targets_balance_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_balance_chc/output.json # test/cmdlineTests/standard_model_checker_targets_constantCondition_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_constantCondition_chc/input.json # test/cmdlineTests/standard_model_checker_targets_default_all_engines/output.json # test/cmdlineTests/standard_model_checker_targets_default_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_default_chc/output.json # test/cmdlineTests/standard_model_checker_targets_div_by_zero_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_div_by_zero_chc/input.json # test/cmdlineTests/standard_model_checker_targets_div_by_zero_chc/output.json # test/cmdlineTests/standard_model_checker_targets_empty_array/input.json # test/cmdlineTests/standard_model_checker_targets_out_of_bounds_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_out_of_bounds_chc/input.json # test/cmdlineTests/standard_model_checker_targets_out_of_bounds_chc/output.json # test/cmdlineTests/standard_model_checker_targets_overflow_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_overflow_chc/input.json # test/cmdlineTests/standard_model_checker_targets_overflow_chc/output.json # test/cmdlineTests/standard_model_checker_targets_pop_empty_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_pop_empty_chc/input.json # test/cmdlineTests/standard_model_checker_targets_pop_empty_chc/output.json # test/cmdlineTests/standard_model_checker_targets_underflow_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_underflow_chc/input.json # test/cmdlineTests/standard_model_checker_targets_underflow_chc/output.json # test/cmdlineTests/standard_model_checker_targets_underflow_overflow_assert_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_underflow_overflow_assert_chc/input.json # test/cmdlineTests/standard_model_checker_targets_underflow_overflow_assert_chc/output.json # test/cmdlineTests/standard_model_checker_targets_underflow_overflow_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_underflow_overflow_chc/input.json # test/cmdlineTests/standard_model_checker_targets_underflow_overflow_chc/output.json # test/cmdlineTests/standard_model_checker_targets_wrong_target_types/input.json # test/cmdlineTests/standard_model_checker_targets_wrong_target_types_2/input.json # test/cmdlineTests/standard_model_checker_targets_wrong_targets/input.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_empty_sequence_metadata/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_empty_sequence_whitespaces_metadata/output.json # test/cmdlineTests/standard_output_debuginfo_ethdebug_compatible/input.json # test/cmdlineTests/standard_output_debuginfo_ethdebug_incompatible/output.json # test/cmdlineTests/standard_output_debuginfo_ethdebug_with_interfaces_and_abstracts/input.json # test/cmdlineTests/standard_output_debuginfo_ethdebug_with_interfaces_and_abstracts/output.json # test/cmdlineTests/standard_output_selection_ethdebug_bytecode_and_deployedbytecode_ir/input.json # test/cmdlineTests/standard_output_selection_ethdebug_bytecode_and_deployedbytecode_iroptimized/input.json # test/cmdlineTests/standard_output_selection_ethdebug_bytecode_and_deployedbytecode_optimizer_ir/input.json # test/cmdlineTests/standard_output_selection_ethdebug_bytecode_and_deployedbytecode_optimizer_iroptimized/input.json # test/cmdlineTests/standard_output_selection_ethdebug_bytecode_ir/input.json # test/cmdlineTests/standard_output_selection_ethdebug_bytecode_iroptimized/input.json # test/cmdlineTests/standard_output_selection_ethdebug_deployedbytecode_ir/input.json # test/cmdlineTests/standard_output_selection_ethdebug_deployedbytecode_iroptimized/input.json # test/cmdlineTests/standard_output_selection_ethdebug_ir/input.json # test/cmdlineTests/standard_output_selection_ethdebug_iroptimized/input.json # test/cmdlineTests/standard_output_selection_ethdebug_optimize_ir/input.json # test/cmdlineTests/standard_output_selection_ethdebug_optimize_iroptimized/input.json # test/cmdlineTests/standard_outputs_on_compilation_error/output.json # test/cmdlineTests/standard_outputs_on_parsing_error/output.json # test/cmdlineTests/standard_undeployable_contract_all_outputs/input.json # test/cmdlineTests/standard_undeployable_contract_all_outputs/output.json # test/cmdlineTests/standard_yul_cfg_json_export/input.json # test/cmdlineTests/standard_yul_cfg_json_export/output.json # test/cmdlineTests/standard_yul_debug_info_ethdebug_compatible_output/input.json # test/cmdlineTests/standard_yul_debug_info_ethdebug_verbatim_unimplemented/input.json # test/cmdlineTests/standard_yul_ethdebug_assign_immutable/input.json # test/cmdlineTests/standard_yul_ethdebug_assign_immutable/output.json # test/cmdlineTests/standard_yul_ethdebug_bytecode_ir/input.json # test/cmdlineTests/standard_yul_ethdebug_bytecode_iroptimized/input.json # test/cmdlineTests/standard_yul_ethdebug_compilation/args # test/cmdlineTests/standard_yul_ethdebug_compilation/in.yul # test/cmdlineTests/standard_yul_ethdebug_deployed_bytecode/input.json # test/cmdlineTests/standard_yul_ethdebug_deployed_bytecode_and_bytecode/input.json # test/cmdlineTests/standard_yul_ethdebug_ir/input.json # test/cmdlineTests/standard_yul_ethdebug_iroptimize/input.json # test/cmdlineTests/standard_yul_ethdebug_optimize_ir/input.json # test/cmdlineTests/standard_yul_ethdebug_optimize_iroptimized/input.json # test/cmdlineTests/standard_yul_ethdebug_resources/args # test/cmdlineTests/standard_yul_ethdebug_resources/in.yul # test/cmdlineTests/strict_asm_yul_cfg_json_export/args # test/cmdlineTests/strict_asm_yul_cfg_json_export/output # test/cmdlineTests/undeployable_contract_empty_outputs/args # test/cmdlineTests/via_ssa_cfg_ethdebug/input.sol # test/cmdlineTests/viair_abicoder_v1/err # test/cmdlineTests/yul_cfg_json_export/args # test/cmdlineTests/yul_cfg_json_export/output # test/cmdlineTests/yul_optimizer_disabled_sequence_empty/output # test/cmdlineTests/yul_optimizer_steps_invalid_substitution_in_expression_simplifier/input.sol # test/cmdlineTests/yul_optimizer_steps_without_optimize_empty_sequence/output # test/cmdlineTests/~assembler_modes/test.sh # test/cmdlineTests/~bytecode_equivalence_with_unused_contracts/test.py # test/cmdlineTests/~deduplicator-verbatim-bug/test.sh # test/cmdlineTests/~name_dependent_cse_bug/test.sh # test/ethdebugSchemaTests/conftest.py # test/ethdebugSchemaTests/input_file.json # test/ethdebugSchemaTests/test_ethdebug_schema_conformity.py # test/evmc/README.md # test/evmc/evmc.h # test/externalTests/euler.sh # test/externalTests/gp2.sh # test/externalTests/pool-together.sh # test/externalTests/prb-math.py # test/externalTests/yield-liquidator.sh # test/externalTests/zeppelin.sh # test/formal/README.md # test/libevmasm/Assembler.cpp # test/libevmasm/EVMAssemblyTest.cpp # test/libevmasm/EVMAssemblyTest.h # test/libevmasm/Optimiser.cpp # test/libsolidity/ASTJSONTest.cpp # test/libsolidity/AnalysisFramework.cpp # test/libsolidity/Assembly.cpp # test/libsolidity/FunctionDependencyGraphTest.cpp # test/libsolidity/FunctionDependencyGraphTest.h # test/libsolidity/InlineAssembly.cpp # test/libsolidity/Metadata.cpp # test/libsolidity/SMTCheckerTest.cpp # test/libsolidity/SemanticTest.cpp # test/libsolidity/SemanticTest.h # test/libsolidity/SolidityCompiler.cpp # test/libsolidity/SolidityEndToEndTest.cpp # test/libsolidity/SolidityExecutionFramework.cpp # test/libsolidity/SolidityExecutionFramework.h # test/libsolidity/SolidityExpressionCompiler.cpp # test/libsolidity/SolidityOptimizer.cpp # test/libsolidity/SolidityParser.cpp # test/libsolidity/StandardCompiler.cpp # test/libsolidity/SyntaxTest.cpp # test/libsolidity/SyntaxTest.h # test/libsolidity/ViewPureChecker.cpp # test/libsolidity/gasTests/abiv2.sol # test/libsolidity/gasTests/abiv2_optimised.sol # test/libsolidity/gasTests/data_storage.sol # test/libsolidity/gasTests/dispatch_large.sol # test/libsolidity/gasTests/dispatch_large_optimised.sol # test/libsolidity/gasTests/dispatch_medium.sol # test/libsolidity/gasTests/dispatch_medium_optimised.sol # test/libsolidity/gasTests/dispatch_small.sol # test/libsolidity/gasTests/dispatch_small_optimised.sol # test/libsolidity/gasTests/exp.sol # test/libsolidity/gasTests/exp_optimized.sol # test/libsolidity/gasTests/storage_costs.sol # test/libsolidity/semanticTests/abicoder/abi_decode_from_calldata.sol # test/libsolidity/semanticTests/abicoder/abi_decode_from_calldata_dynamic_array.sol # test/libsolidity/semanticTests/abicoder/abi_decode_from_calldata_static_array.sol # test/libsolidity/semanticTests/abicoder/abi_decode_from_calldata_struct_v2.sol # test/libsolidity/semanticTests/abicoder/abi_decode_from_memory_struct_v2.sol # test/libsolidity/semanticTests/abicoder/abi_decode_from_storage_struct_v2.sol # test/libsolidity/semanticTests/abicoder/abi_decode_offset_overflow_in_array_2.sol # test/libsolidity/semanticTests/abicoder/abi_decode_offset_overflow_in_array_3.sol # test/libsolidity/semanticTests/abicoder/abi_decode_overlapping_dynamic_arrays.sol # test/libsolidity/semanticTests/abicoder/abi_decode_simple.sol # test/libsolidity/semanticTests/abicoder/abi_decode_simple_storage.sol # test/libsolidity/semanticTests/abicoder/abi_decode_slice.sol # test/libsolidity/semanticTests/abicoder/abi_decode_trivial.sol # test/libsolidity/semanticTests/abicoder/abi_encode.sol # test/libsolidity/semanticTests/abicoder/abi_encode_call.sol # test/libsolidity/semanticTests/abicoder/abi_encode_call_declaration_v2.sol # test/libsolidity/semanticTests/abicoder/abi_encode_call_is_consistent_v2.sol # test/libsolidity/semanticTests/abicoder/abi_encode_call_memory_v2.sol # test/libsolidity/semanticTests/abicoder/abi_encode_call_special_args_v2.sol # test/libsolidity/semanticTests/abicoder/abi_encode_call_uint_bytes.sol # test/libsolidity/semanticTests/abicoder/abi_encode_call_v2.sol # test/libsolidity/semanticTests/abicoder/abi_encode_calldata_slice.sol # test/libsolidity/semanticTests/abicoder/abi_encode_decode_simple.sol # test/libsolidity/semanticTests/abicoder/abi_encode_empty_string_not_bytes0.sol # test/libsolidity/semanticTests/abicoder/abi_encode_empty_string_v1.sol # test/libsolidity/semanticTests/abicoder/abi_encode_memory_dynamic_array_and_calldata_bytes_v1.sol # test/libsolidity/semanticTests/abicoder/abi_encode_rational.sol # test/libsolidity/semanticTests/abicoder/abi_encode_storage_array_v2.sol # test/libsolidity/semanticTests/abicoder/abi_encode_v2.sol # test/libsolidity/semanticTests/abicoder/abi_encode_v2_in_function_inherited_in_v1_contract.sol # test/libsolidity/semanticTests/abicoder/abi_encode_v2_in_modifier_used_in_v1_contract.sol # test/libsolidity/semanticTests/abicoder/abi_encode_with_selector_v1.sol # test/libsolidity/semanticTests/abicoder/abi_encode_with_selector_v2.sol # test/libsolidity/semanticTests/abicoder/abi_encode_with_signature_v1.sol # test/libsolidity/semanticTests/abicoder/abi_encode_with_signature_v2.sol # test/libsolidity/semanticTests/abicoder/bug_abi_encoder_v2_head_overflow_with_static_array_cleanup.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/byte_arrays.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_2d_dynamic_dynamic_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_2d_dynamic_static_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_bytes_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_dynamic_of_uint_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_dynamic_of_value_types_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_dynamic_static_dynamic_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_dynamic_static_in_library_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_dynamic_static_short_decode_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_dynamic_static_short_reencode_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_function_types_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_indexing_1d_2d_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_indexing_3d_dynamic_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_indexing_3d_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_indexing_dynamic_bytes_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_indexing_dynamic_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_indexing_static_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_length_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_multi_dynamic_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_slicing_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_static_dynamic_static_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_static_of_uint_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_static_of_value_types_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_struct_dynamic_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_struct_static_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_two_dynamic_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_two_static_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_bytes_bytes32_arrays_v1.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_dynamic_array_to_memory_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_nested_array_reencode_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_nested_array_static_reencode_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_overlapping_dynamic_arrays_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_overlapping_nested_dynamic_arrays_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_string_array_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_struct_array_reencode_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/memory_arrays_static.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/memory_dynamic_array_and_calldata_bytes.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/memory_dynamic_array_and_calldata_static_array.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/memory_dynamic_arrays.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/memory_dynamic_nested_arrays_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/memory_params_in_external_function.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/copy_from_calldata_removes_bytes_data.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/mediocre_dynamic_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/mediocre_static_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/member_array_dynamic2_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/member_array_dynamic_multiple_fields_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/member_array_dynamic_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/member_array_static_mulitple_fields_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/member_external_function_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/member_offset_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/multiple_structs_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/nested_static_3_fields_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/nested_static_4_fields_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/nested_with_bytes_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/nested_with_dynamic_array_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/nested_with_dynamic_struct_array_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/short_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/simple_multiple_fields_short_types_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/simple_multiple_fields_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/simple_single_field_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/struct_and_ints_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/address_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/bool_v1.sol # test/libsolidity/semanticTests/abicoder/cleanup/bool_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/bool_with_sanity_check_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/bytesx_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/cleanup_v1.sol # test/libsolidity/semanticTests/abicoder/cleanup/cleanup_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/dynamic_array_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/enum_v1.sol # test/libsolidity/semanticTests/abicoder/cleanup/enum_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/function_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/intx_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/reencoded_calldata_string.sol # test/libsolidity/semanticTests/abicoder/cleanup/static_array_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/struct2_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/struct_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/uintx_v2.sol # test/libsolidity/semanticTests/abicoder/contract_array.sol # test/libsolidity/semanticTests/abicoder/contract_array_v2.sol # test/libsolidity/semanticTests/abicoder/libraryABI/storage_ptr.sol # test/libsolidity/semanticTests/abicoder/return_dynamic_types_cross_call_advanced.sol # test/libsolidity/semanticTests/abicoder/return_dynamic_types_cross_call_out_of_range_homestead.sol # test/libsolidity/semanticTests/abicoder/return_dynamic_types_cross_call_out_of_range_post_homestead.sol # test/libsolidity/semanticTests/abicoder/return_dynamic_types_cross_call_simple.sol # test/libsolidity/semanticTests/abicoder/validation/array_exceeds_calldatasize_no_revert_string.sol # test/libsolidity/semanticTests/abicoder/validation/array_exceeds_calldatasize_v2.sol # test/libsolidity/semanticTests/abicoder/validation/array_exceeds_size_limit_for_calldata_types_v2.sol # test/libsolidity/semanticTests/abicoder/validation/calldata_array_dynamic_invalid_static_middle_v2.sol # test/libsolidity/semanticTests/abicoder/validation/calldata_array_dynamic_invalid_v2.sol # test/libsolidity/semanticTests/abicoder/validation/calldata_with_garbage_v2.sol # test/libsolidity/semanticTests/abicoder/validation/external_function_type_inside_struct_v2.sol # test/libsolidity/semanticTests/abicoder/validation/static_struct_v2.sol # test/libsolidity/semanticTests/array/array_memory_index_access.sol # test/libsolidity/semanticTests/array/array_storage_index_access.sol # test/libsolidity/semanticTests/array/array_storage_index_boundary_test.sol # test/libsolidity/semanticTests/array/array_storage_index_zeroed_test.sol # test/libsolidity/semanticTests/array/array_storage_length_access.sol # test/libsolidity/semanticTests/array/array_storage_push_empty.sol # test/libsolidity/semanticTests/array/array_storage_push_empty_length_address.sol # test/libsolidity/semanticTests/array/array_storage_push_pop.sol # test/libsolidity/semanticTests/array/arrays_complex_from_and_to_storage.sol # test/libsolidity/semanticTests/array/byte_array_storage_layout.sol # test/libsolidity/semanticTests/array/byte_array_transitional_2.sol # test/libsolidity/semanticTests/array/bytes_length_member.sol # test/libsolidity/semanticTests/array/calldata_array_bounds_check_nested_bytes.sol # test/libsolidity/semanticTests/array/constant_var_as_array_length.sol # test/libsolidity/semanticTests/array/copying/array_copy_calldata_storage.sol # test/libsolidity/semanticTests/array/copying/array_copy_cleanup_uint128.sol # test/libsolidity/semanticTests/array/copying/array_copy_cleanup_uint40.sol # test/libsolidity/semanticTests/array/copying/array_copy_clear_storage.sol # test/libsolidity/semanticTests/array/copying/array_copy_clear_storage_packed.sol # test/libsolidity/semanticTests/array/copying/array_copy_different_packing.sol # test/libsolidity/semanticTests/array/copying/array_copy_including_array.sol # test/libsolidity/semanticTests/array/copying/array_copy_nested_array.sol # test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_different_base.sol # test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_different_base_nested.sol # test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_dyn_dyn.sol # test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_dynamic_dynamic.sol # test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_static_dynamic.sol # test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_static_simple.sol # test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_static_static.sol # test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_struct.sol # test/libsolidity/semanticTests/array/copying/array_copy_storage_to_memory_nested.sol # test/libsolidity/semanticTests/array/copying/array_copy_target_leftover.sol # test/libsolidity/semanticTests/array/copying/array_copy_target_leftover2.sol # test/libsolidity/semanticTests/array/copying/array_copy_target_simple.sol # test/libsolidity/semanticTests/array/copying/array_copy_target_simple_2.sol # test/libsolidity/semanticTests/array/copying/array_elements_to_mapping.sol # test/libsolidity/semanticTests/array/copying/array_of_function_external_storage_to_storage_dynamic.sol # test/libsolidity/semanticTests/array/copying/array_of_function_external_storage_to_storage_dynamic_different_mutability.sol # test/libsolidity/semanticTests/array/copying/array_of_struct_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/array_of_struct_memory_to_storage.sol # test/libsolidity/semanticTests/array/copying/array_of_structs_containing_arrays_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/array_of_structs_containing_arrays_memory_to_storage.sol # test/libsolidity/semanticTests/array/copying/array_storage_multi_items_per_slot.sol # test/libsolidity/semanticTests/array/copying/array_to_mapping.sol # test/libsolidity/semanticTests/array/copying/arrays_from_and_to_storage.sol # test/libsolidity/semanticTests/array/copying/bytes_inside_mappings.sol # test/libsolidity/semanticTests/array/copying/bytes_storage_to_storage.sol # test/libsolidity/semanticTests/array/copying/calldata_1d_array_into_2d_memory_array_element.sol # test/libsolidity/semanticTests/array/copying/calldata_array_dynamic_to_storage.sol # test/libsolidity/semanticTests/array/copying/calldata_array_to_mapping.sol # test/libsolidity/semanticTests/array/copying/cleanup_during_multi_element_per_slot_copy.sol # test/libsolidity/semanticTests/array/copying/copy_byte_array_in_struct_to_storage.sol # test/libsolidity/semanticTests/array/copying/copy_byte_array_to_storage.sol # test/libsolidity/semanticTests/array/copying/copy_function_internal_storage_array.sol # test/libsolidity/semanticTests/array/copying/copy_internal_function_array_to_storage.sol # test/libsolidity/semanticTests/array/copying/copy_removes_bytes_data.sol # test/libsolidity/semanticTests/array/copying/copying_bytes_multiassign.sol # test/libsolidity/semanticTests/array/copying/elements_of_nested_array_of_structs_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/elements_of_nested_array_of_structs_memory_to_storage.sol # test/libsolidity/semanticTests/array/copying/function_type_array_to_storage.sol # test/libsolidity/semanticTests/array/copying/memory_dyn_2d_bytes_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_array_calldata_to_memory.sol # test/libsolidity/semanticTests/array/copying/nested_array_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_array_dynamic_dynamic_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_array_dynamic_static_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_array_element_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_array_element_memory_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_array_element_storage_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_array_memory_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_array_of_structs_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_array_of_structs_memory_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_array_of_structs_storage_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_array_storage_to_memory.sol # test/libsolidity/semanticTests/array/copying/nested_dynamic_array_element_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/storage_memory_nested.sol # test/libsolidity/semanticTests/array/copying/storage_memory_nested_bytes.sol # test/libsolidity/semanticTests/array/copying/storage_memory_nested_from_pointer.sol # test/libsolidity/semanticTests/array/copying/storage_memory_nested_struct.sol # test/libsolidity/semanticTests/array/copying/storage_memory_packed_dyn.sol # test/libsolidity/semanticTests/array/create_memory_array.sol # test/libsolidity/semanticTests/array/delete/bytes_delete_element.sol # test/libsolidity/semanticTests/array/delete/delete_bytes_array.sol # test/libsolidity/semanticTests/array/delete/delete_storage_array_packed.sol # test/libsolidity/semanticTests/array/dynamic_array_cleanup.sol # test/libsolidity/semanticTests/array/dynamic_arrays_in_storage.sol # test/libsolidity/semanticTests/array/dynamic_multi_array_cleanup.sol # test/libsolidity/semanticTests/array/fixed_array_cleanup.sol # test/libsolidity/semanticTests/array/fixed_arrays_as_return_type.sol # test/libsolidity/semanticTests/array/fixed_arrays_in_constructors.sol # test/libsolidity/semanticTests/array/function_array_cross_calls.sol # test/libsolidity/semanticTests/array/invalid_encoding_for_storage_byte_array.sol # test/libsolidity/semanticTests/array/pop/array_pop_array_transition.sol # test/libsolidity/semanticTests/array/pop/array_pop_uint16_transition.sol # test/libsolidity/semanticTests/array/pop/array_pop_uint24_transition.sol # test/libsolidity/semanticTests/array/pop/byte_array_pop_copy_long.sol # test/libsolidity/semanticTests/array/pop/byte_array_pop_long_storage_empty.sol # test/libsolidity/semanticTests/array/pop/byte_array_pop_long_storage_empty_garbage_ref.sol # test/libsolidity/semanticTests/array/pop/byte_array_pop_masking_long.sol # test/libsolidity/semanticTests/array/push/array_push.sol # test/libsolidity/semanticTests/array/push/array_push_nested_from_calldata.sol # test/libsolidity/semanticTests/array/push/array_push_packed_array.sol # test/libsolidity/semanticTests/array/push/array_push_struct.sol # test/libsolidity/semanticTests/array/push/array_push_struct_from_calldata.sol # test/libsolidity/semanticTests/array/push/byte_array_push_transition.sol # test/libsolidity/semanticTests/array/push/nested_bytes_push.sol # test/libsolidity/semanticTests/array/push/push_no_args_2d.sol # test/libsolidity/semanticTests/array/push/push_no_args_bytes.sol # test/libsolidity/semanticTests/array/reusing_memory.sol # test/libsolidity/semanticTests/array/slices/calldata_array_slicing.sol # test/libsolidity/semanticTests/cleanup/byte_array_to_storage_cleanup.sol # test/libsolidity/semanticTests/cleanup/indexed_log_topic_during_explicit_downcast_during_emissions.sol # test/libsolidity/semanticTests/constants/asm_address_constant_regression.sol # test/libsolidity/semanticTests/constructor/arrays_in_constructors.sol # test/libsolidity/semanticTests/constructor/base_constructor_arguments.sol # test/libsolidity/semanticTests/constructor/bytes_in_constructors_packer.sol # test/libsolidity/semanticTests/constructor/bytes_in_constructors_unpacker.sol # test/libsolidity/semanticTests/constructor/callvalue_check.sol # test/libsolidity/semanticTests/constructor/constructor_arguments_external.sol # test/libsolidity/semanticTests/constructor/constructor_arguments_internal.sol # test/libsolidity/semanticTests/constructor/constructor_function_argument.sol # test/libsolidity/semanticTests/constructor/constructor_function_complex.sol # test/libsolidity/semanticTests/constructor/constructor_static_array_argument.sol # test/libsolidity/semanticTests/constructor/evm_exceptions_in_constructor_call_fail.sol # test/libsolidity/semanticTests/constructor/function_usage_in_constructor_arguments.sol # test/libsolidity/semanticTests/constructor/functions_called_by_constructor.sol # test/libsolidity/semanticTests/constructor/functions_called_by_constructor_through_dispatch.sol # test/libsolidity/semanticTests/constructor/inline_member_init_inheritence_without_constructor.sol # test/libsolidity/semanticTests/constructor/no_callvalue_check.sol # test/libsolidity/semanticTests/constructor/order_of_evaluation.sol # test/libsolidity/semanticTests/constructor/payable_constructor.sol # test/libsolidity/semanticTests/constructor/store_function_in_constructor.sol # test/libsolidity/semanticTests/constructor/store_function_in_constructor_packed.sol # test/libsolidity/semanticTests/constructor/store_internal_unused_function_in_constructor.sol # test/libsolidity/semanticTests/constructor/store_internal_unused_library_function_in_constructor.sol # test/libsolidity/semanticTests/constructor/transient_state_variable_initialization.sol # test/libsolidity/semanticTests/conversions/calldata_bytes_to_memory.sol # test/libsolidity/semanticTests/conversions/calldata_bytes_to_memory_reencode.sol # test/libsolidity/semanticTests/deployedCodeExclusion/bound_function.sol # test/libsolidity/semanticTests/deployedCodeExclusion/library_function.sol # test/libsolidity/semanticTests/deployedCodeExclusion/module_function.sol # test/libsolidity/semanticTests/deployedCodeExclusion/static_base_function.sol # test/libsolidity/semanticTests/deployedCodeExclusion/subassembly_deduplication.sol # test/libsolidity/semanticTests/deployedCodeExclusion/super_function.sol # test/libsolidity/semanticTests/deployedCodeExclusion/virtual_function.sol # test/libsolidity/semanticTests/ecrecover/ecrecover.sol # test/libsolidity/semanticTests/errors/small_error_optimization.sol # test/libsolidity/semanticTests/events/event_dynamic_array_storage.sol # test/libsolidity/semanticTests/events/event_dynamic_array_storage_v2.sol # test/libsolidity/semanticTests/events/event_dynamic_nested_array_storage_v2.sol # test/libsolidity/semanticTests/events/event_emit_from_other_contract.sol # test/libsolidity/semanticTests/events/event_indexed_mixed.sol # test/libsolidity/semanticTests/events/event_indexed_string.sol # test/libsolidity/semanticTests/events/event_signature_in_library.sol # test/libsolidity/semanticTests/experimental/stub.sol # test/libsolidity/semanticTests/experimental/type_class.sol # test/libsolidity/semanticTests/externalContracts/FixedFeeRegistrar.sol # test/libsolidity/semanticTests/externalContracts/base64.sol # test/libsolidity/semanticTests/externalContracts/deposit_contract.sol # test/libsolidity/semanticTests/externalContracts/prbmath_signed.sol # test/libsolidity/semanticTests/externalContracts/prbmath_unsigned.sol # test/libsolidity/semanticTests/externalContracts/ramanujan_pi.sol # test/libsolidity/semanticTests/externalContracts/snark.sol # test/libsolidity/semanticTests/externalContracts/strings.sol # test/libsolidity/semanticTests/fallback/call_forward_bytes.sol # test/libsolidity/semanticTests/freeFunctions/free_runtimecode.sol # test/libsolidity/semanticTests/functionCall/call_options_overload.sol # test/libsolidity/semanticTests/functionCall/calldata_and_memory_arguments.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_external_bytes.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_internal_bytes.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_internal_dynamic_array_v2.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_internal_library_bytes.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_internal_library_dynamic_struct_v2.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_internal_library_static_struct_v2.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_internal_multi_array_v2.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_internal_multi_static_array_v2.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_internal_struct_as_memory_v2.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_internal_struct_v2.sol # test/libsolidity/semanticTests/functionCall/calling_nonexisting_contract_throws.sol # test/libsolidity/semanticTests/functionCall/creation_function_call_with_args.sol # test/libsolidity/semanticTests/functionCall/creation_function_call_with_salt.sol # test/libsolidity/semanticTests/functionCall/external_call_at_construction_time.sol # test/libsolidity/semanticTests/functionCall/external_call_to_nonexisting.sol # test/libsolidity/semanticTests/functionCall/external_call_to_nonexisting_debugstrings.sol # test/libsolidity/semanticTests/functionCall/failed_create.sol # test/libsolidity/semanticTests/functionCall/gas_and_value_basic.sol # test/libsolidity/semanticTests/functionCall/mapping_array_internal_argument.sol # test/libsolidity/semanticTests/functionCall/send_zero_ether.sol # test/libsolidity/semanticTests/functionTypes/internal_function_pointer_with_calldata_args.sol # test/libsolidity/semanticTests/functionTypes/stack_height_check_on_adding_gas_variable_to_function.sol # test/libsolidity/semanticTests/functionTypes/store_function.sol # test/libsolidity/semanticTests/immutable/immutable_tag_too_large_bug.sol # test/libsolidity/semanticTests/immutable/multi_creation.sol # test/libsolidity/semanticTests/immutable/stub.sol # test/libsolidity/semanticTests/immutable/use_scratch.sol # test/libsolidity/semanticTests/inheritance/address_overload_resolution.sol # test/libsolidity/semanticTests/inheritance/constructor_inheritance_init_order.sol # test/libsolidity/semanticTests/inheritance/constructor_inheritance_init_order_2.sol # test/libsolidity/semanticTests/inheritance/constructor_with_params.sol # test/libsolidity/semanticTests/inheritance/constructor_with_params_diamond_inheritance.sol # test/libsolidity/semanticTests/inheritance/constructor_with_params_inheritance.sol # test/libsolidity/semanticTests/inheritance/inherited_function_calldata_calldata_interface.sol # test/libsolidity/semanticTests/inheritance/inherited_function_calldata_memory_interface.sol # test/libsolidity/semanticTests/inheritance/interface_inheritance_conversions.sol # test/libsolidity/semanticTests/inheritance/value_for_constructor.sol # test/libsolidity/semanticTests/inlineAssembly/inline_assembly_in_modifiers.sol # test/libsolidity/semanticTests/inlineAssembly/keccak_yul_optimization.sol # test/libsolidity/semanticTests/inlineAssembly/transient_storage_low_level_calls.sol # test/libsolidity/semanticTests/inlineAssembly/transient_storage_selfdestruct.sol # test/libsolidity/semanticTests/inlineAssembly/tstore_hidden_staticcall.sol # test/libsolidity/semanticTests/libraries/attached_internal_library_function_accepting_calldata_dynamic_array_or_slice_v2.sol # test/libsolidity/semanticTests/libraries/attached_internal_library_function_accepting_calldata_static_array_v2.sol # test/libsolidity/semanticTests/libraries/attached_internal_library_function_accepting_calldata_struct_v2.sol # test/libsolidity/semanticTests/libraries/attached_internal_library_function_accepting_calldata_v2.sol # test/libsolidity/semanticTests/libraries/attached_public_library_function_accepting_calldata.sol # test/libsolidity/semanticTests/libraries/internal_types_in_library.sol # test/libsolidity/semanticTests/libraries/library_address.sol # test/libsolidity/semanticTests/libraries/using_library_mappings_public.sol # test/libsolidity/semanticTests/libraries/using_library_mappings_return.sol # test/libsolidity/semanticTests/libraries/using_library_structs.sol # test/libsolidity/semanticTests/operators/userDefined/operator_making_pure_external_call.sol # test/libsolidity/semanticTests/operators/userDefined/operator_making_view_external_call.sol # test/libsolidity/semanticTests/revertStrings/called_contract_has_code.sol # test/libsolidity/semanticTests/reverts/revert_return_area.sol # test/libsolidity/semanticTests/saltedCreate/prediction_example.sol # test/libsolidity/semanticTests/saltedCreate/salted_create.sol # test/libsolidity/semanticTests/saltedCreate/salted_create_with_value.sol # test/libsolidity/semanticTests/shanghai/evmone_support.sol # test/libsolidity/semanticTests/smoke/constructor.sol # test/libsolidity/semanticTests/state/blockhash_basic.sol # test/libsolidity/semanticTests/state/gasleft.sol # test/libsolidity/semanticTests/storage/empty_nonempty_empty.sol # test/libsolidity/semanticTests/storage/packed_storage_structs_bytes.sol # test/libsolidity/semanticTests/storageLayoutSpecifier/constructor.sol # test/libsolidity/semanticTests/storageLayoutSpecifier/delete.sol # test/libsolidity/semanticTests/storageLayoutSpecifier/dynamic_array_storage_end.sol # test/libsolidity/semanticTests/storageLayoutSpecifier/mapping_storage_end.sol # test/libsolidity/semanticTests/storageLayoutSpecifier/multiple_inheritance.sol # test/libsolidity/semanticTests/storageLayoutSpecifier/state_variable_dynamic_array.sol # test/libsolidity/semanticTests/storageLayoutSpecifier/state_variable_mapping.sol # test/libsolidity/semanticTests/storageLayoutSpecifier/storage_reference_array.sol # test/libsolidity/semanticTests/structs/conversion/recursive_storage_memory.sol # test/libsolidity/semanticTests/structs/copy_from_mapping.sol # test/libsolidity/semanticTests/structs/copy_from_storage.sol # test/libsolidity/semanticTests/structs/copy_struct_array_from_storage.sol # test/libsolidity/semanticTests/structs/copy_struct_with_nested_struct_from_calldata_to_memory.sol # test/libsolidity/semanticTests/structs/copy_substructures_from_mapping.sol # test/libsolidity/semanticTests/structs/copy_substructures_to_mapping.sol # test/libsolidity/semanticTests/structs/copy_to_mapping.sol # test/libsolidity/semanticTests/structs/memory_structs_nested_load.sol # test/libsolidity/semanticTests/structs/struct_containing_bytes_copy_and_delete.sol # test/libsolidity/semanticTests/structs/struct_copy.sol # test/libsolidity/semanticTests/structs/struct_copy_calldata_to_memory_nested_bytes_v2.sol # test/libsolidity/semanticTests/structs/struct_copy_calldata_to_memory_nested_dynamic_array_v2.sol # test/libsolidity/semanticTests/structs/struct_copy_calldata_to_memory_nested_static_array_v2.sol # test/libsolidity/semanticTests/structs/struct_copy_calldata_to_memory_tuple.sol # test/libsolidity/semanticTests/structs/struct_copy_calldata_to_memory_v2.sol # test/libsolidity/semanticTests/structs/struct_copy_calldata_to_storage_nested_dynamic_array_v2.sol # test/libsolidity/semanticTests/structs/struct_copy_calldata_to_storage_v2.sol # test/libsolidity/semanticTests/structs/struct_copy_via_local.sol # test/libsolidity/semanticTests/structs/struct_delete_storage_nested_small.sol # test/libsolidity/semanticTests/structs/struct_delete_storage_with_array.sol # test/libsolidity/semanticTests/structs/struct_delete_storage_with_arrays_small.sol # test/libsolidity/semanticTests/structs/struct_memory_to_storage_function_ptr.sol # test/libsolidity/semanticTests/structs/structs.sol # test/libsolidity/semanticTests/types/mapping/copy_from_mapping_to_mapping.sol # test/libsolidity/semanticTests/userDefinedValueType/calldata.sol # test/libsolidity/semanticTests/userDefinedValueType/calldata_to_storage.sol # test/libsolidity/semanticTests/userDefinedValueType/erc20.sol # test/libsolidity/semanticTests/userDefinedValueType/memory_to_storage.sol # test/libsolidity/semanticTests/userDefinedValueType/zero_cost_abstraction_comparison_elementary.sol # test/libsolidity/semanticTests/userDefinedValueType/zero_cost_abstraction_comparison_userdefined.sol # test/libsolidity/semanticTests/various/address_code.sol # test/libsolidity/semanticTests/various/address_code_complex.sol # test/libsolidity/semanticTests/various/code_access_content.sol # test/libsolidity/semanticTests/various/code_access_create.sol # test/libsolidity/semanticTests/various/code_access_padding.sol # test/libsolidity/semanticTests/various/code_access_runtime.sol # test/libsolidity/semanticTests/various/code_length.sol # test/libsolidity/semanticTests/various/code_length_contract_member.sol # test/libsolidity/semanticTests/various/codebalance_assembly.sol # test/libsolidity/semanticTests/various/codehash.sol # test/libsolidity/semanticTests/various/codehash_assembly.sol # test/libsolidity/semanticTests/various/contract_binary_dependencies.sol # test/libsolidity/semanticTests/various/create_calldata.sol # test/libsolidity/semanticTests/various/create_random.sol # test/libsolidity/semanticTests/various/destructuring_assignment.sol # test/libsolidity/semanticTests/various/different_call_type_transient.sol # test/libsolidity/semanticTests/various/erc20.sol # test/libsolidity/semanticTests/various/gasleft_decrease.sol # test/libsolidity/semanticTests/various/many_subassemblies.sol # test/libsolidity/semanticTests/various/selfdestruct_post_cancun.sol # test/libsolidity/semanticTests/various/selfdestruct_post_cancun_multiple_beneficiaries.sol # test/libsolidity/semanticTests/various/selfdestruct_post_cancun_redeploy.sol # test/libsolidity/semanticTests/various/senders_balance.sol # test/libsolidity/semanticTests/various/skip_dynamic_types_for_structs.sol # test/libsolidity/semanticTests/various/staticcall_for_view_and_pure.sol # test/libsolidity/semanticTests/various/swap_in_storage_overwrite.sol # test/libsolidity/semanticTests/viaYul/copy_struct_invalid_ir_bug.sol # test/libsolidity/smtCheckerTests/blockchain_state/balance_spend.sol # test/libsolidity/smtCheckerTests/blockchain_state/balance_spend_2.sol # test/libsolidity/smtCheckerTests/blockchain_state/decreasing_balance.sol # test/libsolidity/smtCheckerTests/blockchain_state/free_function_2.sol # test/libsolidity/smtCheckerTests/blockchain_state/library_internal_2.sol # test/libsolidity/smtCheckerTests/blockchain_state/library_public_2.sol # test/libsolidity/smtCheckerTests/blockchain_state/transfer_1.sol # test/libsolidity/smtCheckerTests/blockchain_state/transfer_2.sol # test/libsolidity/smtCheckerTests/blockchain_state/transfer_3.sol # test/libsolidity/smtCheckerTests/blockchain_state/transfer_4.sol # test/libsolidity/smtCheckerTests/bmc_coverage/funds.sol # test/libsolidity/smtCheckerTests/deployment/deploy_trusted_addresses.sol # test/libsolidity/smtCheckerTests/deployment/deploy_untrusted_addresses.sol # test/libsolidity/smtCheckerTests/external_calls/external_call_indirect_2.sol # test/libsolidity/smtCheckerTests/external_calls/external_call_indirect_5.sol # test/libsolidity/smtCheckerTests/functions/functions_external_2.sol # test/libsolidity/smtCheckerTests/functions/getters/array_of_structs_1.sol # test/libsolidity/smtCheckerTests/functions/getters/array_of_structs_2.sol # test/libsolidity/smtCheckerTests/functions/getters/array_of_structs_3.sol # test/libsolidity/smtCheckerTests/functions/getters/contract.sol # test/libsolidity/smtCheckerTests/functions/getters/struct_4.sol # test/libsolidity/smtCheckerTests/modifiers/modifier_abstract.sol # test/libsolidity/smtCheckerTests/modifiers/modifier_overriding_1.sol # test/libsolidity/smtCheckerTests/modifiers/modifier_overriding_2.sol # test/libsolidity/smtCheckerTests/modifiers/modifier_overriding_3.sol # test/libsolidity/smtCheckerTests/modifiers/modifier_overriding_4.sol # test/libsolidity/smtCheckerTests/modifiers/modifier_virtual_static_call_1.sol # test/libsolidity/smtCheckerTests/modifiers/modifier_virtual_static_call_2.sol # test/libsolidity/smtCheckerTests/types/address_transfer.sol # test/libsolidity/smtCheckerTests/types/address_transfer_2.sol # test/libsolidity/smtCheckerTests/types/address_transfer_3.sol # test/libsolidity/smtCheckerTests/types/address_transfer_insufficient.sol # test/libsolidity/smtCheckerTests/types/contract.sol # test/libsolidity/smtCheckerTests/types/contract_2.sol # test/libsolidity/smtCheckerTests/types/contract_3.sol # test/libsolidity/smtCheckerTests/types/contract_address_conversion_2.sol # test/libsolidity/smtCheckerTests/types/struct/struct_constructor_fixed_bytes_from_string_1.sol # test/libsolidity/syntaxTests/abiEncoder/conflicting_settings.sol # test/libsolidity/syntaxTests/abiEncoder/conflicting_settings_reverse.sol # test/libsolidity/syntaxTests/abiEncoder/conflicting_settings_reverse_experimental.sol # test/libsolidity/syntaxTests/abiEncoder/select_v1.sol # test/libsolidity/syntaxTests/abiEncoder/select_v1_quoted_string.sol # test/libsolidity/syntaxTests/abiEncoder/selected_twice.sol # test/libsolidity/syntaxTests/abiEncoder/v1_accessing_public_state_variable_via_v1_type.sol # test/libsolidity/syntaxTests/abiEncoder/v1_accessing_public_state_variable_via_v2_type.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v1_library_function_accepting_storage_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_constructor_accepting_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_accepting_struct_via_named_argument.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_pointer_accepting_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_returning_dynamic_string_array.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_returning_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_returning_struct_with_dynamic_array.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_event_accepting_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_library_attached_function_returning_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_library_function_accepting_storage_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_library_function_returning_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_modifier.sol # test/libsolidity/syntaxTests/abiEncoder/v1_constructor_with_v2_modifier.sol # test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_calling_v2_function.sol # test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_defining_v2_event.sol # test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_defining_v2_function_accepting_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_defining_v2_function_returning_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_emitting_v2_event.sol # test/libsolidity/syntaxTests/abiEncoder/v1_modifier_overriding_v2_modifier.sol # test/libsolidity/syntaxTests/abiEncoder/v1_v2_v1_modifier_mix.sol # test/libsolidity/syntaxTests/abiEncoder/v2_v1_v1_modifier_sandwich.sol # test/libsolidity/syntaxTests/abiEncoder/v2_v1_v2_modifier_sandwich.sol # test/libsolidity/syntaxTests/array/calldata_multi_dynamic_V1.sol # test/libsolidity/syntaxTests/array/concat/bytes_concat_valid_type_literal.sol # test/libsolidity/syntaxTests/array/concat/bytes_concat_wrong_type_empty_string_literal.sol # test/libsolidity/syntaxTests/array/copy_from_function_type.sol # test/libsolidity/syntaxTests/bytecodeReferences/library_non_called.sol # test/libsolidity/syntaxTests/constants/constant_state_variable_named_transient.sol # test/libsolidity/syntaxTests/constants/initialization/abi_encoding_builtin_const_args.sol # test/libsolidity/syntaxTests/constants/initialization/addmod_by_zero.sol # test/libsolidity/syntaxTests/constants/initialization/addmod_mulmod_rational_arg.sol # test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_1.sol # test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_2.sol # test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_3.sol # test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_4.sol # test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_5.sol # test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_file.sol # test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_file_and_library.sol # test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_library.sol # test/libsolidity/syntaxTests/constants/initialization/division_by_zero.sol # test/libsolidity/syntaxTests/constants/initialization/function_pointer_call.sol # test/libsolidity/syntaxTests/constants/initialization/modulo_by_zero.sol # test/libsolidity/syntaxTests/constants/initialization/mulmod_by_zero.sol # test/libsolidity/syntaxTests/constructor/nonabiv2_type.sol # test/libsolidity/syntaxTests/constructor/nonabiv2_type_abstract.sol # test/libsolidity/syntaxTests/controlFlow/modifiers/implemented_without_placeholder.sol # test/libsolidity/syntaxTests/controlFlow/modifiers/modifier_different_functions.sol # test/libsolidity/syntaxTests/controlFlow/modifiers/modifier_override.sol # test/libsolidity/syntaxTests/controlFlow/modifiers/non_implemented_modifier.sol # test/libsolidity/syntaxTests/conversion/implicit_conversion_of_super_in_comparison.sol # test/libsolidity/syntaxTests/dataLocations/data_location_in_function_type_fail.sol # test/libsolidity/syntaxTests/dataLocations/externalFunction/function_argument_location_specifier_test_external_transient.sol # test/libsolidity/syntaxTests/dataLocations/internalFunction/function_argument_location_specifier_test_internal_transient.sol # test/libsolidity/syntaxTests/dataLocations/libraries/library_function_with_data_location_transient.sol # test/libsolidity/syntaxTests/dataLocations/libraryExternalFunction/function_argument_location_specifier_test_external_transient.sol # test/libsolidity/syntaxTests/dataLocations/libraryInternalFunction/function_argument_location_specifier_test_internal_transient.sol # test/libsolidity/syntaxTests/dataLocations/privateFunction/private_function_parameters_location_transient.sol # test/libsolidity/syntaxTests/dataLocations/privateFunction/private_function_return_parameters_location_transient.sol # test/libsolidity/syntaxTests/dataLocations/publicFunction/funct…
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
16 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This is an automatically-generated sync PR to bring this translation repository up to date with the state of the English documentation as of 2026-06-29 (commit d8fbf367).
How to work on a sync PR
Resolve conflicts and translate newly added text
<<<<<<< HEAD El valor más grande representable por el tipo ``T``. ======= The smallest value representable by type ``T``. >>>>>>> 800088e38b5835ebdc71e9ba5299a70a5accd7c2Work on one sync PR at a time
Do not squash merge or rebase this PR
Rebasing or squashing a sync PR erases the information about the commits that the changes originally came from, which will result in extra conflicts in the next sync PR.
If you do it by accident, don't worry - simply make sure to handle the next sync PR properly, which will restore the missing commits.
Review checklist
The following files were modified in this pull request. Please review them before merging the PR: