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

yul proto fuzzer: Support boolean literal generation

Browse Source
This commit is contained in:
Bhargava Shastry 2020-02-10 20:48:29 +05:30
parent e8eb1f2d14
commit 59e7206c8f
2 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test/tools/ossfuzz/protoToYul.cpp
View File

@ -120,6 +120,8 @@ string ProtoConverter::visit(Literal const& _x)
return "0x" + createHex(_x.hexval()); return "0x" + createHex(_x.hexval());
case Literal::kStrval: case Literal::kStrval:
return "\"" + createAlphaNum(_x.strval()) + "\""; return "\"" + createAlphaNum(_x.strval()) + "\"";
case Literal::kBoolval:
return _x.boolval() ? "true" : "false";
case Literal::LITERAL_ONEOF_NOT_SET: case Literal::LITERAL_ONEOF_NOT_SET:
return dictionaryToken(); return dictionaryToken();
} }
@ -1170,6 +1172,8 @@ void ProtoConverter::visit(CaseStmt const& _x)
if (noDoubleQuoteStr.empty()) if (noDoubleQuoteStr.empty())
yulAssert(literalVal == 0, "Proto fuzzer: Empty string does not evaluate to zero"); yulAssert(literalVal == 0, "Proto fuzzer: Empty string does not evaluate to zero");
} }
else if (_x.case_lit().has_boolval())
literalVal = _x.case_lit().boolval() ? u256(1) : u256(0);
else else
literalVal = u256(literal); literalVal = u256(literal);

1
test/tools/ossfuzz/yulProto.proto
View File

@ -100,6 +100,7 @@ message Literal {
uint64 intval = 1; uint64 intval = 1;
string hexval = 2; string hexval = 2;
string strval = 3; string strval = 3;
bool boolval = 4;
} }
} }