From a5100a32cedab5555dd147073dc4e7928dbcb891 Mon Sep 17 00:00:00 2001
From: Andrea Gussoni <andreagus@rev.ng>
Date: Fri, 20 Jun 2025 14:04:51 +0200
Subject: [PATCH] RestructureCFG: introduce soft failure

Soft fail for `ContinueBackedges` size.
---
 lib/RestructureCFG/RestructureCFG.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/lib/RestructureCFG/RestructureCFG.cpp b/lib/RestructureCFG/RestructureCFG.cpp
index 4c6080ad8..cf720a41a 100644
--- a/lib/RestructureCFG/RestructureCFG.cpp
+++ b/lib/RestructureCFG/RestructureCFG.cpp
@@ -793,7 +793,12 @@ bool restructureCFG(Function &F, ASTTree &AST) {
       }
     }
 
+    // The following should be an assert, but since the backend is in
+    // maintenance mode, we have an early return to propagate an early failure.
     // Verify that we found at least one backedge
+    if (not(ContinueBackedges.size() > 0)) {
+      return false;
+    }
     revng_assert(ContinueBackedges.size() > 0);
 
     revng_assert(Head != nullptr);