diff options
author | van Hauser <vh@thc.org> | 2020-03-10 07:14:42 +0100 |
---|---|---|
committer | van Hauser <vh@thc.org> | 2020-03-10 07:14:42 +0100 |
commit | 1148a2d0d1ce43ab89e14eefb70bc410726838c4 (patch) | |
tree | 4c2a69940d07cb2fadd8b8a5cbbfdb7f902c8d36 /llvm_mode/MarkNodes.cc | |
parent | 38d9aedb26d6c4530763a29fe7695155a21ffbbc (diff) | |
download | afl++-1148a2d0d1ce43ab89e14eefb70bc410726838c4.tar.gz |
document new environment variables and code format
Diffstat (limited to 'llvm_mode/MarkNodes.cc')
-rw-r--r-- | llvm_mode/MarkNodes.cc | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/llvm_mode/MarkNodes.cc b/llvm_mode/MarkNodes.cc index b8587826..cff6c90a 100644 --- a/llvm_mode/MarkNodes.cc +++ b/llvm_mode/MarkNodes.cc @@ -393,10 +393,9 @@ bool MarkSubGraph(uint32_t ss, uint32_t tt) { MakeUniq(TopoOrder[i]); } - - // Check if there is an empty path. - if (NextMarked[tt].count(TopoOrder[0]) > 0) - return true; + + // Check if there is an empty path. + if (NextMarked[tt].count(TopoOrder[0]) > 0) return true; return false; } @@ -422,7 +421,7 @@ void MarkVertice() { timeStamp = 0; uint32_t t = 0; - bool emptyPathExists = true; + bool emptyPathExists = true; while (s != t) { @@ -430,10 +429,12 @@ void MarkVertice() { t = DominatorTree::idom[t]; } - + if (emptyPathExists) { + // Mark all exit blocks to catch the empty path. Marked.insert(t_Pred[0].begin(), t_Pred[0].end()); + } } |