Commit Graph
1323 Commits
Author SHA1 Message Date
chriseth e702202bdf Merge remote-tracking branch 'origin/develop' into HEAD 2022-05-18 12:14:56 +02:00
chriseth dfa0bcf760 More strict override check for data locations. 2022-05-17 13:02:12 +02:00
chriseth a137d42094 Merge pull request #13007 from ethereum/develop
Merge develop into breaking.
2022-05-11 16:39:24 +02:00
chriseth 505fa7763f Fix checks for "using for ... global" for libraries. 2022-05-02 12:40:56 +02:00
chriseth a433511128 Merge remote-tracking branch 'origin/develop' into breaking 2022-04-13 17:08:27 +02:00
Ryan 3a17274691 Improve error message for static array with size too large 2022-04-05 17:36:37 +02:00
chriseth 755e043a6d Use error message for unary operators. 2022-04-04 16:53:36 +05:30
nishant-sachdeva 4c6066bfad typeCheckAbiEncodeCallFunction should type check the arguments on functionPointerType->asExternallyCallableFunction instead of teh plain function type 2022-03-24 18:53:46 +05:30
chriseth 0d96c5c8a5 Merge remote-tracking branch 'origin/develop' into breaking 2022-03-16 15:41:37 +01:00
chriseth 28593839d9 Add helper to see if a switch has a default case. 2022-03-15 14:29:54 +01:00
chriseth 9188519f11 Using for with global binding. 2022-03-14 17:39:14 +01:00
Daniel Kirchner 0f1a63c3fa Fix import directive visits in type checker and view pure checker. 2022-03-14 14:53:06 +01:00
hrkrshnn 672951ccc7 Extend using-for. 2022-03-14 12:33:44 +01:00
Daniel Kirchner 09f667948b Merge pull request #12746 from tfire/fix/remove-namespace-ast-annotations
Remove use of `using namespace` in header file
2022-03-11 12:49:13 +01:00
nishant-sachdeva 624d2d3968 Error messages from abi encodecall are giving more details about the types of the involved variables 2022-03-11 16:14:55 +05:30
Tyler 047034544e Merge branch 'develop' of github.com:tfire/solidity into fix/remove-namespace-ast-annotations 2022-03-09 18:55:22 -05:00
Tyler 519e1c9402 Specify namespaces
Fix references into solidity::util
2022-03-08 00:09:17 -05:00
chriseth 6b88e470ff Merge remote-tracking branch 'origin/develop' into breaking 2022-03-07 16:34:55 +01:00
Daniel Kirchner 290b1c3a90 Allow memory-safe inline assembly dialect flag. 2022-03-02 17:07:11 +01:00
Daniel Kirchner 9bcfcc61a7 Inline assembly without memory effects is implicitly memory safe. 2022-03-02 16:42:28 +01:00
Daniel Kirchner e6848caac1 Allow annotating inline assembly as memory-safe. 2022-03-02 16:42:28 +01:00
Marenz 175580fe90 Make error message less confusing 2022-02-17 16:52:36 +01:00
chriseth 0801c48e11 Merge remote-tracking branch 'origin/develop' into breaking 2022-02-17 09:42:15 +01:00
Daniel Kirchner c47da51eab Consider all grandparents in override analysis. 2022-02-14 15:31:31 +01:00
nishant-sachdeva 276851ff91 Added support for FunctionType::Kind::StringConcat and functions string.concat 2022-02-10 22:08:47 +05:30
chriseth 649029da92 Merge pull request #12646 from ethereum/develop
Merging develop into breaking.
2022-02-08 12:00:34 +01:00
nishant-sachdeva cc6344c03c Changed instaces of isByteArrayOrString() to isByteArray() where it's only supposed to return a True for Bytes Type 2022-02-02 17:05:26 +05:30
nishant-sachdeva 9043621747 Changed occurences of isByteArray() to isByteArrayOrString(). The idea
is to, in a future commit, replace such occurences of
isByteArrayOrString() which are required to return True only for Bytes
type with a new isByteArray() function.
2022-02-02 14:19:58 +05:30
chriseth 814e233b67 Merge pull request #12604 from ethereum/develop
Merge develop into breaking
2022-01-31 17:59:03 +01:00
Mathias L. Baumann b6dbfdf79b Merge pull request #12494 from ethereum/AST-ImportDirective-traversal-fix
Adds missing accepts to ImportDirective's SymbolAlias::symbol.
2022-01-24 13:27:00 +01:00
Marenz 7c0a121e45 Natspec: Fix ICE when overriding a struct getter with a Natspec-documented return value and the name in the struct is different. 2022-01-17 17:10:07 +01:00
Marenz 0004ad8764 Fix ICE when a constant variable declaration forward references a struct 2022-01-17 13:24:14 +01:00
Marenz 2c4c8264e4 Fix wrong error with immutables when base contract c'tor uses return 2022-01-13 13:09:36 +01:00
Christian Parpart f5ff358add Adds missing accepts to ImportDirective's SymbolAlias::symbol 2022-01-10 19:32:28 +01:00
Mathias L. Baumann 63b6bbe15c Merge pull request #12471 from ethereum/modifiers-control-flow-11483
Properly generated control flows for inherited modifiers
2022-01-06 13:39:50 +01:00
Marenz e969aed780 Properly resolve virtual modifiers 2022-01-06 12:52:06 +01:00
chriseth e3bb5ab7b2 Merge pull request #12431 from ethereum/fixFun2
Safer constructors for FunctionType
2022-01-04 18:18:21 +01:00
chriseth 4c838d9cf5 abi.encodeCall for declarations. 2021-12-29 12:26:04 +01:00
chriseth f94279a437 Use options struct for function type factory function. 2021-12-23 12:05:14 +01:00
chriseth 017519f555 Merge remote-tracking branch 'origin/develop' into breaking 2021-12-21 18:14:45 +01:00
mejsiej ddd9a84141 Improve failure message when generating getter. 2021-12-20 18:16:27 +01:00
chriseth 923d1cf2d2 Merge pull request #12423 from ethereum/develop
Merge develop into breaking.
2021-12-20 11:40:40 +01:00
Marenz 7a96953e78 Implement typechecked abi.encodeCall() 2021-12-16 17:35:58 +01:00
chriseth 0bbf58ec5e Merge pull request #12376 from ethereum/develop
Merge `develop` into `breaking`
2021-12-13 12:59:33 +01:00
nishant-sachdeva a4fbc607c6 Issue 11610 : Replced typeError with fataTypeError in lines 390 and 406. Test file added in test/libsolidity/syntaxTests/calldata_struct_argument_with_internal_type_inside.sol
Issue : 11610 : Test cases updated, Changelog.md file updated to include change on 0.8.11
2021-12-03 12:23:35 +05:30
chriseth 8c6e5e501b Merge remote-tracking branch 'origin/develop' into breaking 2021-10-27 18:09:13 +02:00
hrkrshnn 8815d6f5f0 Moved a check related to constants to TypeChecker
And added a proper error message when constant types containing (nested) mapping types are used.
2021-10-26 18:43:04 +02:00
hrkrshnn 51009c005d Moved a canBeStored assert for struct members to TypeChecker
This is to avoid a assert from failing for forward declared user defined value types.
2021-10-26 18:43:04 +02:00
hrkrshnn 9428dbc94f Moved storage size assert to TypeChecker from DeclarationTypeChecker 2021-10-26 18:43:04 +02:00
chriseth e239f62b64 Merge remote-tracking branch 'origin/develop' into HEAD 2021-10-19 18:24:42 +02:00