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 #9273 from ethereum/RemoveIncorrectYulFuzzAssertFailure

Browse Source 
yul proto fuzzer: Remove assertion that no errors/warnings while pars…
This commit is contained in:
chriseth 2020-07-01 11:12:12 +02:00 committed by GitHub
commit 9d6413df86
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 13 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
test/tools/ossfuzz/yulProtoFuzzer.cpp
View File

@ -59,13 +59,13 @@ DEFINE_PROTO_FUZZER(Program const& _input)
);
// Parse protobuf mutated YUL code
if (!stack.parseAndAnalyze("source", yul_source))
return;
yulAssert(stack.errors().empty(), "Parsed successfully but had errors.");
if (!stack.parserResult()->code || !stack.parserResult()->analysisInfo)
return;
if (
!stack.parseAndAnalyze("source", yul_source) ||
!stack.parserResult()->code ||
!stack.parserResult()->analysisInfo ||
!Error::containsOnlyWarnings(stack.errors())
)
yulAssert(false, "Proto fuzzer generated malformed program");
// Optimize
stack.optimize();

8
test/tools/ossfuzz/yulProto_diff_ossfuzz.cpp
View File

@ -77,8 +77,12 @@ DEFINE_PROTO_FUZZER(Program const& _input)
);
// Parse protobuf mutated YUL code
if (!stack.parseAndAnalyze("source", yul_source) || !stack.parserResult()->code ||
!stack.parserResult()->analysisInfo)
if (
!stack.parseAndAnalyze("source", yul_source) ||
!stack.parserResult()->code ||
!stack.parserResult()->analysisInfo ||
!Error::containsOnlyWarnings(stack.errors())
)
{
printErrors(std::cout, stack.errors());
yulAssert(false, "Proto fuzzer generated malformed program");