You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It seems that overriding an inherited virtual function causes a crash!
Not clear whether this is something you want to deal with, since (a) this example also crashes solc, and (b) there are probably other practical ways of avoiding the verification of A.f — other than deleting its body.
$ cat a.sol && solc-verify.py a.sol
pragma solidity ^0.5.0;
contract A {
int x;
/// @notice postcondition x == 0
function f() internal;
}
contract B is A {
function f() internal { }
/// @notice postcondition x == 0;
function g() public { A.f(); }
}
Error while running compiler, details:
Internal compiler error during compilation:
/Users/mje/Code/solidity-boogie/libsolidity/codegen/ContractCompiler.cpp(1036): Throw in function void dev::solidity::ContractCompiler::appendModifierOrFunctionCode()
Dynamic exception type: boost::wrapexcept<langutil::InternalCompilerError>
std::exception::what:
[dev::tag_comment*] =
The text was updated successfully, but these errors were encountered:
I have not yet. I have seen a related issue ethereum#5130 which was fixed in ethereum#5558 in December, but I haven’t determined whether the code we’re using includes ethereum#5558.
It seems that overriding an inherited virtual function causes a crash!
Not clear whether this is something you want to deal with, since (a) this example also crashes
solc
, and (b) there are probably other practical ways of avoiding the verification ofA.f
— other than deleting its body.The text was updated successfully, but these errors were encountered: