From 756cfd3d95560dd837c0ef8c687a02918b69c97e Mon Sep 17 00:00:00 2001
From: azhou <seviezhou@163.com>
Date: Fri, 30 Dec 2022 10:21:07 +0800
Subject: [PATCH] Fix a bug in wrapper detection

More details please see issue #980
---
 svf/lib/SABER/SrcSnkDDA.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/svf/lib/SABER/SrcSnkDDA.cpp b/svf/lib/SABER/SrcSnkDDA.cpp
index 3a21bd701..56ba1ecee 100644
--- a/svf/lib/SABER/SrcSnkDDA.cpp
+++ b/svf/lib/SABER/SrcSnkDDA.cpp
@@ -169,7 +169,7 @@ bool SrcSnkDDA::isInAWrapper(const SVFGNode* src, CallSiteSet& csIdSet)
                 }
                 else if(SVFUtil::isa<IntraIndSVFGEdge>(edge))
                 {
-                    if(SVFUtil::isa<LoadSVFGNode>(succ))
+                    if(SVFUtil::isa<LoadSVFGNode, IntraMSSAPHISVFGNode>(succ))
                     {
                         worklist.push(succ);
                     }