Kamil Śliwak
362fc6650d
Extra tests for shadowing within function parameter lists
2021-06-09 12:37:12 +02:00
a3d4
f59145f21f
Fix shadowing struct types by struct member names
2021-06-09 12:37:11 +02:00
a3d4
70b8b1c834
Do not warn about shadowing parameters in functions without implementation
2021-06-09 12:35:26 +02:00
chriseth
edee67b4cc
Merge pull request #11503 from ethereum/issue-11501
...
Fix crash in ControlFlowGraph related to free functions.
2021-06-09 12:24:03 +02:00
chriseth
8de575f738
Merge pull request #11442 from ethereum/path-resolution-docs-current-state-v2
...
Path resolution docs (current state only) v2
2021-06-09 11:27:21 +02:00
Mathias Baumann
001a25db95
Fix crash in ControlFlowGraph related to free functions.
2021-06-09 11:10:33 +02:00
Kamil Śliwak
5e3788874b
Detailed documentation for path resolution in imports, including remappings, base path and standard input
2021-06-08 21:41:49 +02:00
chriseth
e77e9e449e
Merge pull request #11499 from ethereum/callGraphInfiniteConstant
...
Call graph infinite constant
2021-06-08 18:43:13 +02:00
chriseth
3eaa37030a
Fix infinite recursion in function call graph generator due to recursive constant references.
2021-06-08 16:39:30 +02:00
Harikrishnan Mulackal
215bbe2e6d
Merge pull request #11498 from ethereum/script_gas_test
...
A script to summarize gas differences from isoltest for PRs.
2021-06-08 13:07:42 +02:00
hrkrshnn
a4fd7c56a4
A script to summarize gas differences from isoltest for PRs.
2021-06-08 11:38:58 +02:00
chriseth
7d8a4e63d8
Merge pull request #11491 from TerranCivilian/fix-10269
...
Remove unneeded include files
2021-06-07 20:15:20 +02:00
TerranCivilian
c15501eea9
Remove unneeded include files
2021-06-07 12:53:18 -04:00
chriseth
e3e6729f22
Merge pull request #11481 from ethereum/unify-resolve
...
Unify function call resolve function used in Analysis & Yul CodeGen
2021-06-07 16:54:13 +02:00
chriseth
ad3bc71f27
Merge pull request #11455 from ethereum/issue-11381
...
Fix: Allow multiple @return tags on public state variables
2021-06-07 16:51:37 +02:00
Mathias Baumann
6a0313c456
Unify function call resolve function used in Analysis & Yul CodeGen
2021-06-07 15:23:32 +02:00
Mathias Baumann
354f9d1015
Fix: Allow multiple @return tags on public state variables
2021-06-07 15:16:46 +02:00
Mathias Baumann
aae9d347aa
Split DocStringParsing in two stages
...
one requiring type info in the next step
2021-06-07 14:49:46 +02:00
chriseth
1f8f1a3db9
Merge pull request #11484 from ethereum/fix-unreachable-code-anaysis
...
Fix revert pruner modifying function flows wrong
2021-06-04 12:44:35 +02:00
chriseth
8da5d6a854
Update test expectations.
2021-06-04 12:04:04 +02:00
chriseth
c92fc7559b
Merge pull request #11487 from ethereum/readme-socials
...
[Readme] Add follow Solidity on Mastodon to socials as Twitter alternative
2021-06-04 10:24:46 +02:00
Franziska Heintel
d6d0079a19
Add Mastodon to socials as Twitter alternative
2021-06-04 09:59:01 +02:00
Daniel Kirchner
1638b21072
Merge pull request #11485 from ethereum/changelogForMod
...
Changelog entry for modifier fix.
2021-06-03 23:25:56 +02:00
Mathias Baumann
d8ffdf11c8
Fix revert pruner modifying function flows wrong
2021-06-03 17:37:50 +02:00
chriseth
a3976198ea
Changelog entry for modifier fix.
2021-06-03 16:57:19 +02:00
chriseth
a8ffa6c08d
Merge pull request #11482 from ethereum/fixUnreachable2
...
Fix control-flow handling of modifiers without body.
2021-06-03 16:56:05 +02:00
Harikrishnan Mulackal
424edcc562
Merge pull request #11475 from ethereum/receive-override
...
Fix ICE related to receive function having parameters.
2021-06-03 14:10:23 +02:00
chriseth
2e3ee4c156
Fix control-flow handling of modifiers without body.
2021-06-03 13:31:15 +02:00
hrkrshnn
c3eef8af91
Fix ICE related to receive function having parameters.
2021-06-03 13:08:57 +02:00
Daniel Kirchner
9be57546db
Merge pull request #11470 from ethereum/cacheVirtualLookup
...
Cache functions by name.
2021-06-03 11:51:08 +02:00
chriseth
a30cf6c3e8
Merge pull request #11480 from ethereum/event-mapping-fatal-error
...
Errors about nested mapping in event parameter are fatal.
2021-06-03 11:39:26 +02:00
chriseth
0d948ebf81
Cache functions by name.
2021-06-03 11:10:35 +02:00
hrkrshnn
2309ae3edd
Added tests for internal or recursive types as event / error param
...
After converting the error about mapping parameter in event / error into a fatal type error, we were
missing tests that reached the "internal or recursive types" error.
2021-06-03 11:02:27 +02:00
hrkrshnn
cc915f023e
Errors about nested mapping in event parameter are fatal.
...
(Also applies for error parameters.)
2021-06-03 11:02:27 +02:00
chriseth
c55d173a28
Merge pull request #11479 from ethereum/fix-ice-when-assigning-implicitly-convertible-function-array-to-storage
...
Fix ICE when assigning implicitly convertible function array to storage
2021-06-03 10:52:21 +02:00
chriseth
b00027724a
Merge pull request #11478 from ethereum/fix-ice-when-calling-invalid-external-function-type
...
Treat invalid external function type as a fatal error
2021-06-03 09:00:38 +02:00
chriseth
93936129f1
Merge pull request #11476 from ethereum/fix-ice-on-library-bound-to-literal
...
Fix ICE in IR when a library is bound to a literal
2021-06-03 08:58:00 +02:00
Kamil Śliwak
ccf658b0e8
Fix assertion preventing assignment of arrays of implicitly convertible function types
2021-06-03 08:56:02 +02:00
chriseth
3c350a63f1
Merge pull request #11472 from ethereum/make-super-skip-unimplemented-functions
...
Make `super` skip unimplemented functions
2021-06-03 08:37:04 +02:00
Kamil Śliwak
4a19c7e495
Treat invalid external function type as a fatal error to prevent the type from being used
...
- `returnParameterTypesWithoutDynamicTypes()` assumes it won't encounter such types.
2021-06-02 21:44:39 +02:00
Kamil Śliwak
d96cc3469a
FunctionDefinition.resolveVirtual(): Skip unimplemented functions when lookup happens via super
2021-06-02 16:16:15 +02:00
Kamil Śliwak
67e87147b4
Extra asserts, test renaming, test for super in modifiers
2021-06-02 16:15:51 +02:00
Kamil Śliwak
3c7112ed2b
Remove the assertion against functions bound to types for which should not be possible
...
- The list was wrong - we do support string and int literals
- The assertion was meant to guard against silently skipping over types for which there is no special handling. The current code handles everything in a generic way though and likely will not have to be adjusted for newly added types so the risk of that happening is low.
2021-06-02 13:59:42 +02:00
chriseth
4cbf9ff74c
Merge pull request #10143 from ethereum/issue-10084
...
ControlFlowAnalyser: Also consider called functions in a flow
2021-06-01 19:34:56 +02:00
Leonardo
21cd76d7d0
Merge pull request #11474 from ethereum/smt_fix_bytes_to_fixed_bytes
...
[SMTChecker] Fix conversion from bytes to fixed bytes
2021-06-01 19:03:14 +02:00
Leonardo
6cea110952
Merge pull request #11467 from ethereum/smt_fix_external_call_from_constructor
...
[SMTChecker] Fix ICE on external calls from constructor
2021-06-01 18:48:47 +02:00
Leo Alt
bf21cd400c
Fix conversion from bytes to fixed bytes
2021-06-01 17:55:18 +02:00
Mathias Baumann
56ebea8b2f
ControlFlowAnalyser: Also consider called functions in a flow
2021-06-01 15:54:37 +02:00
Leonardo
4df51020da
Merge pull request #11465 from ethereum/smt_add_modules_tests
...
Add SMTChecker tests with modules
2021-06-01 15:41:26 +02:00
Leo Alt
547a6915ad
Fix ICE on external calls from constructor
2021-06-01 14:21:48 +02:00