mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
RootAnalyzer: do not mark exitTB as noreturn
This commit is contained in:
@@ -69,10 +69,7 @@ public:
|
||||
|
||||
for (Function &Marker : FunctionTags::Marker.functions(M)) {
|
||||
StringRef MarkerName = Marker.getName();
|
||||
if (llvm::count(NoReturns, MarkerName) != 0) {
|
||||
// Preserve but mark as noreturn
|
||||
Marker.setDoesNotReturn();
|
||||
} else {
|
||||
if (llvm::count(NoReturns, MarkerName) == 0) {
|
||||
for (CallBase *Call : callersIn(&Marker, &F)) {
|
||||
// Register the call to be erased
|
||||
ToErase.push_back(Call);
|
||||
|
||||
Reference in New Issue
Block a user