Introduce efa::FunctionEdgeType::Unexpected

2026-06-21 14:07:57 +00:00 · 2025-10-24 16:54:39 +02:00
parent 5b4439f93c
commit 1e55635b65
8 changed files with 15 additions and 2 deletions
@@ -350,6 +350,7 @@ bool FunctionEdgeBase::verify(model::VerifyHelper &VH) const {
  case BrokenReturn:
  case LongJmp:
  case Killer:
+  case Unexpected:
  case Unreachable:
    if (Destination().isValid())
      return VH.fail("Unexpected destination, please use `:Invalid`.");