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 #10593 from ethereum/someMoreTests

Browse Source 
Some more tests for overflow.
This commit is contained in:
Harikrishnan Mulackal 2020-12-14 19:41:10 +01:00 committed by GitHub
commit 90a0bbefa3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/libsolidity/semanticTests/viaYul/detect_add_overflow_signed.sol
View File

@ -35,3 +35,5 @@ contract C {
// g(int8,int8): -1, -127 -> -128
// g(int8,int8): -127, -2 -> FAILURE, hex"4e487b71", 0x11
// g(int8,int8): -2, -127 -> FAILURE, hex"4e487b71", 0x11
// g(int8,int8): -128, 0 -> -128
// g(int8,int8): 0, -128 -> -128

2
test/libsolidity/semanticTests/viaYul/detect_mod_zero_signed.sol
View File

@ -33,3 +33,5 @@ contract C {
// g(int8,int8): 0, 0 -> FAILURE, hex"4e487b71", 0x12
// g(int8,int8): 0, 1 -> 0
// g(int8,int8): 0, -1 -> 0
// g(int8,int8): -128, -128 -> 0
// g(int8,int8): -128, 127 -> -1