cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Show proper error when trying to emit a non-event

Browse Source
This commit is contained in:
Alex Beregszaszi 2018-05-04 05:21:28 +01:00 committed by chriseth
parent 5738f93704
commit ffe7f224a6
3 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Changelog.md
View File

@ -8,6 +8,7 @@ Features:
* Type Checker: Make literals (without explicit type casting) an error for tight packing as experimental 0.5.0 feature.
Bugfixes:
* Type Checker: Show proper error when trying to ``emit`` a non-event.
* Type Checker: Warn about empty tuple components (this will turn into an error with version 0.5.0).

1
libsolidity/analysis/TypeChecker.cpp
View File

@ -1067,6 +1067,7 @@ void TypeChecker::endVisit(EmitStatement const& _emit)
{
if (
_emit.eventCall().annotation().kind != FunctionCallKind::FunctionCall ||
type(_emit.eventCall().expression())->category() != Type::Category::Function ||
dynamic_cast<FunctionType const&>(*type(_emit.eventCall().expression())).kind() != FunctionType::Kind::Event
)
m_errorReporter.typeError(_emit.eventCall().expression().location(), "Expression has to be an event invocation.");

10
test/libsolidity/syntaxTests/emit_non_event.sol Normal file
View File

@ -0,0 +1,10 @@
contract C {
uint256 Test;
function f() {
emit Test();
}
}
// ----
// TypeError: (56-62): Type is not callable
// TypeError: (56-60): Expression has to be an event invocation.