Added transfer function support for dispatching to functions we don't know
about. The default logic is to invalidate the values of all values
passed-by-reference.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47456 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/Analysis/GRExprEngine.cpp b/Analysis/GRExprEngine.cpp
index 66f5cae..80de395 100644
--- a/Analysis/GRExprEngine.cpp
+++ b/Analysis/GRExprEngine.cpp
@@ -448,10 +448,20 @@
continue;
}
- // FIXME: EvalCall must handle the case where the callee is Unknown.
- assert (!L.isUnknown());
+ if (L.isUnknown()) {
+ // Invalidate all arguments passed in by reference (LVals).
+ for (CallExpr::arg_iterator I = CE->arg_begin(), E = CE->arg_end();
+ I != E; ++I) {
+ RVal V = GetRVal(St, *I);
- Nodify(Dst, CE, *DI, EvalCall(CE, cast<LVal>(L), (*DI)->getState()));
+ if (isa<LVal>(V))
+ St = SetRVal(St, cast<LVal>(V), UnknownVal());
+ }
+ }
+ else
+ St = EvalCall(CE, cast<LVal>(L), (*DI)->getState());
+
+ Nodify(Dst, CE, *DI, St);
}
}