cerc-io/solidity
10
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

Add test to check ConstantEvaluator for pure non-rational functions.

Browse Source
This commit is contained in:
Daniel Kirchner 2018-04-12 10:39:13 +02:00
parent 932915633b
commit d42476e241
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
test/libsolidity/syntaxTests/constants/pure_non_rational.sol Normal file
View File

@ -0,0 +1,11 @@
// Tests that the ConstantEvaluator does not crash for pure non-rational functions.
// Currently it does not evaluate such functions, but this may change in the future
// causing a division by zero error for a.
contract C {
uint constant a = 1 / (uint(keccak256([0])[0]) - uint(keccak256([0])[0]));
uint constant b = 1 / uint(keccak256([0]));
uint constant c = uint(keccak256([0]));
uint[c] mem;
}
// ----
// TypeError: (392-393): Invalid array length, expected integer literal or constant expression.