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

Introduce unchecked basic blocks.

Browse Source
This commit is contained in:
Bhargava Shastry
2021-06-09 18:38:20 +02:00
parent 1c43ecf9c8
commit 52f227e40a
2 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/tools/ossfuzz/SolidityGenerator.cpp
+3 -1
View File
@@ -303,7 +303,9 @@ string BlockStmtGenerator::visit()
return "\n";
incrementNestingDepth();
ostringstream block;
block << indentation() + "{\n";
// Make block unchecked with a small probability
bool unchecked = uRandDist->probable(s_uncheckedInvProb);
block << indentation() + (unchecked ? "unchecked " : "") + "{\n";
state->indent();
block << visitChildren();
state->unindent();
test/tools/ossfuzz/SolidityGenerator.h
+1
View File
@@ -876,6 +876,7 @@ private:
size_t m_nestingDepth;
static constexpr unsigned s_maxStatements = 4;
static constexpr unsigned s_maxNestingDepth = 3;
static constexpr size_t s_uncheckedInvProb = 13;
};
class SolidityGenerator: public std::enable_shared_from_this<SolidityGenerator>