From 37435104a75b438c539cf65c3541cfa2872d3029 Mon Sep 17 00:00:00 2001 From: mkoch Date: Fri, 2 Feb 2024 22:43:46 +0300 Subject: [PATCH] expression substitution: hotfix for recent commits (typo at condition) --- sapfor/experts/Sapfor_2017/_src/CFGraph/RD_subst.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sapfor/experts/Sapfor_2017/_src/CFGraph/RD_subst.cpp b/sapfor/experts/Sapfor_2017/_src/CFGraph/RD_subst.cpp index 387b142..06a906c 100644 --- a/sapfor/experts/Sapfor_2017/_src/CFGraph/RD_subst.cpp +++ b/sapfor/experts/Sapfor_2017/_src/CFGraph/RD_subst.cpp @@ -1287,7 +1287,7 @@ bool isArgReaches(int decl_instr, SAPFOR::BasicBlock* decl_bb, reachable = banned_blocks; worklist = reachable; - while (worklist.size() != 0 || banned_instructions.size() == 0) + while (worklist.size() != 0 && banned_instructions.size() != 0) { if(worklist.find(dest_bb) != worklist.end()) return false; -- 2.49.1