14f7df9beSJordan Rose //===- Calls.cpp - Wrapper for all function and method calls ------*- C++ -*--//
24f7df9beSJordan Rose //
34f7df9beSJordan Rose //                     The LLVM Compiler Infrastructure
44f7df9beSJordan Rose //
54f7df9beSJordan Rose // This file is distributed under the University of Illinois Open Source
64f7df9beSJordan Rose // License. See LICENSE.TXT for details.
74f7df9beSJordan Rose //
84f7df9beSJordan Rose //===----------------------------------------------------------------------===//
94f7df9beSJordan Rose //
104f7df9beSJordan Rose /// \file This file defines CallEvent and its subclasses, which represent path-
114f7df9beSJordan Rose /// sensitive instances of different kinds of function and method calls
124f7df9beSJordan Rose /// (C, C++, and Objective-C).
134f7df9beSJordan Rose //
144f7df9beSJordan Rose //===----------------------------------------------------------------------===//
154f7df9beSJordan Rose 
164f7df9beSJordan Rose #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
17829c3831SJordan Rose #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
184f7df9beSJordan Rose #include "clang/Analysis/ProgramPoint.h"
194f7df9beSJordan Rose #include "clang/AST/ParentMap.h"
204f7df9beSJordan Rose #include "llvm/ADT/SmallSet.h"
214f7df9beSJordan Rose #include "llvm/ADT/StringExtras.h"
22*444a1304SBenjamin Kramer #include "llvm/Support/raw_ostream.h"
234f7df9beSJordan Rose 
244f7df9beSJordan Rose using namespace clang;
254f7df9beSJordan Rose using namespace ento;
264f7df9beSJordan Rose 
274f7df9beSJordan Rose QualType CallEvent::getResultType() const {
282da56438SJordan Rose   const Expr *E = getOriginExpr();
292da56438SJordan Rose   assert(E && "Calls without origin expressions do not have results");
302da56438SJordan Rose   QualType ResultTy = E->getType();
314f7df9beSJordan Rose 
322da56438SJordan Rose   ASTContext &Ctx = getState()->getStateManager().getContext();
332da56438SJordan Rose 
342da56438SJordan Rose   // A function that returns a reference to 'int' will have a result type
352da56438SJordan Rose   // of simply 'int'. Check the origin expr's value kind to recover the
362da56438SJordan Rose   // proper type.
372da56438SJordan Rose   switch (E->getValueKind()) {
382da56438SJordan Rose   case VK_LValue:
392da56438SJordan Rose     ResultTy = Ctx.getLValueReferenceType(ResultTy);
402da56438SJordan Rose     break;
412da56438SJordan Rose   case VK_XValue:
422da56438SJordan Rose     ResultTy = Ctx.getRValueReferenceType(ResultTy);
432da56438SJordan Rose     break;
442da56438SJordan Rose   case VK_RValue:
452da56438SJordan Rose     // No adjustment is necessary.
462da56438SJordan Rose     break;
472da56438SJordan Rose   }
484f7df9beSJordan Rose 
494f7df9beSJordan Rose   return ResultTy;
504f7df9beSJordan Rose }
514f7df9beSJordan Rose 
524f7df9beSJordan Rose static bool isCallbackArg(SVal V, QualType T) {
534f7df9beSJordan Rose   // If the parameter is 0, it's harmless.
544f7df9beSJordan Rose   if (V.isZeroConstant())
554f7df9beSJordan Rose     return false;
564f7df9beSJordan Rose 
574f7df9beSJordan Rose   // If a parameter is a block or a callback, assume it can modify pointer.
584f7df9beSJordan Rose   if (T->isBlockPointerType() ||
594f7df9beSJordan Rose       T->isFunctionPointerType() ||
604f7df9beSJordan Rose       T->isObjCSelType())
614f7df9beSJordan Rose     return true;
624f7df9beSJordan Rose 
634f7df9beSJordan Rose   // Check if a callback is passed inside a struct (for both, struct passed by
644f7df9beSJordan Rose   // reference and by value). Dig just one level into the struct for now.
654f7df9beSJordan Rose 
66d1a08b6eSJordan Rose   if (T->isAnyPointerType() || T->isReferenceType())
674f7df9beSJordan Rose     T = T->getPointeeType();
684f7df9beSJordan Rose 
694f7df9beSJordan Rose   if (const RecordType *RT = T->getAsStructureType()) {
704f7df9beSJordan Rose     const RecordDecl *RD = RT->getDecl();
714f7df9beSJordan Rose     for (RecordDecl::field_iterator I = RD->field_begin(), E = RD->field_end();
724f7df9beSJordan Rose          I != E; ++I) {
734f7df9beSJordan Rose       QualType FieldT = I->getType();
744f7df9beSJordan Rose       if (FieldT->isBlockPointerType() || FieldT->isFunctionPointerType())
754f7df9beSJordan Rose         return true;
764f7df9beSJordan Rose     }
774f7df9beSJordan Rose   }
784f7df9beSJordan Rose 
794f7df9beSJordan Rose   return false;
804f7df9beSJordan Rose }
814f7df9beSJordan Rose 
824f7df9beSJordan Rose bool CallEvent::hasNonZeroCallbackArg() const {
834f7df9beSJordan Rose   unsigned NumOfArgs = getNumArgs();
844f7df9beSJordan Rose 
854f7df9beSJordan Rose   // If calling using a function pointer, assume the function does not
864f7df9beSJordan Rose   // have a callback. TODO: We could check the types of the arguments here.
874f7df9beSJordan Rose   if (!getDecl())
884f7df9beSJordan Rose     return false;
894f7df9beSJordan Rose 
904f7df9beSJordan Rose   unsigned Idx = 0;
914f7df9beSJordan Rose   for (CallEvent::param_type_iterator I = param_type_begin(),
924f7df9beSJordan Rose                                        E = param_type_end();
934f7df9beSJordan Rose        I != E && Idx < NumOfArgs; ++I, ++Idx) {
944f7df9beSJordan Rose     if (NumOfArgs <= Idx)
954f7df9beSJordan Rose       break;
964f7df9beSJordan Rose 
974f7df9beSJordan Rose     if (isCallbackArg(getArgSVal(Idx), *I))
984f7df9beSJordan Rose       return true;
994f7df9beSJordan Rose   }
1004f7df9beSJordan Rose 
1014f7df9beSJordan Rose   return false;
1024f7df9beSJordan Rose }
1034f7df9beSJordan Rose 
104829c3831SJordan Rose bool CallEvent::isGlobalCFunction(StringRef FunctionName) const {
105829c3831SJordan Rose   const FunctionDecl *FD = dyn_cast_or_null<FunctionDecl>(getDecl());
106829c3831SJordan Rose   if (!FD)
107829c3831SJordan Rose     return false;
108829c3831SJordan Rose 
109829c3831SJordan Rose   return CheckerContext::isCLibraryFunction(FD, FunctionName);
110829c3831SJordan Rose }
111829c3831SJordan Rose 
1124f7df9beSJordan Rose /// \brief Returns true if a type is a pointer-to-const or reference-to-const
1134f7df9beSJordan Rose /// with no further indirection.
1144f7df9beSJordan Rose static bool isPointerToConst(QualType Ty) {
1154f7df9beSJordan Rose   QualType PointeeTy = Ty->getPointeeType();
1164f7df9beSJordan Rose   if (PointeeTy == QualType())
1174f7df9beSJordan Rose     return false;
1184f7df9beSJordan Rose   if (!PointeeTy.isConstQualified())
1194f7df9beSJordan Rose     return false;
1204f7df9beSJordan Rose   if (PointeeTy->isAnyPointerType())
1214f7df9beSJordan Rose     return false;
1224f7df9beSJordan Rose   return true;
1234f7df9beSJordan Rose }
1244f7df9beSJordan Rose 
1254f7df9beSJordan Rose // Try to retrieve the function declaration and find the function parameter
1264f7df9beSJordan Rose // types which are pointers/references to a non-pointer const.
1274f7df9beSJordan Rose // We will not invalidate the corresponding argument regions.
1284f7df9beSJordan Rose static void findPtrToConstParams(llvm::SmallSet<unsigned, 1> &PreserveArgs,
1294f7df9beSJordan Rose                                  const CallEvent &Call) {
1304f7df9beSJordan Rose   unsigned Idx = 0;
1314f7df9beSJordan Rose   for (CallEvent::param_type_iterator I = Call.param_type_begin(),
1324f7df9beSJordan Rose                                       E = Call.param_type_end();
1334f7df9beSJordan Rose        I != E; ++I, ++Idx) {
1344f7df9beSJordan Rose     if (isPointerToConst(*I))
1354f7df9beSJordan Rose       PreserveArgs.insert(Idx);
1364f7df9beSJordan Rose   }
1374f7df9beSJordan Rose }
1384f7df9beSJordan Rose 
1394f7df9beSJordan Rose ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount,
1404f7df9beSJordan Rose                                               ProgramStateRef Orig) const {
1414f7df9beSJordan Rose   ProgramStateRef Result = (Orig ? Orig : getState());
1424f7df9beSJordan Rose 
1434f7df9beSJordan Rose   SmallVector<const MemRegion *, 8> RegionsToInvalidate;
1444f7df9beSJordan Rose   getExtraInvalidatedRegions(RegionsToInvalidate);
1454f7df9beSJordan Rose 
1464f7df9beSJordan Rose   // Indexes of arguments whose values will be preserved by the call.
1474f7df9beSJordan Rose   llvm::SmallSet<unsigned, 1> PreserveArgs;
1484f7df9beSJordan Rose   if (!argumentsMayEscape())
1494f7df9beSJordan Rose     findPtrToConstParams(PreserveArgs, *this);
1504f7df9beSJordan Rose 
1514f7df9beSJordan Rose   for (unsigned Idx = 0, Count = getNumArgs(); Idx != Count; ++Idx) {
1524f7df9beSJordan Rose     if (PreserveArgs.count(Idx))
1534f7df9beSJordan Rose       continue;
1544f7df9beSJordan Rose 
1554f7df9beSJordan Rose     SVal V = getArgSVal(Idx);
1564f7df9beSJordan Rose 
1574f7df9beSJordan Rose     // If we are passing a location wrapped as an integer, unwrap it and
1584f7df9beSJordan Rose     // invalidate the values referred by the location.
1594f7df9beSJordan Rose     if (nonloc::LocAsInteger *Wrapped = dyn_cast<nonloc::LocAsInteger>(&V))
1604f7df9beSJordan Rose       V = Wrapped->getLoc();
1614f7df9beSJordan Rose     else if (!isa<Loc>(V))
1624f7df9beSJordan Rose       continue;
1634f7df9beSJordan Rose 
1644f7df9beSJordan Rose     if (const MemRegion *R = V.getAsRegion()) {
1654f7df9beSJordan Rose       // Invalidate the value of the variable passed by reference.
1664f7df9beSJordan Rose 
1674f7df9beSJordan Rose       // Are we dealing with an ElementRegion?  If the element type is
1684f7df9beSJordan Rose       // a basic integer type (e.g., char, int) and the underlying region
1694f7df9beSJordan Rose       // is a variable region then strip off the ElementRegion.
1704f7df9beSJordan Rose       // FIXME: We really need to think about this for the general case
1714f7df9beSJordan Rose       //   as sometimes we are reasoning about arrays and other times
1724f7df9beSJordan Rose       //   about (char*), etc., is just a form of passing raw bytes.
1734f7df9beSJordan Rose       //   e.g., void *p = alloca(); foo((char*)p);
1744f7df9beSJordan Rose       if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) {
1754f7df9beSJordan Rose         // Checking for 'integral type' is probably too promiscuous, but
1764f7df9beSJordan Rose         // we'll leave it in for now until we have a systematic way of
1774f7df9beSJordan Rose         // handling all of these cases.  Eventually we need to come up
1784f7df9beSJordan Rose         // with an interface to StoreManager so that this logic can be
1794f7df9beSJordan Rose         // appropriately delegated to the respective StoreManagers while
1804f7df9beSJordan Rose         // still allowing us to do checker-specific logic (e.g.,
1814f7df9beSJordan Rose         // invalidating reference counts), probably via callbacks.
1824f7df9beSJordan Rose         if (ER->getElementType()->isIntegralOrEnumerationType()) {
1834f7df9beSJordan Rose           const MemRegion *superReg = ER->getSuperRegion();
1844f7df9beSJordan Rose           if (isa<VarRegion>(superReg) || isa<FieldRegion>(superReg) ||
1854f7df9beSJordan Rose               isa<ObjCIvarRegion>(superReg))
1864f7df9beSJordan Rose             R = cast<TypedRegion>(superReg);
1874f7df9beSJordan Rose         }
1884f7df9beSJordan Rose         // FIXME: What about layers of ElementRegions?
1894f7df9beSJordan Rose       }
1904f7df9beSJordan Rose 
1914f7df9beSJordan Rose       // Mark this region for invalidation.  We batch invalidate regions
1924f7df9beSJordan Rose       // below for efficiency.
1934f7df9beSJordan Rose       RegionsToInvalidate.push_back(R);
1944f7df9beSJordan Rose     }
1954f7df9beSJordan Rose   }
1964f7df9beSJordan Rose 
1974f7df9beSJordan Rose   // Invalidate designated regions using the batch invalidation API.
1984f7df9beSJordan Rose   // NOTE: Even if RegionsToInvalidate is empty, we may still invalidate
1994f7df9beSJordan Rose   //  global variables.
2004f7df9beSJordan Rose   return Result->invalidateRegions(RegionsToInvalidate, getOriginExpr(),
2014f7df9beSJordan Rose                                    BlockCount, getLocationContext(),
2024f7df9beSJordan Rose                                    /*Symbols=*/0, this);
2034f7df9beSJordan Rose }
2044f7df9beSJordan Rose 
2054f7df9beSJordan Rose ProgramPoint CallEvent::getProgramPoint(bool IsPreVisit,
2064f7df9beSJordan Rose                                         const ProgramPointTag *Tag) const {
2074f7df9beSJordan Rose   if (const Expr *E = getOriginExpr()) {
2084f7df9beSJordan Rose     if (IsPreVisit)
2094f7df9beSJordan Rose       return PreStmt(E, getLocationContext(), Tag);
2104f7df9beSJordan Rose     return PostStmt(E, getLocationContext(), Tag);
2114f7df9beSJordan Rose   }
2124f7df9beSJordan Rose 
2134f7df9beSJordan Rose   const Decl *D = getDecl();
2144f7df9beSJordan Rose   assert(D && "Cannot get a program point without a statement or decl");
2154f7df9beSJordan Rose 
2164f7df9beSJordan Rose   SourceLocation Loc = getSourceRange().getBegin();
2174f7df9beSJordan Rose   if (IsPreVisit)
2184f7df9beSJordan Rose     return PreImplicitCall(D, Loc, getLocationContext(), Tag);
2194f7df9beSJordan Rose   return PostImplicitCall(D, Loc, getLocationContext(), Tag);
2204f7df9beSJordan Rose }
2214f7df9beSJordan Rose 
22272ce8e2dSJordan Rose SVal CallEvent::getArgSVal(unsigned Index) const {
22372ce8e2dSJordan Rose   const Expr *ArgE = getArgExpr(Index);
22472ce8e2dSJordan Rose   if (!ArgE)
22572ce8e2dSJordan Rose     return UnknownVal();
22672ce8e2dSJordan Rose   return getSVal(ArgE);
22772ce8e2dSJordan Rose }
22872ce8e2dSJordan Rose 
22972ce8e2dSJordan Rose SourceRange CallEvent::getArgSourceRange(unsigned Index) const {
23072ce8e2dSJordan Rose   const Expr *ArgE = getArgExpr(Index);
23172ce8e2dSJordan Rose   if (!ArgE)
23272ce8e2dSJordan Rose     return SourceRange();
23372ce8e2dSJordan Rose   return ArgE->getSourceRange();
23472ce8e2dSJordan Rose }
23572ce8e2dSJordan Rose 
236829c3831SJordan Rose SVal CallEvent::getReturnValue() const {
237829c3831SJordan Rose   const Expr *E = getOriginExpr();
238829c3831SJordan Rose   if (!E)
239829c3831SJordan Rose     return UndefinedVal();
240829c3831SJordan Rose   return getSVal(E);
241829c3831SJordan Rose }
242829c3831SJordan Rose 
2439299d8c2SBenjamin Kramer void CallEvent::dump() const {
2449299d8c2SBenjamin Kramer   dump(llvm::errs());
2459299d8c2SBenjamin Kramer }
2469299d8c2SBenjamin Kramer 
24772ce8e2dSJordan Rose void CallEvent::dump(raw_ostream &Out) const {
24872ce8e2dSJordan Rose   ASTContext &Ctx = getState()->getStateManager().getContext();
24972ce8e2dSJordan Rose   if (const Expr *E = getOriginExpr()) {
250235341bcSRichard Smith     E->printPretty(Out, 0, Ctx.getPrintingPolicy());
25172ce8e2dSJordan Rose     Out << "\n";
25272ce8e2dSJordan Rose     return;
25372ce8e2dSJordan Rose   }
25472ce8e2dSJordan Rose 
25572ce8e2dSJordan Rose   if (const Decl *D = getDecl()) {
25672ce8e2dSJordan Rose     Out << "Call to ";
25772ce8e2dSJordan Rose     D->print(Out, Ctx.getPrintingPolicy());
25872ce8e2dSJordan Rose     return;
25972ce8e2dSJordan Rose   }
26072ce8e2dSJordan Rose 
26172ce8e2dSJordan Rose   // FIXME: a string representation of the kind would be nice.
26272ce8e2dSJordan Rose   Out << "Unknown call (type " << getKind() << ")";
26372ce8e2dSJordan Rose }
26472ce8e2dSJordan Rose 
2654f7df9beSJordan Rose 
266e537cc05SJordan Rose bool CallEvent::isCallStmt(const Stmt *S) {
26772ce8e2dSJordan Rose   return isa<CallExpr>(S) || isa<ObjCMessageExpr>(S)
268e537cc05SJordan Rose                           || isa<CXXConstructExpr>(S)
269e537cc05SJordan Rose                           || isa<CXXNewExpr>(S);
2704f7df9beSJordan Rose }
2714f7df9beSJordan Rose 
2725d2964e7SAnna Zaks /// \brief Returns the result type, adjusted for references.
2735d2964e7SAnna Zaks QualType CallEvent::getDeclaredResultType(const Decl *D) {
2745d2964e7SAnna Zaks   assert(D);
2755d2964e7SAnna Zaks   if (const FunctionDecl* FD = dyn_cast<FunctionDecl>(D))
2765d2964e7SAnna Zaks     return FD->getResultType();
2775d2964e7SAnna Zaks   else if (const ObjCMethodDecl* MD = dyn_cast<ObjCMethodDecl>(D))
2785d2964e7SAnna Zaks     return MD->getResultType();
2795d2964e7SAnna Zaks   return QualType();
2805d2964e7SAnna Zaks }
2815d2964e7SAnna Zaks 
28242e8d649SJordan Rose static void addParameterValuesToBindings(const StackFrameContext *CalleeCtx,
28342e8d649SJordan Rose                                          CallEvent::BindingsTy &Bindings,
28442e8d649SJordan Rose                                          SValBuilder &SVB,
28542e8d649SJordan Rose                                          const CallEvent &Call,
28642e8d649SJordan Rose                                          CallEvent::param_iterator I,
28742e8d649SJordan Rose                                          CallEvent::param_iterator E) {
28842e8d649SJordan Rose   MemRegionManager &MRMgr = SVB.getRegionManager();
2894f7df9beSJordan Rose 
29042e8d649SJordan Rose   unsigned Idx = 0;
29142e8d649SJordan Rose   for (; I != E; ++I, ++Idx) {
29242e8d649SJordan Rose     const ParmVarDecl *ParamDecl = *I;
29342e8d649SJordan Rose     assert(ParamDecl && "Formal parameter has no decl?");
2944f7df9beSJordan Rose 
29542e8d649SJordan Rose     SVal ArgVal = Call.getArgSVal(Idx);
29642e8d649SJordan Rose     if (!ArgVal.isUnknown()) {
29742e8d649SJordan Rose       Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx));
29842e8d649SJordan Rose       Bindings.push_back(std::make_pair(ParamLoc, ArgVal));
29942e8d649SJordan Rose     }
3004f7df9beSJordan Rose   }
3014f7df9beSJordan Rose 
30242e8d649SJordan Rose   // FIXME: Variadic arguments are not handled at all right now.
30342e8d649SJordan Rose }
30442e8d649SJordan Rose 
30542e8d649SJordan Rose 
30642e8d649SJordan Rose CallEvent::param_iterator AnyFunctionCall::param_begin() const {
30742e8d649SJordan Rose   const FunctionDecl *D = getDecl();
3084f7df9beSJordan Rose   if (!D)
3094f7df9beSJordan Rose     return 0;
3104f7df9beSJordan Rose 
31142e8d649SJordan Rose   return D->param_begin();
31242e8d649SJordan Rose }
31342e8d649SJordan Rose 
31442e8d649SJordan Rose CallEvent::param_iterator AnyFunctionCall::param_end() const {
31542e8d649SJordan Rose   const FunctionDecl *D = getDecl();
31642e8d649SJordan Rose   if (!D)
31742e8d649SJordan Rose     return 0;
31842e8d649SJordan Rose 
31942e8d649SJordan Rose   return D->param_end();
32042e8d649SJordan Rose }
32142e8d649SJordan Rose 
32242e8d649SJordan Rose void AnyFunctionCall::getInitialStackFrameContents(
32342e8d649SJordan Rose                                         const StackFrameContext *CalleeCtx,
32442e8d649SJordan Rose                                         BindingsTy &Bindings) const {
32542e8d649SJordan Rose   const FunctionDecl *D = cast<FunctionDecl>(CalleeCtx->getDecl());
32642e8d649SJordan Rose   SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
32742e8d649SJordan Rose   addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
32842e8d649SJordan Rose                                D->param_begin(), D->param_end());
3294f7df9beSJordan Rose }
3304f7df9beSJordan Rose 
3314f7df9beSJordan Rose bool AnyFunctionCall::argumentsMayEscape() const {
3324f7df9beSJordan Rose   if (hasNonZeroCallbackArg())
3334f7df9beSJordan Rose     return true;
3344f7df9beSJordan Rose 
3354f7df9beSJordan Rose   const FunctionDecl *D = getDecl();
3364f7df9beSJordan Rose   if (!D)
3374f7df9beSJordan Rose     return true;
3384f7df9beSJordan Rose 
3394f7df9beSJordan Rose   const IdentifierInfo *II = D->getIdentifier();
3404f7df9beSJordan Rose   if (!II)
3417bd0674dSAnna Zaks     return false;
3424f7df9beSJordan Rose 
3434f7df9beSJordan Rose   // This set of "escaping" APIs is
3444f7df9beSJordan Rose 
3454f7df9beSJordan Rose   // - 'int pthread_setspecific(ptheread_key k, const void *)' stores a
3464f7df9beSJordan Rose   //   value into thread local storage. The value can later be retrieved with
3474f7df9beSJordan Rose   //   'void *ptheread_getspecific(pthread_key)'. So even thought the
3484f7df9beSJordan Rose   //   parameter is 'const void *', the region escapes through the call.
3494f7df9beSJordan Rose   if (II->isStr("pthread_setspecific"))
3504f7df9beSJordan Rose     return true;
3514f7df9beSJordan Rose 
3524f7df9beSJordan Rose   // - xpc_connection_set_context stores a value which can be retrieved later
3534f7df9beSJordan Rose   //   with xpc_connection_get_context.
3544f7df9beSJordan Rose   if (II->isStr("xpc_connection_set_context"))
3554f7df9beSJordan Rose     return true;
3564f7df9beSJordan Rose 
3574f7df9beSJordan Rose   // - funopen - sets a buffer for future IO calls.
3584f7df9beSJordan Rose   if (II->isStr("funopen"))
3594f7df9beSJordan Rose     return true;
3604f7df9beSJordan Rose 
3614f7df9beSJordan Rose   StringRef FName = II->getName();
3624f7df9beSJordan Rose 
3634f7df9beSJordan Rose   // - CoreFoundation functions that end with "NoCopy" can free a passed-in
3644f7df9beSJordan Rose   //   buffer even if it is const.
3654f7df9beSJordan Rose   if (FName.endswith("NoCopy"))
3664f7df9beSJordan Rose     return true;
3674f7df9beSJordan Rose 
3684f7df9beSJordan Rose   // - NSXXInsertXX, for example NSMapInsertIfAbsent, since they can
3694f7df9beSJordan Rose   //   be deallocated by NSMapRemove.
3704f7df9beSJordan Rose   if (FName.startswith("NS") && (FName.find("Insert") != StringRef::npos))
3714f7df9beSJordan Rose     return true;
3724f7df9beSJordan Rose 
3734f7df9beSJordan Rose   // - Many CF containers allow objects to escape through custom
3744f7df9beSJordan Rose   //   allocators/deallocators upon container construction. (PR12101)
3754f7df9beSJordan Rose   if (FName.startswith("CF") || FName.startswith("CG")) {
3764f7df9beSJordan Rose     return StrInStrNoCase(FName, "InsertValue")  != StringRef::npos ||
3774f7df9beSJordan Rose            StrInStrNoCase(FName, "AddValue")     != StringRef::npos ||
3784f7df9beSJordan Rose            StrInStrNoCase(FName, "SetValue")     != StringRef::npos ||
3794f7df9beSJordan Rose            StrInStrNoCase(FName, "WithData")     != StringRef::npos ||
3804f7df9beSJordan Rose            StrInStrNoCase(FName, "AppendValue")  != StringRef::npos ||
3814f7df9beSJordan Rose            StrInStrNoCase(FName, "SetAttribute") != StringRef::npos;
3824f7df9beSJordan Rose   }
3834f7df9beSJordan Rose 
3844f7df9beSJordan Rose   return false;
3854f7df9beSJordan Rose }
3864f7df9beSJordan Rose 
3874f7df9beSJordan Rose 
3884f7df9beSJordan Rose const FunctionDecl *SimpleCall::getDecl() const {
3894f7df9beSJordan Rose   const FunctionDecl *D = getOriginExpr()->getDirectCallee();
3904f7df9beSJordan Rose   if (D)
3914f7df9beSJordan Rose     return D;
3924f7df9beSJordan Rose 
3934f7df9beSJordan Rose   return getSVal(getOriginExpr()->getCallee()).getAsFunctionDecl();
3944f7df9beSJordan Rose }
3954f7df9beSJordan Rose 
3964f7df9beSJordan Rose 
397ce6c99a5SJordan Rose const FunctionDecl *CXXInstanceCall::getDecl() const {
398ce6c99a5SJordan Rose   const CallExpr *CE = cast_or_null<CallExpr>(getOriginExpr());
399ce6c99a5SJordan Rose   if (!CE)
400ce6c99a5SJordan Rose     return AnyFunctionCall::getDecl();
401ce6c99a5SJordan Rose 
402ce6c99a5SJordan Rose   const FunctionDecl *D = CE->getDirectCallee();
403ce6c99a5SJordan Rose   if (D)
404ce6c99a5SJordan Rose     return D;
405ce6c99a5SJordan Rose 
406ce6c99a5SJordan Rose   return getSVal(CE->getCallee()).getAsFunctionDecl();
407ce6c99a5SJordan Rose }
408ce6c99a5SJordan Rose 
4094f7df9beSJordan Rose void CXXInstanceCall::getExtraInvalidatedRegions(RegionList &Regions) const {
4104f7df9beSJordan Rose   if (const MemRegion *R = getCXXThisVal().getAsRegion())
4114f7df9beSJordan Rose     Regions.push_back(R);
4124f7df9beSJordan Rose }
4134f7df9beSJordan Rose 
414fcdda361SJordan Rose SVal CXXInstanceCall::getCXXThisVal() const {
415fcdda361SJordan Rose   const Expr *Base = getCXXThisExpr();
416fcdda361SJordan Rose   // FIXME: This doesn't handle an overloaded ->* operator.
417fcdda361SJordan Rose   if (!Base)
418fcdda361SJordan Rose     return UnknownVal();
419fcdda361SJordan Rose 
420fcdda361SJordan Rose   SVal ThisVal = getSVal(Base);
42129fc261cSJordan Rose   assert(ThisVal.isUnknownOrUndef() || isa<Loc>(ThisVal));
422fcdda361SJordan Rose   return ThisVal;
423fcdda361SJordan Rose }
424fcdda361SJordan Rose 
4254f7df9beSJordan Rose 
426089c5510STed Kremenek RuntimeDefinition CXXInstanceCall::getRuntimeDefinition() const {
4270f6d63beSJordan Rose   // Do we have a decl at all?
42851bcb226SJordan Rose   const Decl *D = getDecl();
4294f7df9beSJordan Rose   if (!D)
430123af098SAnna Zaks     return RuntimeDefinition();
4314f7df9beSJordan Rose 
4320f6d63beSJordan Rose   // If the method is non-virtual, we know we can inline it.
4334f7df9beSJordan Rose   const CXXMethodDecl *MD = cast<CXXMethodDecl>(D);
4344f7df9beSJordan Rose   if (!MD->isVirtual())
435089c5510STed Kremenek     return AnyFunctionCall::getRuntimeDefinition();
4364f7df9beSJordan Rose 
4370f6d63beSJordan Rose   // Do we know the implicit 'this' object being called?
4380f6d63beSJordan Rose   const MemRegion *R = getCXXThisVal().getAsRegion();
4390f6d63beSJordan Rose   if (!R)
440123af098SAnna Zaks     return RuntimeDefinition();
4410f6d63beSJordan Rose 
4420f6d63beSJordan Rose   // Do we know anything about the type of 'this'?
4430f6d63beSJordan Rose   DynamicTypeInfo DynType = getState()->getDynamicTypeInfo(R);
4440f6d63beSJordan Rose   if (!DynType.isValid())
4450f6d63beSJordan Rose     return RuntimeDefinition();
4460f6d63beSJordan Rose 
4470f6d63beSJordan Rose   // Is the type a C++ class? (This is mostly a defensive check.)
4480f6d63beSJordan Rose   QualType RegionType = DynType.getType()->getPointeeType();
449d1a08b6eSJordan Rose   assert(!RegionType.isNull() && "DynamicTypeInfo should always be a pointer.");
450d1a08b6eSJordan Rose 
4510f6d63beSJordan Rose   const CXXRecordDecl *RD = RegionType->getAsCXXRecordDecl();
45299107208SJordan Rose   if (!RD || !RD->hasDefinition())
4530f6d63beSJordan Rose     return RuntimeDefinition();
4540f6d63beSJordan Rose 
45599c6c2b4SJordan Rose   // Find the decl for this method in that class.
45699c6c2b4SJordan Rose   const CXXMethodDecl *Result = MD->getCorrespondingMethodInClass(RD, true);
45781456d9fSJordan Rose   if (!Result) {
45881456d9fSJordan Rose     // We might not even get the original statically-resolved method due to
45981456d9fSJordan Rose     // some particularly nasty casting (e.g. casts to sister classes).
46081456d9fSJordan Rose     // However, we should at least be able to search up and down our own class
46181456d9fSJordan Rose     // hierarchy, and some real bugs have been caught by checking this.
46281456d9fSJordan Rose     assert(!RD->isDerivedFrom(MD->getParent()) && "Couldn't find known method");
463d44977efSJordan Rose 
464d44977efSJordan Rose     // FIXME: This is checking that our DynamicTypeInfo is at least as good as
465d44977efSJordan Rose     // the static type. However, because we currently don't update
466d44977efSJordan Rose     // DynamicTypeInfo when an object is cast, we can't actually be sure the
467d44977efSJordan Rose     // DynamicTypeInfo is up to date. This assert should be re-enabled once
468d44977efSJordan Rose     // this is fixed. <rdar://problem/12287087>
469d44977efSJordan Rose     //assert(!MD->getParent()->isDerivedFrom(RD) && "Bad DynamicTypeInfo");
470d44977efSJordan Rose 
47181456d9fSJordan Rose     return RuntimeDefinition();
47281456d9fSJordan Rose   }
4730f6d63beSJordan Rose 
4740f6d63beSJordan Rose   // Does the decl that we found have an implementation?
4750f6d63beSJordan Rose   const FunctionDecl *Definition;
4760f6d63beSJordan Rose   if (!Result->hasBody(Definition))
4770f6d63beSJordan Rose     return RuntimeDefinition();
4780f6d63beSJordan Rose 
4790f6d63beSJordan Rose   // We found a definition. If we're not sure that this devirtualization is
4800f6d63beSJordan Rose   // actually what will happen at runtime, make sure to provide the region so
4810f6d63beSJordan Rose   // that ExprEngine can decide what to do with it.
4820f6d63beSJordan Rose   if (DynType.canBeASubClass())
4830f6d63beSJordan Rose     return RuntimeDefinition(Definition, R->StripCasts());
4840f6d63beSJordan Rose   return RuntimeDefinition(Definition, /*DispatchRegion=*/0);
4854f7df9beSJordan Rose }
4864f7df9beSJordan Rose 
48742e8d649SJordan Rose void CXXInstanceCall::getInitialStackFrameContents(
48842e8d649SJordan Rose                                             const StackFrameContext *CalleeCtx,
48942e8d649SJordan Rose                                             BindingsTy &Bindings) const {
49042e8d649SJordan Rose   AnyFunctionCall::getInitialStackFrameContents(CalleeCtx, Bindings);
49142e8d649SJordan Rose 
49202e5309bSJordan Rose   // Handle the binding of 'this' in the new stack frame.
49342e8d649SJordan Rose   SVal ThisVal = getCXXThisVal();
49442e8d649SJordan Rose   if (!ThisVal.isUnknown()) {
49502e5309bSJordan Rose     ProgramStateManager &StateMgr = getState()->getStateManager();
49602e5309bSJordan Rose     SValBuilder &SVB = StateMgr.getSValBuilder();
49702e5309bSJordan Rose 
49842e8d649SJordan Rose     const CXXMethodDecl *MD = cast<CXXMethodDecl>(CalleeCtx->getDecl());
49942e8d649SJordan Rose     Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx);
50002e5309bSJordan Rose 
50131c3fa9cSJordan Rose     // If we devirtualized to a different member function, we need to make sure
50231c3fa9cSJordan Rose     // we have the proper layering of CXXBaseObjectRegions.
50331c3fa9cSJordan Rose     if (MD->getCanonicalDecl() != getDecl()->getCanonicalDecl()) {
504710f6b12SJordan Rose       ASTContext &Ctx = SVB.getContext();
50502e5309bSJordan Rose       const CXXRecordDecl *Class = MD->getParent();
506710f6b12SJordan Rose       QualType Ty = Ctx.getPointerType(Ctx.getRecordType(Class));
50702e5309bSJordan Rose 
508710f6b12SJordan Rose       // FIXME: CallEvent maybe shouldn't be directly accessing StoreManager.
509710f6b12SJordan Rose       bool Failed;
510710f6b12SJordan Rose       ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed);
511710f6b12SJordan Rose       assert(!Failed && "Calling an incorrectly devirtualized method");
51202e5309bSJordan Rose     }
51302e5309bSJordan Rose 
51431c3fa9cSJordan Rose     if (!ThisVal.isUnknown())
51542e8d649SJordan Rose       Bindings.push_back(std::make_pair(ThisLoc, ThisVal));
51642e8d649SJordan Rose   }
51742e8d649SJordan Rose }
51842e8d649SJordan Rose 
51942e8d649SJordan Rose 
5204f7df9beSJordan Rose 
52192e1449bSJordan Rose const Expr *CXXMemberCall::getCXXThisExpr() const {
52292e1449bSJordan Rose   return getOriginExpr()->getImplicitObjectArgument();
5234f7df9beSJordan Rose }
5244f7df9beSJordan Rose 
525089c5510STed Kremenek RuntimeDefinition CXXMemberCall::getRuntimeDefinition() const {
52612f669e3SJordan Rose   // C++11 [expr.call]p1: ...If the selected function is non-virtual, or if the
52712f669e3SJordan Rose   // id-expression in the class member access expression is a qualified-id,
52812f669e3SJordan Rose   // that function is called. Otherwise, its final overrider in the dynamic type
52912f669e3SJordan Rose   // of the object expression is called.
53012f669e3SJordan Rose   if (const MemberExpr *ME = dyn_cast<MemberExpr>(getOriginExpr()->getCallee()))
53112f669e3SJordan Rose     if (ME->hasQualifier())
532089c5510STed Kremenek       return AnyFunctionCall::getRuntimeDefinition();
53312f669e3SJordan Rose 
534089c5510STed Kremenek   return CXXInstanceCall::getRuntimeDefinition();
53512f669e3SJordan Rose }
53612f669e3SJordan Rose 
5374f7df9beSJordan Rose 
53892e1449bSJordan Rose const Expr *CXXMemberOperatorCall::getCXXThisExpr() const {
53992e1449bSJordan Rose   return getOriginExpr()->getArg(0);
5404f7df9beSJordan Rose }
5414f7df9beSJordan Rose 
5424f7df9beSJordan Rose 
5434f7df9beSJordan Rose const BlockDataRegion *BlockCall::getBlockRegion() const {
5444f7df9beSJordan Rose   const Expr *Callee = getOriginExpr()->getCallee();
5454f7df9beSJordan Rose   const MemRegion *DataReg = getSVal(Callee).getAsRegion();
5464f7df9beSJordan Rose 
5474f7df9beSJordan Rose   return dyn_cast_or_null<BlockDataRegion>(DataReg);
5484f7df9beSJordan Rose }
5494f7df9beSJordan Rose 
55042e8d649SJordan Rose CallEvent::param_iterator BlockCall::param_begin() const {
5514f7df9beSJordan Rose   const BlockDecl *D = getBlockDecl();
5524f7df9beSJordan Rose   if (!D)
5534f7df9beSJordan Rose     return 0;
5544f7df9beSJordan Rose   return D->param_begin();
5554f7df9beSJordan Rose }
5564f7df9beSJordan Rose 
55742e8d649SJordan Rose CallEvent::param_iterator BlockCall::param_end() const {
5584f7df9beSJordan Rose   const BlockDecl *D = getBlockDecl();
5594f7df9beSJordan Rose   if (!D)
5604f7df9beSJordan Rose     return 0;
5614f7df9beSJordan Rose   return D->param_end();
5624f7df9beSJordan Rose }
5634f7df9beSJordan Rose 
5644f7df9beSJordan Rose void BlockCall::getExtraInvalidatedRegions(RegionList &Regions) const {
5654f7df9beSJordan Rose   // FIXME: This also needs to invalidate captured globals.
5664f7df9beSJordan Rose   if (const MemRegion *R = getBlockRegion())
5674f7df9beSJordan Rose     Regions.push_back(R);
5684f7df9beSJordan Rose }
5694f7df9beSJordan Rose 
57042e8d649SJordan Rose void BlockCall::getInitialStackFrameContents(const StackFrameContext *CalleeCtx,
57142e8d649SJordan Rose                                              BindingsTy &Bindings) const {
57242e8d649SJordan Rose   const BlockDecl *D = cast<BlockDecl>(CalleeCtx->getDecl());
57342e8d649SJordan Rose   SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
57442e8d649SJordan Rose   addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
57542e8d649SJordan Rose                                D->param_begin(), D->param_end());
57642e8d649SJordan Rose }
57742e8d649SJordan Rose 
57842e8d649SJordan Rose 
5794f7df9beSJordan Rose SVal CXXConstructorCall::getCXXThisVal() const {
5804f7df9beSJordan Rose   if (Data)
5814f7df9beSJordan Rose     return loc::MemRegionVal(static_cast<const MemRegion *>(Data));
5824f7df9beSJordan Rose   return UnknownVal();
5834f7df9beSJordan Rose }
5844f7df9beSJordan Rose 
5854f7df9beSJordan Rose void CXXConstructorCall::getExtraInvalidatedRegions(RegionList &Regions) const {
5864f7df9beSJordan Rose   if (Data)
5874f7df9beSJordan Rose     Regions.push_back(static_cast<const MemRegion *>(Data));
5884f7df9beSJordan Rose }
5894f7df9beSJordan Rose 
59042e8d649SJordan Rose void CXXConstructorCall::getInitialStackFrameContents(
59142e8d649SJordan Rose                                              const StackFrameContext *CalleeCtx,
59242e8d649SJordan Rose                                              BindingsTy &Bindings) const {
59342e8d649SJordan Rose   AnyFunctionCall::getInitialStackFrameContents(CalleeCtx, Bindings);
59442e8d649SJordan Rose 
59542e8d649SJordan Rose   SVal ThisVal = getCXXThisVal();
59642e8d649SJordan Rose   if (!ThisVal.isUnknown()) {
59742e8d649SJordan Rose     SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
59842e8d649SJordan Rose     const CXXMethodDecl *MD = cast<CXXMethodDecl>(CalleeCtx->getDecl());
59942e8d649SJordan Rose     Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx);
60042e8d649SJordan Rose     Bindings.push_back(std::make_pair(ThisLoc, ThisVal));
60142e8d649SJordan Rose   }
60242e8d649SJordan Rose }
60342e8d649SJordan Rose 
60442e8d649SJordan Rose 
6054f7df9beSJordan Rose 
6064f7df9beSJordan Rose SVal CXXDestructorCall::getCXXThisVal() const {
6074f7df9beSJordan Rose   if (Data)
6082bc9674bSJordan Rose     return loc::MemRegionVal(DtorDataTy::getFromOpaqueValue(Data).getPointer());
6094f7df9beSJordan Rose   return UnknownVal();
6104f7df9beSJordan Rose }
6114f7df9beSJordan Rose 
612089c5510STed Kremenek RuntimeDefinition CXXDestructorCall::getRuntimeDefinition() const {
6132bc9674bSJordan Rose   // Base destructors are always called non-virtually.
6142bc9674bSJordan Rose   // Skip CXXInstanceCall's devirtualization logic in this case.
6152bc9674bSJordan Rose   if (isBaseDestructor())
616089c5510STed Kremenek     return AnyFunctionCall::getRuntimeDefinition();
6172bc9674bSJordan Rose 
618089c5510STed Kremenek   return CXXInstanceCall::getRuntimeDefinition();
6192bc9674bSJordan Rose }
6202bc9674bSJordan Rose 
62142e8d649SJordan Rose 
62242e8d649SJordan Rose CallEvent::param_iterator ObjCMethodCall::param_begin() const {
62342e8d649SJordan Rose   const ObjCMethodDecl *D = getDecl();
6244f7df9beSJordan Rose   if (!D)
6254f7df9beSJordan Rose     return 0;
6264f7df9beSJordan Rose 
62742e8d649SJordan Rose   return D->param_begin();
62842e8d649SJordan Rose }
62942e8d649SJordan Rose 
63042e8d649SJordan Rose CallEvent::param_iterator ObjCMethodCall::param_end() const {
63142e8d649SJordan Rose   const ObjCMethodDecl *D = getDecl();
63242e8d649SJordan Rose   if (!D)
63342e8d649SJordan Rose     return 0;
63442e8d649SJordan Rose 
63542e8d649SJordan Rose   return D->param_end();
6364f7df9beSJordan Rose }
6374f7df9beSJordan Rose 
6384f7df9beSJordan Rose void
6394f7df9beSJordan Rose ObjCMethodCall::getExtraInvalidatedRegions(RegionList &Regions) const {
6404f7df9beSJordan Rose   if (const MemRegion *R = getReceiverSVal().getAsRegion())
6414f7df9beSJordan Rose     Regions.push_back(R);
6424f7df9beSJordan Rose }
6434f7df9beSJordan Rose 
6443d5d3d3eSAnna Zaks SVal ObjCMethodCall::getSelfSVal() const {
6453d5d3d3eSAnna Zaks   const LocationContext *LCtx = getLocationContext();
6463d5d3d3eSAnna Zaks   const ImplicitParamDecl *SelfDecl = LCtx->getSelfDecl();
6473d5d3d3eSAnna Zaks   if (!SelfDecl)
6483d5d3d3eSAnna Zaks     return SVal();
6493d5d3d3eSAnna Zaks   return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx));
6503d5d3d3eSAnna Zaks }
6513d5d3d3eSAnna Zaks 
6524f7df9beSJordan Rose SVal ObjCMethodCall::getReceiverSVal() const {
6534f7df9beSJordan Rose   // FIXME: Is this the best way to handle class receivers?
6544f7df9beSJordan Rose   if (!isInstanceMessage())
6554f7df9beSJordan Rose     return UnknownVal();
6564f7df9beSJordan Rose 
657472dbcf1SAnna Zaks   if (const Expr *RecE = getOriginExpr()->getInstanceReceiver())
658472dbcf1SAnna Zaks     return getSVal(RecE);
6594f7df9beSJordan Rose 
6604f7df9beSJordan Rose   // An instance message with no expression means we are sending to super.
6614f7df9beSJordan Rose   // In this case the object reference is the same as 'self'.
6623d5d3d3eSAnna Zaks   assert(getOriginExpr()->getReceiverKind() == ObjCMessageExpr::SuperInstance);
6633d5d3d3eSAnna Zaks   SVal SelfVal = getSelfSVal();
6643d5d3d3eSAnna Zaks   assert(SelfVal.isValid() && "Calling super but not in ObjC method");
6653d5d3d3eSAnna Zaks   return SelfVal;
6663d5d3d3eSAnna Zaks }
6673d5d3d3eSAnna Zaks 
6683d5d3d3eSAnna Zaks bool ObjCMethodCall::isReceiverSelfOrSuper() const {
6693d5d3d3eSAnna Zaks   if (getOriginExpr()->getReceiverKind() == ObjCMessageExpr::SuperInstance ||
6703d5d3d3eSAnna Zaks       getOriginExpr()->getReceiverKind() == ObjCMessageExpr::SuperClass)
6713d5d3d3eSAnna Zaks       return true;
6723d5d3d3eSAnna Zaks 
6733d5d3d3eSAnna Zaks   if (!isInstanceMessage())
6743d5d3d3eSAnna Zaks     return false;
6753d5d3d3eSAnna Zaks 
6763d5d3d3eSAnna Zaks   SVal RecVal = getSVal(getOriginExpr()->getInstanceReceiver());
6773d5d3d3eSAnna Zaks 
6783d5d3d3eSAnna Zaks   return (RecVal == getSelfSVal());
6794f7df9beSJordan Rose }
6804f7df9beSJordan Rose 
6814f7df9beSJordan Rose SourceRange ObjCMethodCall::getSourceRange() const {
6824f7df9beSJordan Rose   switch (getMessageKind()) {
6834f7df9beSJordan Rose   case OCM_Message:
6844f7df9beSJordan Rose     return getOriginExpr()->getSourceRange();
6854f7df9beSJordan Rose   case OCM_PropertyAccess:
6864f7df9beSJordan Rose   case OCM_Subscript:
6874f7df9beSJordan Rose     return getContainingPseudoObjectExpr()->getSourceRange();
6884f7df9beSJordan Rose   }
6894f7df9beSJordan Rose   llvm_unreachable("unknown message kind");
6904f7df9beSJordan Rose }
6914f7df9beSJordan Rose 
6924f7df9beSJordan Rose typedef llvm::PointerIntPair<const PseudoObjectExpr *, 2> ObjCMessageDataTy;
6934f7df9beSJordan Rose 
6944f7df9beSJordan Rose const PseudoObjectExpr *ObjCMethodCall::getContainingPseudoObjectExpr() const {
6954f7df9beSJordan Rose   assert(Data != 0 && "Lazy lookup not yet performed.");
6964f7df9beSJordan Rose   assert(getMessageKind() != OCM_Message && "Explicit message send.");
6974f7df9beSJordan Rose   return ObjCMessageDataTy::getFromOpaqueValue(Data).getPointer();
6984f7df9beSJordan Rose }
6994f7df9beSJordan Rose 
7004f7df9beSJordan Rose ObjCMessageKind ObjCMethodCall::getMessageKind() const {
7014f7df9beSJordan Rose   if (Data == 0) {
7024f7df9beSJordan Rose     ParentMap &PM = getLocationContext()->getParentMap();
7034f7df9beSJordan Rose     const Stmt *S = PM.getParent(getOriginExpr());
7044f7df9beSJordan Rose     if (const PseudoObjectExpr *POE = dyn_cast_or_null<PseudoObjectExpr>(S)) {
7054f7df9beSJordan Rose       const Expr *Syntactic = POE->getSyntacticForm();
7064f7df9beSJordan Rose 
7074f7df9beSJordan Rose       // This handles the funny case of assigning to the result of a getter.
7084f7df9beSJordan Rose       // This can happen if the getter returns a non-const reference.
7094f7df9beSJordan Rose       if (const BinaryOperator *BO = dyn_cast<BinaryOperator>(Syntactic))
7104f7df9beSJordan Rose         Syntactic = BO->getLHS();
7114f7df9beSJordan Rose 
7124f7df9beSJordan Rose       ObjCMessageKind K;
7134f7df9beSJordan Rose       switch (Syntactic->getStmtClass()) {
7144f7df9beSJordan Rose       case Stmt::ObjCPropertyRefExprClass:
7154f7df9beSJordan Rose         K = OCM_PropertyAccess;
7164f7df9beSJordan Rose         break;
7174f7df9beSJordan Rose       case Stmt::ObjCSubscriptRefExprClass:
7184f7df9beSJordan Rose         K = OCM_Subscript;
7194f7df9beSJordan Rose         break;
7204f7df9beSJordan Rose       default:
7214f7df9beSJordan Rose         // FIXME: Can this ever happen?
7224f7df9beSJordan Rose         K = OCM_Message;
7234f7df9beSJordan Rose         break;
7244f7df9beSJordan Rose       }
7254f7df9beSJordan Rose 
7264f7df9beSJordan Rose       if (K != OCM_Message) {
7274f7df9beSJordan Rose         const_cast<ObjCMethodCall *>(this)->Data
7284f7df9beSJordan Rose           = ObjCMessageDataTy(POE, K).getOpaqueValue();
7294f7df9beSJordan Rose         assert(getMessageKind() == K);
7304f7df9beSJordan Rose         return K;
7314f7df9beSJordan Rose       }
7324f7df9beSJordan Rose     }
7334f7df9beSJordan Rose 
7344f7df9beSJordan Rose     const_cast<ObjCMethodCall *>(this)->Data
7354f7df9beSJordan Rose       = ObjCMessageDataTy(0, 1).getOpaqueValue();
7364f7df9beSJordan Rose     assert(getMessageKind() == OCM_Message);
7374f7df9beSJordan Rose     return OCM_Message;
7384f7df9beSJordan Rose   }
7394f7df9beSJordan Rose 
7404f7df9beSJordan Rose   ObjCMessageDataTy Info = ObjCMessageDataTy::getFromOpaqueValue(Data);
7414f7df9beSJordan Rose   if (!Info.getPointer())
7424f7df9beSJordan Rose     return OCM_Message;
7434f7df9beSJordan Rose   return static_cast<ObjCMessageKind>(Info.getInt());
7444f7df9beSJordan Rose }
7454f7df9beSJordan Rose 
746920af014SAnna Zaks 
747920af014SAnna Zaks bool ObjCMethodCall::canBeOverridenInSubclass(ObjCInterfaceDecl *IDecl,
748920af014SAnna Zaks                                              Selector Sel) const {
749920af014SAnna Zaks   assert(IDecl);
750920af014SAnna Zaks   const SourceManager &SM =
751920af014SAnna Zaks     getState()->getStateManager().getContext().getSourceManager();
752920af014SAnna Zaks 
753920af014SAnna Zaks   // If the class interface is declared inside the main file, assume it is not
754920af014SAnna Zaks   // subcassed.
755920af014SAnna Zaks   // TODO: It could actually be subclassed if the subclass is private as well.
756920af014SAnna Zaks   // This is probably very rare.
757920af014SAnna Zaks   SourceLocation InterfLoc = IDecl->getEndOfDefinitionLoc();
758920af014SAnna Zaks   if (InterfLoc.isValid() && SM.isFromMainFile(InterfLoc))
759920af014SAnna Zaks     return false;
760920af014SAnna Zaks 
7616ddb6b1aSAnna Zaks   // Assume that property accessors are not overridden.
7626ddb6b1aSAnna Zaks   if (getMessageKind() == OCM_PropertyAccess)
7636ddb6b1aSAnna Zaks     return false;
764920af014SAnna Zaks 
765920af014SAnna Zaks   // We assume that if the method is public (declared outside of main file) or
766920af014SAnna Zaks   // has a parent which publicly declares the method, the method could be
767920af014SAnna Zaks   // overridden in a subclass.
768920af014SAnna Zaks 
769920af014SAnna Zaks   // Find the first declaration in the class hierarchy that declares
770920af014SAnna Zaks   // the selector.
771920af014SAnna Zaks   ObjCMethodDecl *D = 0;
772920af014SAnna Zaks   while (true) {
773920af014SAnna Zaks     D = IDecl->lookupMethod(Sel, true);
774920af014SAnna Zaks 
775920af014SAnna Zaks     // Cannot find a public definition.
776920af014SAnna Zaks     if (!D)
777920af014SAnna Zaks       return false;
778920af014SAnna Zaks 
779920af014SAnna Zaks     // If outside the main file,
780920af014SAnna Zaks     if (D->getLocation().isValid() && !SM.isFromMainFile(D->getLocation()))
781920af014SAnna Zaks       return true;
782920af014SAnna Zaks 
783920af014SAnna Zaks     if (D->isOverriding()) {
784920af014SAnna Zaks       // Search in the superclass on the next iteration.
785920af014SAnna Zaks       IDecl = D->getClassInterface();
786920af014SAnna Zaks       if (!IDecl)
787920af014SAnna Zaks         return false;
788920af014SAnna Zaks 
789920af014SAnna Zaks       IDecl = IDecl->getSuperClass();
790920af014SAnna Zaks       if (!IDecl)
791920af014SAnna Zaks         return false;
792920af014SAnna Zaks 
793920af014SAnna Zaks       continue;
794920af014SAnna Zaks     }
795920af014SAnna Zaks 
796920af014SAnna Zaks     return false;
797920af014SAnna Zaks   };
798920af014SAnna Zaks 
799920af014SAnna Zaks   llvm_unreachable("The while loop should always terminate.");
800920af014SAnna Zaks }
801920af014SAnna Zaks 
802089c5510STed Kremenek RuntimeDefinition ObjCMethodCall::getRuntimeDefinition() const {
80363282aefSAnna Zaks   const ObjCMessageExpr *E = getOriginExpr();
80463282aefSAnna Zaks   assert(E);
8055808eb80SAnna Zaks   Selector Sel = E->getSelector();
8064f7df9beSJordan Rose 
80763282aefSAnna Zaks   if (E->isInstanceMessage()) {
8085808eb80SAnna Zaks 
8095808eb80SAnna Zaks     // Find the the receiver type.
8105808eb80SAnna Zaks     const ObjCObjectPointerType *ReceiverT = 0;
81175f49a9cSAnna Zaks     bool CanBeSubClassed = false;
8125808eb80SAnna Zaks     QualType SupersType = E->getSuperType();
813123af098SAnna Zaks     const MemRegion *Receiver = 0;
814123af098SAnna Zaks 
8155808eb80SAnna Zaks     if (!SupersType.isNull()) {
816123af098SAnna Zaks       // Super always means the type of immediate predecessor to the method
817123af098SAnna Zaks       // where the call occurs.
81875930b65SAnna Zaks       ReceiverT = cast<ObjCObjectPointerType>(SupersType);
8195808eb80SAnna Zaks     } else {
820123af098SAnna Zaks       Receiver = getReceiverSVal().getAsRegion();
8216a97d92eSJordan Rose       if (!Receiver)
822123af098SAnna Zaks         return RuntimeDefinition();
8236a97d92eSJordan Rose 
82475f49a9cSAnna Zaks       DynamicTypeInfo DTI = getState()->getDynamicTypeInfo(Receiver);
82575f49a9cSAnna Zaks       QualType DynType = DTI.getType();
82675f49a9cSAnna Zaks       CanBeSubClassed = DTI.canBeASubClass();
82775930b65SAnna Zaks       ReceiverT = dyn_cast<ObjCObjectPointerType>(DynType);
82875f49a9cSAnna Zaks 
82975f49a9cSAnna Zaks       if (ReceiverT && CanBeSubClassed)
83075f49a9cSAnna Zaks         if (ObjCInterfaceDecl *IDecl = ReceiverT->getInterfaceDecl())
83175f49a9cSAnna Zaks           if (!canBeOverridenInSubclass(IDecl, Sel))
83275f49a9cSAnna Zaks             CanBeSubClassed = false;
8334f7df9beSJordan Rose     }
8344f7df9beSJordan Rose 
8355808eb80SAnna Zaks     // Lookup the method implementation.
8365808eb80SAnna Zaks     if (ReceiverT)
837920af014SAnna Zaks       if (ObjCInterfaceDecl *IDecl = ReceiverT->getInterfaceDecl()) {
83875f49a9cSAnna Zaks         const ObjCMethodDecl *MD = IDecl->lookupPrivateMethod(Sel);
83975f49a9cSAnna Zaks         if (CanBeSubClassed)
84075f49a9cSAnna Zaks           return RuntimeDefinition(MD, Receiver);
841920af014SAnna Zaks         else
84275f49a9cSAnna Zaks           return RuntimeDefinition(MD, 0);
843920af014SAnna Zaks       }
8445808eb80SAnna Zaks 
84563282aefSAnna Zaks   } else {
84663282aefSAnna Zaks     // This is a class method.
84763282aefSAnna Zaks     // If we have type info for the receiver class, we are calling via
84863282aefSAnna Zaks     // class name.
84963282aefSAnna Zaks     if (ObjCInterfaceDecl *IDecl = E->getReceiverInterface()) {
85063282aefSAnna Zaks       // Find/Return the method implementation.
85185383182SAnna Zaks       return RuntimeDefinition(IDecl->lookupPrivateClassMethod(Sel));
8524f7df9beSJordan Rose     }
85363282aefSAnna Zaks   }
85463282aefSAnna Zaks 
855123af098SAnna Zaks   return RuntimeDefinition();
8564f7df9beSJordan Rose }
8574f7df9beSJordan Rose 
85842e8d649SJordan Rose void ObjCMethodCall::getInitialStackFrameContents(
85942e8d649SJordan Rose                                              const StackFrameContext *CalleeCtx,
86042e8d649SJordan Rose                                              BindingsTy &Bindings) const {
86142e8d649SJordan Rose   const ObjCMethodDecl *D = cast<ObjCMethodDecl>(CalleeCtx->getDecl());
86242e8d649SJordan Rose   SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
86342e8d649SJordan Rose   addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
86442e8d649SJordan Rose                                D->param_begin(), D->param_end());
86542e8d649SJordan Rose 
86642e8d649SJordan Rose   SVal SelfVal = getReceiverSVal();
86742e8d649SJordan Rose   if (!SelfVal.isUnknown()) {
86842e8d649SJordan Rose     const VarDecl *SelfD = CalleeCtx->getAnalysisDeclContext()->getSelfDecl();
86942e8d649SJordan Rose     MemRegionManager &MRMgr = SVB.getRegionManager();
87042e8d649SJordan Rose     Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx));
87142e8d649SJordan Rose     Bindings.push_back(std::make_pair(SelfLoc, SelfVal));
87242e8d649SJordan Rose   }
87342e8d649SJordan Rose }
87442e8d649SJordan Rose 
875ce6c99a5SJordan Rose CallEventRef<>
876fcd016e5SJordan Rose CallEventManager::getSimpleCall(const CallExpr *CE, ProgramStateRef State,
877fcd016e5SJordan Rose                                 const LocationContext *LCtx) {
878fcd016e5SJordan Rose   if (const CXXMemberCallExpr *MCE = dyn_cast<CXXMemberCallExpr>(CE))
879fcd016e5SJordan Rose     return create<CXXMemberCall>(MCE, State, LCtx);
880fcd016e5SJordan Rose 
881fcd016e5SJordan Rose   if (const CXXOperatorCallExpr *OpCE = dyn_cast<CXXOperatorCallExpr>(CE)) {
882fcd016e5SJordan Rose     const FunctionDecl *DirectCallee = OpCE->getDirectCallee();
883fcd016e5SJordan Rose     if (const CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(DirectCallee))
884fcd016e5SJordan Rose       if (MD->isInstance())
885fcd016e5SJordan Rose         return create<CXXMemberOperatorCall>(OpCE, State, LCtx);
886fcd016e5SJordan Rose 
887fcd016e5SJordan Rose   } else if (CE->getCallee()->getType()->isBlockPointerType()) {
888fcd016e5SJordan Rose     return create<BlockCall>(CE, State, LCtx);
889fcd016e5SJordan Rose   }
890fcd016e5SJordan Rose 
891fcd016e5SJordan Rose   // Otherwise, it's a normal function call, static member function call, or
892fcd016e5SJordan Rose   // something we can't reason about.
893fcd016e5SJordan Rose   return create<FunctionCall>(CE, State, LCtx);
894fcd016e5SJordan Rose }
895c2d249ceSJordan Rose 
896c2d249ceSJordan Rose 
897c2d249ceSJordan Rose CallEventRef<>
898c2d249ceSJordan Rose CallEventManager::getCaller(const StackFrameContext *CalleeCtx,
899c2d249ceSJordan Rose                             ProgramStateRef State) {
900c2d249ceSJordan Rose   const LocationContext *ParentCtx = CalleeCtx->getParent();
901c2d249ceSJordan Rose   const LocationContext *CallerCtx = ParentCtx->getCurrentStackFrame();
902c2d249ceSJordan Rose   assert(CallerCtx && "This should not be used for top-level stack frames");
903c2d249ceSJordan Rose 
904c2d249ceSJordan Rose   const Stmt *CallSite = CalleeCtx->getCallSite();
905c2d249ceSJordan Rose 
906c2d249ceSJordan Rose   if (CallSite) {
907c2d249ceSJordan Rose     if (const CallExpr *CE = dyn_cast<CallExpr>(CallSite))
908c2d249ceSJordan Rose       return getSimpleCall(CE, State, CallerCtx);
909c2d249ceSJordan Rose 
910c2d249ceSJordan Rose     switch (CallSite->getStmtClass()) {
9118d48938bSJordan Rose     case Stmt::CXXConstructExprClass:
9128d48938bSJordan Rose     case Stmt::CXXTemporaryObjectExprClass: {
913c2d249ceSJordan Rose       SValBuilder &SVB = State->getStateManager().getSValBuilder();
914c2d249ceSJordan Rose       const CXXMethodDecl *Ctor = cast<CXXMethodDecl>(CalleeCtx->getDecl());
915c2d249ceSJordan Rose       Loc ThisPtr = SVB.getCXXThis(Ctor, CalleeCtx);
916c2d249ceSJordan Rose       SVal ThisVal = State->getSVal(ThisPtr);
917c2d249ceSJordan Rose 
918c2d249ceSJordan Rose       return getCXXConstructorCall(cast<CXXConstructExpr>(CallSite),
919c2d249ceSJordan Rose                                    ThisVal.getAsRegion(), State, CallerCtx);
920c2d249ceSJordan Rose     }
921c2d249ceSJordan Rose     case Stmt::CXXNewExprClass:
922c2d249ceSJordan Rose       return getCXXAllocatorCall(cast<CXXNewExpr>(CallSite), State, CallerCtx);
923c2d249ceSJordan Rose     case Stmt::ObjCMessageExprClass:
924c2d249ceSJordan Rose       return getObjCMethodCall(cast<ObjCMessageExpr>(CallSite),
925c2d249ceSJordan Rose                                State, CallerCtx);
926c2d249ceSJordan Rose     default:
927c2d249ceSJordan Rose       llvm_unreachable("This is not an inlineable statement.");
928c2d249ceSJordan Rose     }
929c2d249ceSJordan Rose   }
930c2d249ceSJordan Rose 
931c2d249ceSJordan Rose   // Fall back to the CFG. The only thing we haven't handled yet is
932c2d249ceSJordan Rose   // destructors, though this could change in the future.
933c2d249ceSJordan Rose   const CFGBlock *B = CalleeCtx->getCallSiteBlock();
934c2d249ceSJordan Rose   CFGElement E = (*B)[CalleeCtx->getIndex()];
935c2d249ceSJordan Rose   assert(isa<CFGImplicitDtor>(E) && "All other CFG elements should have exprs");
936c2d249ceSJordan Rose   assert(!isa<CFGTemporaryDtor>(E) && "We don't handle temporaries yet");
937c2d249ceSJordan Rose 
938c2d249ceSJordan Rose   SValBuilder &SVB = State->getStateManager().getSValBuilder();
939c2d249ceSJordan Rose   const CXXDestructorDecl *Dtor = cast<CXXDestructorDecl>(CalleeCtx->getDecl());
940c2d249ceSJordan Rose   Loc ThisPtr = SVB.getCXXThis(Dtor, CalleeCtx);
941c2d249ceSJordan Rose   SVal ThisVal = State->getSVal(ThisPtr);
942c2d249ceSJordan Rose 
943c2d249ceSJordan Rose   const Stmt *Trigger;
944c2d249ceSJordan Rose   if (const CFGAutomaticObjDtor *AutoDtor = dyn_cast<CFGAutomaticObjDtor>(&E))
945c2d249ceSJordan Rose     Trigger = AutoDtor->getTriggerStmt();
946c2d249ceSJordan Rose   else
947c2d249ceSJordan Rose     Trigger = Dtor->getBody();
948c2d249ceSJordan Rose 
949c2d249ceSJordan Rose   return getCXXDestructorCall(Dtor, Trigger, ThisVal.getAsRegion(),
9502bc9674bSJordan Rose                               isa<CFGBaseDtor>(E), State, CallerCtx);
951c2d249ceSJordan Rose }
952