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

Merge pull request #10539 from blishko/test-issue-10502

Browse Source 
[SMTChecker] Adding test witnessing that SMTChecker no longer crashes when producing CEX with arrays
This commit is contained in:
Leonardo 2020-12-09 11:03:53 +01:00 committed by GitHub
commit 3ca4a5136d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
test/libsolidity/smtCheckerTests/overflow/overflow_mul_cex_with_array.sol Normal file
View File

@ -0,0 +1,10 @@
pragma experimental SMTChecker;
contract C {
function f(bytes calldata x, uint y) external pure {
x[8][0];
x[8][5*y];
}
}
// ----
// Warning 4984: (118-121): CHC: Overflow (resulting value larger than 2**256 - 1) happens here.