commit cde193aedd62508137c335d096dbc6905687b653
author Ted Kremenek <kremenek@apple.com> Wed Feb 27 00:44:11 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Wed Feb 27 00:44:11 2008 +0000
tree d7c94097226aa082adc1e264e4269f7f5ee8c5e4
parent d0c87600f7d1d7ba870bcf9c3cd82f3737725331

Fixed bug in the core transfer function logic for CallExprs where we would
sometimes skip evaluating all the arguments when some arguments would not
create new ExplodedNodes.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47650 91177308-0d34-0410-b5e6-96231b3b80d8

Analysis/GRExprEngine.cpp

diff --git a/Analysis/GRExprEngine.cpp b/Analysis/GRExprEngine.cpp
index c911064..4b1e99e 100644
--- a/Analysis/GRExprEngine.cpp
+++ b/Analysis/GRExprEngine.cpp
@@ -490,7 +490,10 @@
   if (AI != AE) {
     
     NodeSet DstTmp;  
+    
     Visit(*AI, Pred, DstTmp);
+    if (DstTmp.empty()) DstTmp.Add(Pred);
+    
     ++AI;
     
     for (NodeSet::iterator DI=DstTmp.begin(), DE=DstTmp.end(); DI != DE; ++DI)