Commit Graph
23808 Commits
Author SHA1 Message Date
Matheus Aguiar 0831f1bff2 fixup! [Refactor] Add AssemblyItem as param to copyRoutine 2023-08-24 15:33:22 -03:00
Matheus Aguiar 562b6ea7a8 Update tests 2023-08-24 15:33:21 -03:00
Matheus Aguiar 742fef401e [Refactor] Add AssemblyItem as param to copyRoutine 2023-08-24 15:29:26 -03:00
Matheus Aguiar 43821d7fd1 Added GasMeter::gasPush 2023-08-24 15:29:26 -03:00
Matheus Aguiar 60eaa25ec8 make bytesRequired use PUSH0 2023-08-24 15:29:26 -03:00
Alex Beregszaszi cd611b2292 Change the constant optimizer to make use of PUSH0 2023-08-24 15:29:26 -03:00
Daniel 37e18612c5 Merge pull request #14505 from ethereum/syntax-test-more-extension-points
Make `SyntaxTest` easier to extend with custom expectations
2023-08-23 18:48:37 +02:00
Kamil Śliwak e847596e39 CommonSyntaxTest: Add support for syntax tests with custom expectations in addition to expected errors 2023-08-23 18:00:01 +02:00
Kamil Śliwak c965d6332c SyntaxTest: Allow derived test cases to filter out warnings and infos 2023-08-23 18:00:01 +02:00
Kamil Śliwak 73b9077ab0 SyntaxTest: Default-initialize boolean fields without showing the value
- These get re-initialized in constructor anyway. The only purpose if initializing here is our convention to always initialize primitive types at declaration time. We don't want to have to repeat the defaults though.
2023-08-23 18:00:01 +02:00
Kamil Śliwak b1ead4af94 Order Error::Severity enum from most to least severe
- Also reorder Error::Type to match initial values for some consistency
2023-08-23 18:00:01 +02:00
Kamil Śliwak c5b81b66cd Define Error::severity() 2023-08-23 18:00:01 +02:00
Daniel 78b1f5acc2 Merge pull request #14511 from ethereum/semantic-tests-via-ir
Semantic tests via IR
2023-08-23 16:42:03 +02:00
Nikola Matić 589adee306 Merge pull request #14514 from junaire/solc-namespace-std
Purge using namespace std from solc
2023-08-23 10:57:05 +02:00
Jun Zhang 86ed964c6a Purge using namespace std from solc
Signed-off-by: Jun Zhang <jun@junz.org>
2023-08-23 16:12:26 +08:00
Kamil Śliwak 1bb596096b fixup! Change semantic tests to use the proper via IR pipeline, without rerunning on exceptions 2023-08-22 20:43:46 +02:00
Kamil Śliwak a4d777643d fixup! Change semantic tests to use the proper via IR pipeline, without rerunning on exceptions 2023-08-22 20:19:20 +02:00
Kamil Śliwak 38decf05dd Update gas expectations 2023-08-22 20:00:03 +02:00
Kamil Śliwak ffd495bd89 Increase gas in call_options_overload test to make it pass on homestead
- After the test framework changes it fails via Yul on Homestead but passes on all other EVM versions and on legacy. The test itself does not seem to be testing these specific numbers so and increasing them resolves the problem.
2023-08-22 20:00:03 +02:00
Daniel Kirchner b9db435684 Rerun SolidityEndToEndTest.cpp tests on stack errors. 2023-08-22 20:00:03 +02:00
Kamil Śliwak bc6d10f11d SemanticTest: Add a setting that explicitly states the minimal Yul optimization level that avoids "Stack too deep" 2023-08-22 20:00:00 +02:00
Daniel Kirchner 8e9496eb8b Change semantic tests to use the proper via IR pipeline, without rerunning on exceptions 2023-08-22 19:58:31 +02:00
Kamil Śliwak 60b18a13d2 Merge pull request #14507 from ethereum/circleci-config-commands
Refactor CircleCI config to define proper commands for reused fragments
2023-08-22 17:36:11 +02:00
Kamil Śliwak af6d7793fb CI: Remove redundant ./ prefixes from script invocation and path arguments 2023-08-22 15:51:13 +02:00
Kamil Śliwak 97f206ea89 CI: Add persist_executables_to_workspace_osx 2023-08-22 15:47:22 +02:00
Kamil Śliwak ccf2896594 CI: Remove store_artifacts_solc_windows
- For consistency: other things are also hard-coded in the Windows jobs
2023-08-22 15:47:22 +02:00
Kamil Śliwak e57581e730 CI: Convert multi-step templates into proper commands 2023-08-22 15:47:22 +02:00
Kamil Śliwak 3d9f633bcd CI: Convert artifact templates to commands 2023-08-22 15:47:22 +02:00
Kamil Śliwak d0dc9e7af0 CI: Convert single-step templates into proper commands 2023-08-22 15:47:22 +02:00
Kamil Śliwak a442f0608a CI: Remove store_test_results to make naming less confusing 2023-08-22 15:47:22 +02:00
Daniel 06b003b23c Merge pull request #14504 from Saw-mon-and-Natalie/fix-known-state-typo
fixed a typo in `KnownState.h`
2023-08-22 15:21:34 +02:00
Saw-mon & Natalie 9ae42aab4c fixed a typo in KnownState.h 2023-08-22 14:37:11 +02:00
Kamil Śliwak c703b5cd8c Merge pull request #14479 from ethereum/remove-error-recovery
Remove parser error recovery mode
2023-08-22 12:47:06 +02:00
Kamil Śliwak 9adbced98e Remove parser error recovery mode 2023-08-22 12:00:11 +02:00
Daniel c96db51013 Merge pull request #14309 from ethereum/astPropertyTests
AST Property tests
2023-08-21 19:21:20 +02:00
Daniel 664baa9e6b Merge pull request #14329 from ethereum/remove-ast-output-in-error-recovery-mode
Remove AST output in error recovery mode
2023-08-21 18:38:57 +02:00
Kamil Śliwak 36429e397c Fix ICE when requesting --combined-json outputs other than AST with --stop-after parsing 2023-08-21 17:50:41 +02:00
Kamil Śliwak b17757ea17 CompilerStack: Extend inconsistent error sanity check to cover stopAfter: parsing as well 2023-08-21 17:50:41 +02:00
Kamil Śliwak a15ef59eec Remove the ability to produce an AST in presence of errors in --error-recovery mode
This reverts commit 7fd7cc1e76.
2023-08-21 17:50:41 +02:00
Kamil Śliwak e8d050a1ce Simplify redundant state check in CompilerStack::analyze() 2023-08-21 17:50:41 +02:00
Matheus Aguiar 969aea6d33 Added new kind of test: check for specific properties of AST 2023-08-21 12:37:40 -03:00
Kamil Śliwak ee21b03e6c Merge pull request #14500 from ethereum/fix-isoltest-update-loop-on-short-expectations
Fix infinite isoltest expectation update loop on values not taking full slots
2023-08-21 14:19:20 +02:00
Kamil Śliwak d2f86ffb16 Merge pull request #14499 from ethereum/purge-using-namespace-std-from-libsolutil
Purge using namespace std from libsolutil
2023-08-18 12:56:01 +02:00
Nikola Matic ad7932555d Purge using namespace std from libsolutil 2023-08-18 12:10:43 +02:00
Kamil Śliwak 397a5543a4 fixup! BytesUtils: Don't introduce garbage when formatting byte vectors shorter than expected 2023-08-17 20:45:16 +02:00
Kamil Śliwak 0f5aacefa0 BytesUtils: Don't format parameters shorter than 32 bytes as integers 2023-08-17 20:00:54 +02:00
Kamil Śliwak 368ea01bb2 BytesUtils: Don't introduce garbage when formatting byte vectors shorter than expected 2023-08-17 20:00:44 +02:00
Kamil Śliwak ef5f131862 Merge pull request #14480 from ethereum/refactor-preamble
Unify preamble injection in `AnalysisFramework`
2023-08-17 18:32:51 +02:00
Kamil Śliwak 2baf9d4d82 Put stripPreReleaseWarning() next to withPreamble() 2023-08-17 17:39:27 +02:00
Kamil Śliwak ec92685bcb Unify preamble handling between AnalysisFramework and SolidityExecutionFramework 2023-08-17 17:39:27 +02:00