Use code(Code) instead of code_in_block(Code,_)

GrammaTech · Dec 11, 2024 · 54ab213 · 54ab213
1 parent 2c77730
commit 54ab213
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/datalog/symbolization.dl b/src/datalog/symbolization.dl
@@ -824,7 +824,7 @@ data_object_point(EA,Size,"string",-2,"string in jump table"):-
 data_object_point(EA,Size,"string",1,"string that has reference"):-
     data_object_candidate(EA,Size,"string"),
     may_have_symbolic_immediate(Code,EA),
-    code_in_block(Code,_),
+    code(Code),
     data_limit(EA).
 
 // data access negative heuristic