aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/SolidityNameAndTypeResolution.cpp
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #3613 from ethereum/require-visibilitychriseth2018-02-281-6/+23
|\
| * Issue error if no visibility is specified (on 0.5.0)Alex Beregszaszi2018-02-271-6/+23
* | Some more scoping tests.chriseth2018-02-271-1/+74
* | Only active variables at the point of their declaration.chriseth2018-02-271-3/+72
* | Enable C99-scoping with the 0.5.0-experimental pragma.chriseth2018-02-271-2/+45
* | Tests for new scoping behaviour.chriseth2018-02-271-0/+44
* | Adjust tests.chriseth2018-02-271-4/+8
|/
* Turn throw into a syntax error for 0.5.0Alex Beregszaszi2018-02-271-1/+10
* Test data location of getter return type.chriseth2018-02-261-0/+20
* Tests for warnings.chriseth2018-02-221-0/+23
* Introduce emit statement.chriseth2018-02-221-0/+33
* Test ``_offset`` for constants in inline assembly.chriseth2018-02-201-0/+15
* Disallow uninitialized storage pointers as experimental 0.5.0 feature.chriseth2018-02-151-0/+32
* Merge pull request #3498 from ethereum/allowthisfselectorchriseth2018-02-141-9/+1
|\
| * Allow `this.f.selector` to be pure.chriseth2018-02-131-9/+1
* | Move string distance function to utils and format error messageBalajiganapathi S2018-02-131-4/+4
* | Suggest alternatives when identifier not found.Balajiganapathi S2018-02-131-0/+87
* | Merge pull request #3349 from federicobond/number-improvAlex Beregszaszi2018-02-131-2/+2
|\ \ | |/ |/|
| * Always use shortened literal number representation.chriseth2018-02-131-1/+1
| * Avoid output messages size blow-up using huge bignums literalsFederico Bond2018-02-131-1/+1
* | Adjust tests for multiple errors with the var keywordAlex Beregszaszi2018-02-131-10/+20
* | Do not use var where not neccessary in testsAlex Beregszaszi2018-02-131-1/+1
|/
* Merge pull request #3479 from ethereum/multiErrorchriseth2018-02-131-36/+86
|\
| * Support searching inside multiple errors.chriseth2018-02-121-36/+86
* | Fix segfault with undeclared array typesFederico Bond2018-02-121-0/+10
|/
* Merge pull request #3360 from federicobond/nonfatal-reference-errorsAlex Beregszaszi2018-02-041-1/+66
|\
| * Add more test cases for reference resolving error handlingFederico Bond2018-02-031-0/+65
| * Replace some fatal errors when resolving references with normal onesFederico Bond2018-02-031-1/+1
* | Issue warning for using public visibility for interface functionsAlex Beregszaszi2018-02-011-1/+7
|/
* Improve error message for wrong struct initialization (#3359)Federico Bond2018-01-041-0/+14
* Simplify ConstantEvaluator.chriseth2017-12-121-1/+1
* Reduce the types of errors outputted by ConstantEvaluatorAlex Beregszaszi2017-12-121-4/+4
* Improve error message for constant evaluatorAlex Beregszaszi2017-12-121-9/+9
* Move some struct tests to require ABIEncoderV2Alex Beregszaszi2017-12-111-0/+4
* Merge pull request #3235 from ethereum/explicit-testsAlex Beregszaszi2017-11-231-4/+4
|\
| * Improve expected test errors for some old casesAlex Beregszaszi2017-11-221-4/+4
* | success(text) -> CHECK_SUCCESS(text)Kwang Yul Seo2017-11-221-13/+13
|/
* Improve cyclic constant error messageAlex Beregszaszi2017-11-221-2/+2
* Detect cyclic constant definitionsBalajiganapathi S2017-11-221-1/+29
* Add more tests for constant var as array lengthsBalajiganapathi S2017-11-221-1/+96
* Allow constant integer variables as array lengths.Balajiganapathi S2017-11-221-1/+23
* Extend address checksum testsAlex Beregszaszi2017-11-171-4/+17
* Add missing name resolver testsFederico Bond2017-10-271-0/+29
* More detailed errors for invalid array lengths (such as division by zero).Alex Beregszaszi2017-10-201-0/+6
* Turn usage of callcode into an error as experimental 0.5.0 featureAlex Beregszaszi2017-10-191-0/+10
* Only check tuples for valid rational numbers if they have more than one element.chriseth2017-10-181-1/+17
* Validate each tuple literalAlex Beregszaszi2017-10-181-1/+32
* Force interface functions as external (0.5.0)Alex Beregszaszi2017-10-061-0/+22
* Merge pull request #3036 from ethereum/constant-eval-refactorchriseth2017-10-061-1/+39
|\
| * Add tests for ConstantEvaluatorAlex Beregszaszi2017-10-061-1/+39
* | Ensure unused variables are not warned for in interfaces/abstract contractsAlex Beregszaszi2017-10-061-0/+20
|/
* Require location keyword for local variables (0.5.0)Alex Beregszaszi2017-10-061-1/+13
* Do not add members of address to contracts in experimental 0.5.0Alex Beregszaszi2017-10-051-0/+58
* Do not consider shadowing in variable names inside event declarationsFederico Bond2017-10-051-0/+11
* Better error message when using fractional number as array size expressionswadeAlexC2017-10-041-3/+3
* Disallow non-pure constant state variables in 0.5.0Federico Bond2017-10-031-4/+27
* Emit error when declaring event with same name and arguments twiceFederico Bond2017-09-301-0/+55
* Unary + now a synax error (experimental 0.5.0)Rhett Aultman2017-09-301-0/+25
* Validate array length in type checkerAlex Beregszaszi2017-09-291-0/+10
* Fix overload resolution when conflict is with members of address (balance, tr...Alex Beregszaszi2017-09-281-0/+23
* Warn about obsolete sha3/suicide callsAlex Beregszaszi2017-09-191-2/+27
* Add tests for constant bytes/stringsAlex Beregszaszi2017-09-191-0/+12
* Merge pull request #2910 from ethereum/fallback-restrict-externalchriseth2017-09-181-0/+32
|\
| * Force fallback to be external (experimental 0.5.0 change)Alex Beregszaszi2017-09-181-0/+32
* | Fixed tests with mappings in structs and added some more.chriseth2017-09-161-2/+90
* | Use "tuple" for struct types in ABI JSON.chriseth2017-09-161-3/+28
* | Fix tests.chriseth2017-09-161-4/+4
* | Fix interface type conversion internal to structs.chriseth2017-09-161-4/+2
* | Tests for external signatures.chriseth2017-09-161-4/+28
* | Function signatures containing structs.chriseth2017-09-161-6/+14
* | Update tests and error messages.chriseth2017-09-161-9/+9
* | Allow structs as part of function interfaces.chriseth2017-09-161-0/+50
|/
* Update type tests to contain mandatory visibility specifiersAlex Beregszaszi2017-09-141-495/+506
* Fix view/pure warnings on selector testsAlex Beregszaszi2017-09-141-14/+14
* Merge pull request #2473 from ethereum/functiontype-sigAlex Beregszaszi2017-09-141-0/+81
|\
| * Rename .sig to .selector on function typesAlex Beregszaszi2017-09-131-11/+11
| * Add tests for function type sigsAlex Beregszaszi2017-09-131-0/+81
* | Merge pull request #2848 from ethereum/checkViewPurechriseth2017-09-141-71/+71
|\ \ | |/ |/|
| * Analyze assembly.chriseth2017-09-061-2/+2
| * New tests for view and pure checker.chriseth2017-09-061-8/+8
| * Change tests to use view or pure as appropriateAlex Beregszaszi2017-09-061-61/+61
* | Display helpful warning for unused function arguments/return parametersSuman2017-09-121-7/+7
* | Change retrieveContract to take name and not indexAlex Beregszaszi2017-09-111-2/+2
|/
* Fix warning checking in test framework.chriseth2017-09-061-4/+4
* Change array too large error message as it is valid for non-calldata tooAlex Beregszaszi2017-09-061-3/+3
* Extract base from NameAndType and use compiler stack.chriseth2017-08-291-223/+35
* Merge pull request #2819 from ethereum/compilerstack-typecheckchriseth2017-08-261-4/+3
|\
| * Update SolidityNameAndTypeResolution to match CompilerStackAlex Beregszaszi2017-08-251-4/+3
* | Warn on using literals in tight packingAlex Beregszaszi2017-08-251-0/+44
|/
* Introduce view (and keep constant as an alias)Alex Beregszaszi2017-08-231-3/+3
* Check inheritance specifier arguments for interfaces.chriseth2017-08-221-0/+9
* Reject the creation of interface with the new statementAlex Beregszaszi2017-08-221-0/+26
* Fix crash related to ``using for`` without a library.chriseth2017-08-211-0/+15
* Library cannot have constructorsAlex Beregszaszi2017-08-211-0/+10
* Use state mutability in override error messagesAlex Beregszaszi2017-08-171-4/+4
* Use state mutability in fallback/constructor checkAlex Beregszaszi2017-08-171-2/+2
* Warn about shift of literals.chriseth2017-08-161-0/+38
* Remove useless payable & constant typecheckAlex Beregszaszi2017-08-141-9/+0
* Merge pull request #2703 from ethereum/warnAboutLargeStorageArrayschriseth2017-08-141-0/+51
|\
| * Warn about large storage structures.chriseth2017-08-121-0/+51
* | Improve and add missing testsFederico Bond2017-08-121-6/+15
|/
* Merge pull request #2712 from ethereum/experimental-metadataAlex Beregszaszi2017-08-121-7/+7
|\
| * Add __test experimental mode for testingAlex Beregszaszi2017-08-111-7/+7
* | Amend expected test messages for SolidityNameAndTypeResolutionZhen Zhang2017-08-111-168/+168
|/
* Add tests for experimental pragmaAlex Beregszaszi2017-08-101-0/+37
* Disable unimplemented library functions insteadAlex Beregszaszi2017-08-081-12/+10
* Raise error when using unimplemented internal library functions.Alex Beregszaszi2017-08-081-0/+24
* Constructors must be implemented if declared.Alex Beregszaszi2017-08-051-39/+11
* Merge pull request #2687 from ethereum/show-unimplemented-funcsAlex Beregszaszi2017-08-051-8/+8
|\
| * Fix tests to use unimplementedFunctionsAlex Beregszaszi2017-08-041-8/+8
* | Three more tests for shadowing.chriseth2017-08-051-0/+30
* | Do not mark overloaded functions as shadowingAlex Beregszaszi2017-08-051-0/+11
|/
* Disallow gas modifier on sha255/ripemd160/ecrecoverAlex Beregszaszi2017-08-021-0/+24
* Add test for disallowed gas/value modifiers on builtinsAlex Beregszaszi2017-08-011-1/+49
* Merge pull request #2635 from ethereum/fixCrashOnAssignmentToNonLValueAlex Beregszaszi2017-07-271-0/+14
|\
| * Test for assigning to non-lvalue.chriseth2017-07-261-0/+14
* | Re-allow multiple modifiers per function.chriseth2017-07-271-1/+1
* | Warn about shadowing variables.Alex Beregszaszi2017-07-251-24/+79
|/
* Cleanup fixed point type changeschriseth2017-07-201-81/+73
* Change fixed point types to have digit countVoR02202017-07-201-54/+50
* Merge pull request #2334 from ethereum/printMultiErrorAlex Beregszaszi2017-07-201-1/+8
|\
| * Print information about types of errors.chriseth2017-07-191-1/+8
* | Add test and changelogAlex Beregszaszi2017-07-191-1/+15
|/
* Mark modifiers as internalAlex Beregszaszi2017-07-191-0/+14
* Add test for explicit type conversion literal stringAlex Beregszaszi2017-07-141-0/+37
* Disable large arrays for memory location tooAlex Beregszaszi2017-07-141-1/+1
* Add tests for large calldata arraysAlex Beregszaszi2017-07-141-0/+25
* Add another transfer testcase.chriseth2017-07-131-0/+18
* Add type error when attempting value transfer to a non-payable contractFederico Bond2017-07-131-0/+70
* Issue proper warning trying to access calldata variables in inline assemblyAlex Beregszaszi2017-07-121-0/+14
* Add failing implicit conversion testAlex Beregszaszi2017-07-111-0/+12
* Fix invalid "explicit storage keyword" warning for reference members of structs.chriseth2017-07-111-1/+1
* Deprecate throw.chriseth2017-07-061-0/+12
* Warn if local storage reference variable does not use "storage" explicitly.chriseth2017-07-061-2/+28
* Warn about callcode.chriseth2017-06-301-1/+26
* Give min and max values in warning message.chriseth2017-06-281-2/+20
* Adjust other tests.chriseth2017-06-281-8/+8
* Fix test error reporting if we ignore warnings.chriseth2017-06-281-3/+9
* Update tests themselveschriseth2017-06-281-2/+2
* Test for var i = 0;chriseth2017-06-281-0/+22
* Merge pull request #2464 from federicobond/deprecate-function-type-nameschriseth2017-06-271-0/+20
|\
| * Warn deprecated usage of parameter names in function typesFederico Bond2017-06-271-0/+20
* | Merge pull request #2437 from ethereum/warnDoubleCopyStorageAlex Beregszaszi2017-06-271-0/+74
|\ \
| * | Some more tests.chriseth2017-06-261-0/+32
| * | Warn about copies in storage that might overwrite unexpectedly.chriseth2017-06-261-0/+42
* | | Update tests for function type comparisonAlex Beregszaszi2017-06-271-0/+11
* | | Tests for comparison of non-comparable types.chriseth2017-06-261-0/+34
|/ /
* | Merge pull request #2450 from ethereum/addressstringAlex Beregszaszi2017-06-261-0/+19
|\ \
| * | Check for address-like strings being treated as addresses.chriseth2017-06-221-0/+19
* | | Merge pull request #2460 from ethereum/disallowMultiModifierAlex Beregszaszi2017-06-261-0/+22
|\ \ \
| * | | Disallow invoking the same modifier multiple times.chriseth2017-06-241-0/+22
* | | | Merge pull request #2449 from federicobond/warn-bytesxx-decimalchriseth2017-06-261-2/+32
|\ \ \ \ | |/ / / |/| | |
| * | | Warn if decimal literals are used in a bytesXX contextFederico Bond2017-06-241-2/+32
| |/ /
* | / Check for constness of address constant.chriseth2017-06-231-0/+10
| |/ |/|
* | Fix segmentation fault with constant function parametersFederico Bond2017-06-221-0/+20
|/
* Fix UTF-8 validation for high codepoints (>10000)Alex Beregszaszi2017-06-161-0/+10
* Merge pull request #2381 from ethereum/fixcrashchriseth2017-06-151-1/+14
|\
| * Fix a crash about a non-callable expression.chriseth2017-06-141-1/+14
* | Additional test.chriseth2017-06-141-0/+8
|/
* Add a warning about a varialbe of the name of an instructionYoichi Hirai2017-06-131-1/+1
* Add a failing test as suggested inYoichi Hirai2017-06-131-0/+9
* Add a test about checking a warningYoichi Hirai2017-06-131-2/+14
* 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 not sha3())Alex Beregszaszi2017-05-301-4/+4
* | Refactor error reportingRhett Aultman2017-05-301-12/+13
|/
* Analyze InlineAssembly for variable useRhett Aultman2017-05-221-0/+14
* 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
* Warn on unused local variablesRhett Aultman2017-05-031-31/+154
* Style and stricter tests.chriseth2017-05-021-1/+9
* Deprecate use of unary '+'Rhett Aultman2017-04-291-1/+10
* 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 ab...chriseth2017-03-221-1/+6
* 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
|\
| * 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
|\ \ | |/ |/|
| * 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
|\ \
| * | 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
|\ \
| * | 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
|\
| * 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
* | 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
|\
| * test: either fix tests to raise just one error, or mark them as raising multi...Yoichi Hirai2016-12-051-32/+112
| * 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
|\
| * test: more precise expectation about the error for assigning into storage in ...Yoichi Hirai2016-12-011-1/+1
* | test: change retrieveFunctionBySignature to take a constant reference rather ...Yoichi Hirai2016-12-011-7/+7
|/
* 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
* Merge pull request #1425 from ethereum/fixLicensingchriseth2016-11-231-4/+4
|\
| * Fix licensing headersVoR02202016-11-231-4/+4
* | test: add a test case about returning a struct in memory from a libraryYoichi Hirai2016-11-231-0/+11
|/
* test: add a test about external function type taking/returning internal funct...Yoichi Hirai2016-11-161-0/+20
* Disallow payable internal functions.chriseth2016-11-161-0/+36
* delete for function typeschriseth2016-11-161-0/+45
* Tests.chriseth2016-11-161-0/+18