aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/SolidityNameAndTypeResolution.cpp
Commit message (Collapse)AuthorAgeFilesLines
...
* Test for accessing outer inline assembly scope.chriseth2017-06-081-2/+33
|
* Initial EVM1.5 assembly implementation.chriseth2017-06-081-0/+15
|
* Merge pull request #2317 from ethereum/keccak256chriseth2017-05-311-4/+4
|\ | | | | Use keccak256 in tests and replace the SHA3 instruction in assembly
| * Use keccak256() in tests (and not sha3())Alex Beregszaszi2017-05-301-4/+4
| |
* | Refactor error reportingRhett Aultman2017-05-301-12/+13
|/ | | | | | | | | This commit introduces ErrorReporter, a utility class which consolidates all of the error logging functionality into a common set of functions. It also replaces all direct interactions with an ErrorList with calls to an ErrorReporter. This commit resolves issue #2209
* Analyze InlineAssembly for variable useRhett Aultman2017-05-221-0/+14
| | | | | The unused variable checker in StaticAnalyzer did not conssider InlineAssembly objects. This commit introduces that missing feature.
* Fix tests.chriseth2017-05-031-0/+3
|
* Cleanup, style and additional test.chriseth2017-05-031-2/+10
|
* More strict tests.chriseth2017-05-031-7/+7
|
* Treat returns with expressions as return param useRhett Aultman2017-05-031-0/+16
| | | | | | | There are many cases of code where the return parameters exist mostly as a form of documentation. This change ensures that they do not have to be used in the function body so long as there is a return supplying values
* Warn on unused local variablesRhett Aultman2017-05-031-31/+154
| | | | | | Analyze functions for all local variables, parameters, and named return variables which are never used in the function, and issue a warning.
* Style and stricter tests.chriseth2017-05-021-1/+9
|
* Deprecate use of unary '+'Rhett Aultman2017-04-291-1/+10
| | | | | | | The unary '+' serves no meaningful purpose in Solidity and it makes it possible to produce typos with dagerous implications (e.g. 'a =+5 '), so we are deprecating it. The SyntaxChecker currently issues warnings on the unary '+' but will still compile it for now.
* Fix storage access tests.chriseth2017-04-251-5/+5
|
* Review comments.chriseth2017-04-251-0/+30
|
* Make tests comply with stack height checks.chriseth2017-04-251-7/+5
|
* Use actual type checking phase of assembler.chriseth2017-04-251-1/+1
|
* More pure tests.chriseth2017-04-251-0/+8
|
* Test for side-effect free condition.chriseth2017-04-221-0/+13
|
* Change error message.chriseth2017-04-211-2/+2
|
* Warn about side-effect free statements.chriseth2017-04-211-15/+43
|
* Check that contract inheriting from base with unimplemented constructor is ↵chriseth2017-03-221-1/+6
| | | | abstract.
* Disallow private or internal functions in interfacesAlex Beregszaszi2017-03-181-0/+20
|
* Add more complex tests for interfacesAlex Beregszaszi2017-03-181-0/+17
|
* Disallow constructor in interfacesAlex Beregszaszi2017-03-181-1/+1
|
* Disallow enums in interfacesAlex Beregszaszi2017-03-181-0/+10
|
* Use declared instead of definedAlex Beregszaszi2017-03-181-1/+1
|
* Add tests for interfacesAlex Beregszaszi2017-03-181-0/+98
|
* Merge pull request #1698 from ethereum/exp-notationchriseth2017-03-151-24/+0
|\ | | | | Fix scientific notation in number literals
| * Add tests for scientific notationAlex Beregszaszi2017-03-151-24/+0
| |
* | Mention 'transfer' in warning about unchecked 'send'.chriseth2017-03-151-1/+1
| |
* | Turn non-constant constants error into warning.chriseth2017-03-151-2/+4
| |
* | Disallow constants that are neither value types nor strings.chriseth2017-03-131-2/+18
| |
* | Type checking for pure expressions.chriseth2017-03-131-10/+20
| |
* | Some new tests for constant variables.chriseth2017-03-131-0/+50
| |
* | Merge pull request #1751 from ethereum/warnLiteralExpBaseYoichi Hirai2017-03-111-0/+30
|\ \ | |/ |/| Warn if base of exponentiation operation is a literal.
| * Tests for warning about literal constant base in exponentition.chriseth2017-03-071-0/+30
| |
* | Merge pull request #1747 from ethereum/fixICEInternalConstructorYoichi Hirai2017-03-091-0/+18
|\ \ | | | | | | Move privateness of constructor into AST itself.
| * | Test for trying to construct an inconstructible contract before its definition.chriseth2017-03-061-0/+18
| |/
* | Tests for no compound assignment for tuples.chriseth2017-03-081-0/+12
| |
* | Merge pull request #1733 from ethereum/selfReferentialConstantchriseth2017-03-071-8/+41
|\ \ | | | | | | Detect cyclic dependencies between constants.
| * | Check for circular references in constant variables.chriseth2017-03-061-8/+13
| | |
| * | Tests for cyclic dependencies between constants.chriseth2017-03-061-0/+28
| |/
* / Test for uninitialized mapping.chriseth2017-03-061-0/+24
|/
* Test for declaring variable with empty tuple type.chriseth2017-03-021-0/+13
|
* Test case for external function type with calldata argument.chriseth2017-03-011-0/+17
|
* Add type checking test for address methodsAlex Beregszaszi2017-02-241-0/+18
|
* Test for unbalanced stack due to loading two values from outside.chriseth2017-02-201-0/+13
|
* Test case.chriseth2017-02-161-0/+16
|
* Extract scopes into compiler stack.chriseth2017-02-141-1/+2
|
* Refactor NameAndTypeResolver and SyntaxChecker to allow other entry points.chriseth2017-02-141-1/+1
|
* Disallow arrays with negative lengthAlex Beregszaszi2017-02-021-0/+10
|
* Cover both failure casesAlex Beregszaszi2017-02-021-1/+13
|
* Add more tests for function type conversionAlex Beregszaszi2017-02-011-1/+13
|
* Add tests for explicity fuction type to address castingAlex Beregszaszi2017-02-011-0/+12
|
* Refactor json return type generation.chriseth2017-01-271-11/+11
|
* Warn about invalid checksums of addresses.chriseth2017-01-251-0/+49
|
* Merge pull request #1245 from ethereum/1215chriseth2017-01-241-0/+58
|\ | | | | Allow multiple events of the same name
| * test: add tests about functions and events of the same nameYoichi Hirai2017-01-231-0/+47
| |
| * test: Add a test for #1215Yoichi Hirai2017-01-231-0/+11
| | | | | | | | using the original example from @pipermerriam
* | Add tests for internal constructor.chriseth2017-01-211-0/+26
|/
* test: allow multiple errors in modifier-function overridingYoichi Hirai2017-01-121-2/+6
|
* analysis: allow some shadowings explicitlyYoichi Hirai2017-01-121-2/+21
|
* Improve error message when trying to modify constant variablesFederico Bond2016-12-131-0/+11
|
* Warn about using msg.value in non-payable functionFederico Bond2016-12-091-1/+89
|
* Merge pull request #1412 from ethereum/disallow-multiple-errorschriseth2016-12-081-25/+113
|\ | | | | disallow more than one errors in name and type tests
| * test: either fix tests to raise just one error, or mark them as raising ↵Yoichi Hirai2016-12-051-32/+112
| | | | | | | | multiple errors
| * test: disallow more than one errors in name and type testsYoichi Hirai2016-12-051-0/+8
| |
* | test: check error messages in parser testsYoichi Hirai2016-12-071-1/+1
|/
* Migrate remaining source code in tests to R literalsFederico Bond2016-12-041-343/+477
|
* Merge pull request #1462 from ethereum/fix-incorrect-assertionchriseth2016-12-011-1/+1
|\ | | | | codegen: assertion did not assert non-nullness
| * test: more precise expectation about the error for assigning into storage in ↵Yoichi Hirai2016-12-011-1/+1
| | | | | | | | inline assembly
* | test: change retrieveFunctionBySignature to take a constant reference rather ↵Yoichi Hirai2016-12-011-7/+7
|/ | | | | | | than a pointer The function `retrieveFunctionBySignature` expected the argument to be a non-null pointer. This commit makes this assumption more explicit.
* test: add a test about explicitly converting a string literal to stringYoichi Hirai2016-11-251-1/+11
|
* ast: string literals that are not valid UTF are not convertible to stringsYoichi Hirai2016-11-251-1/+1
|
* test: add a test case converting an invalid UTF-8 into a stringYoichi Hirai2016-11-251-0/+10
|
* test: various fixesYoichi Hirai2016-11-251-22/+22
|
* interface: move searchForSubstring out of Error class into a separate fileYoichi Hirai2016-11-241-2/+3
|
* interface: fix the substring searchYoichi Hirai2016-11-241-2/+2
|
* test: wrapping the error message checking in a macroYoichi Hirai2016-11-241-272/+294
|
* test: check the error textsYoichi Hirai2016-11-241-188/+188
| | | | by changing parseAnalyseAndReturnError to return the whole Error, not just the type
* Merge pull request #1425 from ethereum/fixLicensingchriseth2016-11-231-4/+4
|\ | | | | Fix licensing headers
| * Fix licensing headersVoR02202016-11-231-4/+4
| | | | | | | | Signed-off-by: VoR0220 <rj@erisindustries.com>
* | test: add a test case about returning a struct in memory from a libraryYoichi Hirai2016-11-231-0/+11
|/ | | | This fixes #1378
* test: add a test about external function type taking/returning internal ↵Yoichi Hirai2016-11-161-0/+20
| | | | functions
* Disallow payable internal functions.chriseth2016-11-161-0/+36
|
* delete for function typeschriseth2016-11-161-0/+45
|
* Tests.chriseth2016-11-161-0/+18
|
* Fix some type checks and tests for internal / external function parameters.chriseth2016-11-161-4/+28
|
* Code generator for function types.chriseth2016-11-161-0/+33
|
* Function types.chriseth2016-11-161-0/+49
|
* test: add a test conerting an enum into another enum, which should failYoichi Hirai2016-11-121-0/+15
|
* Fail if parsing fails in type checker tests.chriseth2016-11-091-1/+1
|
* test: fix a typo in calling_payable testYoichi Hirai2016-11-091-2/+2
|
* Add tests for #1246Yoichi Hirai2016-10-251-0/+16
|
* Merge pull request #1264 from ethereum/988chriseth2016-10-251-0/+13
|\ | | | | State variable under contract's name
| * test: add tests from #988Yoichi Hirai2016-10-241-0/+13
| |
* | Test.chriseth2016-10-241-3/+16
|/
* Fix crash in throw.chriseth2016-10-241-0/+12
|
* Merge pull request #1240 from ethereum/1151chriseth2016-10-241-0/+17
|\ | | | | ast: super contract type does not contain native members
| * Add a test for #1151Yoichi Hirai2016-10-201-0/+17
| |
* | test: add a test about accessing an enum member without the name of the enumYoichi Hirai2016-10-211-0/+15
| |
* | test: add tests for #1131Yoichi Hirai2016-10-211-0/+17
| | | | | | | | The tests are about enum inheritance.
* | Add tests for inline assembly in modifiersAlex Beregszaszi2016-10-211-0/+51
| |
* | Add two test cases for unbalanced inline assemblyAlex Beregszaszi2016-10-201-0/+28
|/
* Add tests for constant shiftsAlex Beregszaszi2016-10-201-0/+40
|
* Add test case for bound types without selfAlex Beregszaszi2016-10-191-0/+19
|
* Rename dev::sha3 to dev::keccak256Alex Beregszaszi2016-10-061-1/+1
|
* Fix crash for TypeName[k].chriseth2016-09-161-0/+10
|
* Tests for constructor visibilityAlex Beregszaszi2016-09-061-0/+10
|
* Tests for constant constructorsAlex Beregszaszi2016-09-061-0/+11
|
* Reject constant modifier on the fallback functionAlex Beregszaszi2016-09-061-0/+11
|
* Tests for payable / private combination.chriseth2016-09-061-0/+20
|
* Make constant and payable mutually exclusive.chriseth2016-09-061-0/+8
|
* Change function type to include and propagate payable and constant modifier.chriseth2016-09-061-1/+17
|
* Merged in changes from chriseth/payableAlex Beregszaszi2016-09-061-1/+63
|
* Require ";" after "_"chriseth2016-09-051-13/+13
|
* Fix version pragmas in tests.chriseth2016-09-011-1/+1
|
* Version pragma.chriseth2016-09-011-16/+35
|
* Test cases.chriseth2016-08-301-0/+10
|
* Disallow fallback function to return values.chriseth2016-08-261-0/+10
|
* Fix tests.chriseth2016-08-171-10/+10
|
* Require modifiers to contain "_".chriseth2016-08-161-0/+10
|
* Only warn about unused return in low-level functions.chriseth2016-06-261-1/+49
|
* Warn about unused return values.chriseth2016-06-261-0/+25
|
* Tests for implementation by constructor.chriseth2016-06-071-0/+15
|
* Inaccessible dynamic typeschriseth2016-06-021-0/+2
|
* Tests for invalid cleanup and missing bool conversion code.chriseth2016-05-201-0/+12
|
* explicit conversion and loosening of binary operations on integer and fixed ↵VoR02202016-05-191-2/+1
| | | | | | point types...still other problems fixed some spaces and deleted lines from failing test
* current debugging infoVoR02202016-05-191-0/+39
|
* Correctly handle unexpected exceptions during tests.chriseth2016-05-111-2/+34
|
* reorganized tests and fixed mobile types and implicit conversions of ↵VoR02202016-05-101-82/+125
| | | | | | | | rationals and fixed point types one final tweak check for null types
* updated algorithm for bit finding...now to figure out literal valueVoR02202016-05-101-4/+3
| | | | | | | | | | | | tiny fixups changed location of the check got rid of extra space and fixed a couple of things added binary results bits change back literal value
* added bytes conversion tests, resolved that, converted to binary scaling, ↵VoR02202016-05-101-24/+62
| | | | | | | | | | | | refactored the find algo to prevent large numbers and take into account integer bytes think we're good on solidity type name resolution now removed couts updates to documentation and more removed couts along with literal value implementation forgot semicolons
* fixing modulus and Solidity Name and Type ResolutionVoR02202016-05-101-272/+0
| | | | | | minor fixes current attempts at binary fixup
* currently what we haveVoR02202016-05-101-1/+1
|
* got exponents up and working with their inverse, changed a few of the ↵RJ Catalano2016-05-101-41/+131
| | | | | | | | | | | | | | | | | | | | | | | | | | | | tests....something is working that likely shouldn't be slight changes to how to flip the rational negative around...still trying to figure it out tests added updated tests odd differences in trying soltest from solc binary, let me know if you can replicate test not working for odd reason fixed test problem with fixed literals...still need a way to log this error broken up the tests, added some, changed some things in types and began compiler work moar tests and prepping for rebuilding much of the types.cpp file further fixing infinite loop still happening but it's somewhere in the fixedPoint methodd fractional bits needed algo improved! Eliminated 2 errors Corrected problems with the previous commit. No infinite loops. Actually appear to have corrected an error
* fixed problem with var...probably a conversion problem for fixed in size ↵RJ Catalano2016-05-101-2/+70
| | | | | | | | capabilities adding fixed type tests Removing bitshift and regrouping fixed type tests together
* fix for token bug, also quick fix for the wei and secondsRJ Catalano2016-05-101-1/+1
|
* Rational implemented...trying to figure out exponentialRJ Catalano2016-05-101-2/+30
|
* initial work for fixed types...potentially needing a constant literal type ↵RJ Catalano2016-05-101-31/+406
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | for this notation Rational implemented...trying to figure out exponential fix for token bug, also quick fix for the wei and seconds fixed problem with var...probably a conversion problem for fixed in size capabilities adding fixed type tests Removing bitshift and regrouping fixed type tests together size capabilities functioning properly for fixed types got exponents up and working with their inverse, changed a few of the tests....something is working that likely shouldn't be slight changes to how to flip the rational negative around...still trying to figure it out tests added updated tests odd differences in trying soltest from solc binary, let me know if you can replicate test not working for odd reason fixed test problem with fixed literals...still need a way to log this error broken up the tests, added some, changed some things in types and began compiler work moar tests and prepping for rebuilding much of the types.cpp file further fixing initial work for fixed types...potentially needing a constant literal type for this
* Modify failing test: Accessor functions are not available anymore in libraries.chriseth2016-05-041-2/+1
|
* Some more tests.chriseth2016-05-041-0/+14
|
* Remove log.h from solidity.chriseth2016-04-121-1/+0
|
* added solidity invalid fixed type testVoR02202016-03-311-0/+12
|
* Fixed Windows warningsBob Summerwill2016-03-181-1/+1
|
* added keyword type and some tests, changes in lexical castRJ Catalano2016-03-121-0/+13
|
* BREAKING: Implement delegatecall and make default for library calls.chriseth2016-03-121-0/+13
|
* further optimization, splitting function into piecesRJ Catalano2016-02-191-0/+25
| | | | generating strings on the fly, changed name, and added two tests
* added two functions in Token to handle long identifiers, redid ↵RJ Catalano2016-02-191-101/+113
| | | | fromIdentifierOrKeyword, and made complementary changes in scanner and parser
* tests added and changes madeRJ Catalano2016-02-191-101/+131
| | | | | | fixed some silly problems in Token.cpp windows error fix
* changes to redefine the token list, the scanner, and the parser and how they ↵RJ Catalano2016-02-191-108/+109
| | | | | | | | pass around variable types of different sizes not ready for change to FixedPoint just yet made this more const correct and added a switch statement for easier reading
* Test for segfault when using wrong number of constructor arguments.chriseth2016-02-121-0/+15
|
* Index access for bytesXX.chriseth2016-02-101-0/+13
|
* cond-expr: add more unit testsLu Guanqun2016-01-231-0/+150
|
* [cond-expr] don't allow conditional as left value for the first stageLu Guanqun2016-01-231-2/+4
|
* [cond-expr] add test cases for type resolutionLu Guanqun2016-01-231-0/+24
|
* Merge pull request #356 from guanqun/break-not-in-loopchriseth2016-01-211-0/+46
|\ | | | | check whether break/continue is in the loop
| * add another test case for continue not in loopLu Guanqun2016-01-191-0/+15
| |
| * check whether break/continue is in the loopLu Guanqun2016-01-151-0/+31
| |
* | Update SolidityNameAndTypeResolution.cppLiana Husikyan2016-01-161-1/+0
| |
* | Update SolidityNameAndTypeResolution.cppLiana Husikyan2016-01-161-1/+0
| |
* | fixed assert on EI creation for structs containing only mapping or arraysLianaHus2016-01-161-0/+13
|/
* clarification on dynamic arrays, switcheroo on typepointer, and a ↵RJ Catalano2016-01-121-2/+2
| | | | documentation test added
* added documentation and one last test for struct creation inlineRJ Catalano2016-01-121-0/+16
|
* final changes to typechecker, the expression compiler, and a couple more ↵RJ Catalano2016-01-121-0/+25
| | | | tests for good measure
* Update SolidityNameAndTypeResolution.cppRJ2016-01-111-1/+0
|
* Update with type resolution tests for arraysRJ2016-01-101-8/+76
|
* Merge pull request #308 from chriseth/fixoverloadbugchriseth2015-12-211-0/+11
|\ | | | | Fix bug preventing overloads of different array types.
| * Fix bug preventing overloads of different array types.chriseth2015-12-181-0/+11
| |
* | Add structs and enums to contract types.chriseth2015-12-181-0/+15
|/
* forgot about this one...again making this purely about ↵RJ Catalano2015-12-171-2/+2
| | | | parsing...typechecking will come another day
* making this purely about parsing...type checking will go in a different PRRJ Catalano2015-12-171-2/+2
|
* new testsRJ Catalano2015-12-161-0/+26
|
* Also check the object type for bound functions.chriseth2015-11-291-0/+45
|
* Add bound functions to types.chriseth2015-11-291-0/+93
|
* Added the `using x for y` directive.chriseth2015-11-271-0/+22
|
* Type checking for creating new arrays.chriseth2015-11-261-1/+37
|
* Allow "new expressions" also for general type names.chriseth2015-11-261-0/+18
| | | | | | | Breaking change: If you want to send value with a contract creation, you have to use parentheses now: `(new ContractName).value(2 ether)(arg1, arg2)`
* Fix segfault during test.chriseth2015-11-161-1/+1
|
* style fixesLianaHus2015-11-071-2/+2
|
* fixed test frameworkLianaHus2015-11-071-17/+20
|
* File reorganisation.chriseth2015-10-211-6/+6
|
* Correctly parse ambiguities like `A.B[10] x` and `x.y[10] = 3`.chriseth2015-10-161-0/+21
|
* Some fixes taking other pull requests into account.chriseth2015-10-161-8/+4
|
* Tuple expressions.chriseth2015-10-151-0/+27
|
* renaming in test frameworkLianaHus2015-10-151-195/+195
|
* mainly style fixes/renamingLianaHus2015-10-151-81/+91
|
* fixLianaHus2015-10-151-2/+0
|
* fixed new testsLianaHus2015-10-151-22/+14
|
* errors instead of exceptionsLianaHus2015-10-151-144/+136
| | | | | | | | | Conflicts: libsolidity/CompilerStack.cpp libsolidity/NameAndTypeResolver.cpp libsolidity/NameAndTypeResolver.h libsolidity/TypeChecker.cpp test/libsolidity/SolidityNameAndTypeResolution.cpp
* Some further test fixes.chriseth2015-10-131-1/+2
|
* Some more tests and typos fixed.chriseth2015-10-131-0/+25
|
* Multi-variable declarations.chriseth2015-10-131-0/+59
|
* Introduced tuple type and added multi variable declarations to typechriseth2015-10-101-2/+2
| | | | checker.
* Tests for multi variable declaration.chriseth2015-10-091-0/+8
|
* Check invalid integer constants for functions accepting arbitrary arguments.chriseth2015-10-081-2/+13
|
* Resolve binary dependencies properly.chriseth2015-10-071-0/+20
|
* Allow four indexed arguments for anynomous events.chriseth2015-10-071-0/+18
|
* Compute canonical names of types for function signatures.chriseth2015-10-061-5/+5
|
* Report warning in tests if requested.chriseth2015-10-031-13/+11
|
* -fixed the warning printingLianaHus2015-10-021-3/+3
| | | | -style fixes
* added warning for noninitialized references in storage.LianaHus2015-10-021-9/+23
|
* added testLianaHus2015-10-021-0/+18
|
* Test that literal strings cannot be assigned to storage pointers.chriseth2015-09-231-0/+10
|
* Refactoring: Check types outside of AST and recover from some errors.chriseth2015-09-221-210/+251
|
* style fixLianaHus2015-09-151-6/+6
|
* moved the testLianaHus2015-09-151-1/+14
| | | | | | Conflicts: test/libsolidity/SolidityEndToEndTest.cpp test/libsolidity/SolidityNameAndTypeResolution.cpp
* Merge pull request #66 from chriseth/sol_librarieschriseth2015-09-121-0/+49
|\ | | | | Calling libraries.
| * Possibility to call library functions.chriseth2015-09-111-0/+16
| |
| * Parsing and type checking of libraries without inheritance.chriseth2015-09-111-0/+33
| |
* | Merge pull request #69 from LianaHus/sol_enum_too_many_indexed_argschriseth2015-09-111-1/+0
|\ \ | |/ |/| too many indexed arguments for event
| * add call for EventDefinition::checkTypeRequirements()LianaHus2015-09-111-1/+0
| |
* | style fixesLianaHus2015-09-111-1/+1
| |
* | added type check if the type of the var decl is one of base contract typeLianaHus2015-09-101-0/+12
|/
* renamed getter functionsLianaHus2015-09-081-27/+27
|
* Move Solidity tests.chriseth2015-08-201-0/+2201
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-18 05:19:40 +0800