cerc-io/solidity
10
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

WIP

Browse Source
This commit is contained in:
Bhargava Shastry 2019-12-28 19:18:09 +01:00
parent 3324762c37
commit 60930ca119
1 changed files with 32 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
test/tools/ossfuzz/protomutators/YulProtoMutator.cpp
View File

@ -229,6 +229,38 @@ static YulProtoMutator invertForCondition(
} }
); );
/// Remove inverted condition of a for statement
static YulProtoMutator removeInvertedForCondition(
ForStmt::descriptor(),
[](google::protobuf::Message* _message, unsigned int _seed)
{
ForStmt* forStmt = static_cast<ForStmt*>(_message);
if (_seed % YulProtoMutator::s_mediumIP == 1)
{
if (forStmt->has_for_cond() &&
forStmt->for_cond().has_unop() &&
forStmt->for_cond().unop().has_op() &&
forStmt->for_cond().unop().op() == UnaryOp::NOT
)
{
#ifdef DEBUG
std::cout << protobuf_mutator::SaveMessageAsText(*_message) << std::endl;
std::cout << "YULMUTATOR: Remove For condition inverted" << std::endl;
#endif
Expression *oldCondition = forStmt->release_for_cond();
UnaryOp *unop = oldCondition->release_unop();
Expression *newCondition = unop->release_operand();
forStmt->set_allocated_for_cond(newCondition);
delete oldCondition;
delete unop;
#ifdef DEBUG
// std::cout << protobuf_mutator::SaveMessageAsText(*_message) << std::endl;
#endif
}
}
}
);
/// Make for loop condition a function call that returns a single value /// Make for loop condition a function call that returns a single value
static YulProtoMutator funcCallForCondition( static YulProtoMutator funcCallForCondition(
ForStmt::descriptor(), ForStmt::descriptor(),