From 9692dd064064ee712d8a724984f1b6b2bec4bc75 Mon Sep 17 00:00:00 2001
From: caheckman <48068198+caheckman@users.noreply.github.com>
Date: Wed, 10 Dec 2025 19:26:03 +0000
Subject: [PATCH] GP-6201 Check for free varnodes in functionalEqualityLevel0

---
 Ghidra/Features/Decompiler/src/decompile/cpp/expression.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Ghidra/Features/Decompiler/src/decompile/cpp/expression.cc b/Ghidra/Features/Decompiler/src/decompile/cpp/expression.cc
index 3298417e5a..0ac7a61ccf 100644
--- a/Ghidra/Features/Decompiler/src/decompile/cpp/expression.cc
+++ b/Ghidra/Features/Decompiler/src/decompile/cpp/expression.cc
@@ -412,7 +412,7 @@ static int4 functionalEqualityLevel0(Varnode *vn1,Varnode *vn2)
     }
     return -1;
   }
-  if (vn2->isConstant()) return -1;
+  if (vn1->isFree() || vn2->isFree()) return -1;
   return 1;
 }