Files
revng-revng/include/revng/Yield/ControlFlow/FallthroughDetection.h
2022-06-15 16:03:45 +03:00

29 lines
711 B
C++

#pragma once
//
// This file is distributed under the MIT License. See LICENSE.md for details.
//
#include "llvm/ADT/SmallVector.h"
namespace model {
class Binary;
}
namespace yield {
class BasicBlock;
class Function;
} // namespace yield
namespace yield::cfg {
const yield::BasicBlock *detectFallthrough(const yield::BasicBlock &BasicBlock,
const yield::Function &Function,
const model::Binary &Binary);
llvm::SmallVector<const yield::BasicBlock *, 8>
labeledBlock(const yield::BasicBlock &BasicBlock,
const yield::Function &Function,
const model::Binary &Binary);
} // namespace yield::cfg