Treat calls to unresolved functions in the CF-ref count checker as calls

to functions with NULL summaries.

llvm-svn: 49660

1 files changed, 6 insertions, 8 deletions

diff --git a/clang/lib/Analysis/CFRefCount.cpp b/clang/lib/Analysis/CFRefCount.cpp
index df479884ed5..ff8b3e5e697 100644
--- a/clang/lib/Analysis/CFRefCount.cpp
+++ b/clang/lib/Analysis/CFRefCount.cpp
@@ -657,17 +657,15 @@ void CFRefCount::EvalCall(ExplodedNodeSet<ValueState>& Dst,
   
   ValueStateManager& StateMgr = Eng.getStateManager();
   
-  // FIXME: Support calls to things other than lval::FuncVal.  At the very
-  //  least we should stop tracking ref-state for ref-counted objects passed
-  //  to these functions.
-  
-  assert (isa<lval::FuncVal>(L) && "Not yet implemented.");
+  CFRefSummary* Summ = NULL;
   
   // Get the summary.
 
-  lval::FuncVal FV = cast<lval::FuncVal>(L);
-  FunctionDecl* FD = FV.getDecl();
-  CFRefSummary* Summ = Summaries.getSummary(FD, Eng.getContext());
+  if (isa<lval::FuncVal>(L)) {  
+    lval::FuncVal FV = cast<lval::FuncVal>(L);
+    FunctionDecl* FD = FV.getDecl();
+    Summ = Summaries.getSummary(FD, Eng.getContext());
+  }
 
   // Get the state.