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

[TMP] Repros for crashes in semantic tests

Browse Source
This commit is contained in:
Kamil Śliwak 2023-09-05 17:29:38 +02:00
parent acad00f461
commit 206c06f0b3
5 changed files with 56 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
test/libsolidity/semanticTests/experimental/crash/if_codegen.sol Normal file
View File

@ -0,0 +1,12 @@
pragma experimental solidity;
contract C {
fallback() external {
let x: bool;
if (x) {}
else {}
}
}
// ----
// (): ->

9
test/libsolidity/semanticTests/experimental/crash/integer_abs.sol Normal file
View File

@ -0,0 +1,9 @@
pragma experimental solidity;
contract C {
fallback() external {
integer.abs();
}
}
// ----
// () ->

13
test/libsolidity/semanticTests/experimental/crash/return_int_literal_crash.sol Normal file
View File

@ -0,0 +1,13 @@
pragma experimental solidity;
type X = word;
class T: TC {}
instantiation X: TC {
function f() -> bool {
return 1;
}
}
// ----
// () ->

13
test/libsolidity/semanticTests/experimental/crash/return_string_literal_crash.sol Normal file
View File

@ -0,0 +1,13 @@
pragma experimental solidity;
type X = word;
class T: TC {}
instantiation X: TC {
function f() -> bool {
return "";
}
}
// ----
// () ->

9
test/libsolidity/semanticTests/experimental/crash/revert.sol Normal file
View File

@ -0,0 +1,9 @@
pragma experimental solidity;
contract C {
fallback() external {
revert;
}
}
// ----
// () ->