Christian Parpart a211b89118 Enforce disallowing empty structs ...

This patch enfoces an error when it encounters an empty struct,
effectively eliminating the deprecation warning.

Also adjust 419_interface_structs to explicitely test for (non-empty) structs,
as this behaviour "may" change in the future.

2018-06-14 00:24:43 +01:00

..

ConstantEvaluator.cpp

Fix ConstantEvaluator to correctly handle single element tuples.

2018-04-11 18:30:34 +02:00

ConstantEvaluator.h

Fix ConstantEvaluator to correctly handle single element tuples.

2018-04-11 18:30:34 +02:00

ControlFlowAnalyzer.cpp

Add control flow analyzer and test for uninitialized storage returns.

2018-05-14 20:23:40 +02:00

ControlFlowAnalyzer.h

Add control flow analyzer and test for uninitialized storage returns.

2018-05-14 20:23:40 +02:00

ControlFlowBuilder.cpp

Update control flow graph.

2018-05-16 18:32:48 +02:00

ControlFlowBuilder.h

Add control flow graph.

2018-05-14 20:23:40 +02:00

ControlFlowGraph.cpp

Add control flow graph.

2018-05-14 20:23:40 +02:00

ControlFlowGraph.h

Add control flow graph.

2018-05-14 20:23:40 +02:00

DeclarationContainer.cpp

Allow function overloads involving MagicVariableDeclarations.

2018-04-12 13:09:37 +02:00

DeclarationContainer.h

Only active variables at the point of their declaration.

2018-02-27 12:17:25 +01:00

DocStringAnalyser.cpp

Ensure parameter names match between headers and implementation

2017-09-20 01:23:21 +01:00

DocStringAnalyser.h

Remove parsing of why3 doc strings

2017-06-30 22:34:03 +01:00

GlobalContext.cpp

Merge pull request #3364 from ethereum/revertWithReason

2018-04-12 21:01:08 +02:00

GlobalContext.h

Fix licensing headers

2016-11-23 12:22:33 +01:00

NameAndTypeResolver.cpp

Register overload for `revert()` that can receive a reason string.

2018-04-12 13:09:37 +02:00

NameAndTypeResolver.h

Only active variables at the point of their declaration.

2018-02-27 12:17:25 +01:00

PostTypeChecker.cpp

Generalize cycle detection.

2018-04-03 16:29:18 +02:00

PostTypeChecker.h

Generalize cycle detection.

2018-04-03 16:29:18 +02:00

ReferencesResolver.cpp

Allow using calldata keyword to specify data location

2018-05-30 18:05:55 +08:00

ReferencesResolver.h

Only active variables at the point of their declaration.

2018-02-27 12:17:25 +01:00

SemVerHandler.cpp

Fix licensing headers

2016-11-23 12:22:33 +01:00

SemVerHandler.h

Resolve build-stopping error about 'minor' and 'major' being defined in <sys/types.h>

2017-03-09 17:03:19 -08:00

StaticAnalyzer.cpp

Stricter check for member access to "this" in constructor.

2018-04-13 15:57:13 +02:00

StaticAnalyzer.h

Error on invalid arithmetic with constant expressions.

2018-04-11 21:17:10 +02:00

SyntaxChecker.cpp

Enforce disallowing empty structs

2018-06-14 00:24:43 +01:00

SyntaxChecker.h

Disallow empty structs

2018-03-27 15:49:41 +01:00

TypeChecker.cpp

Disallow sha3/suicide aliases

2018-06-12 18:16:18 +01:00

TypeChecker.h

Move constructor argument override check to TypeChecker and reuse annotations in ContractCompiler.

2018-04-09 15:26:08 +02:00

ViewPureChecker.cpp

Fix view/pure error ordering problem.

2018-06-04 17:00:37 +02:00

ViewPureChecker.h

Allow this.f.selector to be pure.

2018-02-13 11:00:59 +01:00