admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Model: sunset double name system

Browse Source
This commit is contained in:
Ivan Krysak
2024-12-12 09:17:07 +02:00
parent 25790b5a78
commit f070f1f1e1
208 changed files with 706 additions and 1543 deletions
Download Patch File Download Diff File Expand all files Collapse all files
lib/EarlyFunctionAnalysis/ControlFlowGraph.cpp
+2 -3
View File
@@ -343,9 +343,8 @@ bool FunctionEdgeBase::verify(model::VerifyHelper &VH) const {
return true;
}
model::Identifier BasicBlock::name() const {
using llvm::Twine;
return model::Identifier(std::string("bb_") + ID().toString());
std::string BasicBlock::name() const {
return "bb_" + ID().toString();
}
bool BasicBlock::verify() const {