From c4badcf63381688fa2875cd0afcb6bc45f5cf3ec Mon Sep 17 00:00:00 2001
From: Mason Reed <mason@vector35.com>
Date: Tue, 12 Nov 2024 15:30:09 -0500
Subject: WARP: Allow skipping trivial function constraints

---
 plugins/warp/src/lib.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'plugins/warp/src/lib.rs')

diff --git a/plugins/warp/src/lib.rs b/plugins/warp/src/lib.rs
index 2c50d978..e49e7605 100644
--- a/plugins/warp/src/lib.rs
+++ b/plugins/warp/src/lib.rs
@@ -35,7 +35,8 @@ pub fn build_function<A: Architecture, M: FunctionMutability, V: NonSSAVariant>(
         ty: from_bn_type(&func.view(), &bn_fn_ty, 255),
         constraints: FunctionConstraints {
             // NOTE: Adding adjacent only works if analysis is complete.
-            adjacent: cached_adjacency_constraints(func),
+            // NOTE: We do not filter out adjacent functions here.
+            adjacent: cached_adjacency_constraints(func, |_| true),
             call_sites: cached_call_site_constraints(func),
             // TODO: Add caller sites (when adjacent and call sites are minimal)
             // NOTE: Adding caller sites only works if analysis is complete.
-- 
cgit v1.3.1