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"
174f7df9beSJordan Rose #include "clang/AST/ParentMap.h"
183a02247dSChandler Carruth #include "clang/Analysis/ProgramPoint.h"
193a02247dSChandler Carruth #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
204f7df9beSJordan Rose #include "llvm/ADT/SmallSet.h"
214f7df9beSJordan Rose #include "llvm/ADT/StringExtras.h"
22444a1304SBenjamin 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.
159*2fdacbc5SDavid Blaikie     if (llvm::Optional<nonloc::LocAsInteger> Wrapped =
160*2fdacbc5SDavid Blaikie             V.getAs<nonloc::LocAsInteger>())
1614f7df9beSJordan Rose       V = Wrapped->getLoc();
162*2fdacbc5SDavid Blaikie     else if (!V.getAs<Loc>())
1634f7df9beSJordan Rose       continue;
1644f7df9beSJordan Rose 
1654f7df9beSJordan Rose     if (const MemRegion *R = V.getAsRegion()) {
1664f7df9beSJordan Rose       // Invalidate the value of the variable passed by reference.
1674f7df9beSJordan Rose 
1684f7df9beSJordan Rose       // Are we dealing with an ElementRegion?  If the element type is
1694f7df9beSJordan Rose       // a basic integer type (e.g., char, int) and the underlying region
1704f7df9beSJordan Rose       // is a variable region then strip off the ElementRegion.
1714f7df9beSJordan Rose       // FIXME: We really need to think about this for the general case
1724f7df9beSJordan Rose       //   as sometimes we are reasoning about arrays and other times
1734f7df9beSJordan Rose       //   about (char*), etc., is just a form of passing raw bytes.
1744f7df9beSJordan Rose       //   e.g., void *p = alloca(); foo((char*)p);
1754f7df9beSJordan Rose       if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) {
1764f7df9beSJordan Rose         // Checking for 'integral type' is probably too promiscuous, but
1774f7df9beSJordan Rose         // we'll leave it in for now until we have a systematic way of
1784f7df9beSJordan Rose         // handling all of these cases.  Eventually we need to come up
1794f7df9beSJordan Rose         // with an interface to StoreManager so that this logic can be
1804f7df9beSJordan Rose         // appropriately delegated to the respective StoreManagers while
1814f7df9beSJordan Rose         // still allowing us to do checker-specific logic (e.g.,
1824f7df9beSJordan Rose         // invalidating reference counts), probably via callbacks.
1834f7df9beSJordan Rose         if (ER->getElementType()->isIntegralOrEnumerationType()) {
1844f7df9beSJordan Rose           const MemRegion *superReg = ER->getSuperRegion();
1854f7df9beSJordan Rose           if (isa<VarRegion>(superReg) || isa<FieldRegion>(superReg) ||
1864f7df9beSJordan Rose               isa<ObjCIvarRegion>(superReg))
1874f7df9beSJordan Rose             R = cast<TypedRegion>(superReg);
1884f7df9beSJordan Rose         }
1894f7df9beSJordan Rose         // FIXME: What about layers of ElementRegions?
1904f7df9beSJordan Rose       }
1914f7df9beSJordan Rose 
1924f7df9beSJordan Rose       // Mark this region for invalidation.  We batch invalidate regions
1934f7df9beSJordan Rose       // below for efficiency.
1944f7df9beSJordan Rose       RegionsToInvalidate.push_back(R);
1954f7df9beSJordan Rose     }
1964f7df9beSJordan Rose   }
1974f7df9beSJordan Rose 
1984f7df9beSJordan Rose   // Invalidate designated regions using the batch invalidation API.
1994f7df9beSJordan Rose   // NOTE: Even if RegionsToInvalidate is empty, we may still invalidate
2004f7df9beSJordan Rose   //  global variables.
2014f7df9beSJordan Rose   return Result->invalidateRegions(RegionsToInvalidate, getOriginExpr(),
2024f7df9beSJordan Rose                                    BlockCount, getLocationContext(),
2039747febbSAnna Zaks                                    /*CausedByPointerEscape*/ true,
2044f7df9beSJordan Rose                                    /*Symbols=*/0, this);
2054f7df9beSJordan Rose }
2064f7df9beSJordan Rose 
2074f7df9beSJordan Rose ProgramPoint CallEvent::getProgramPoint(bool IsPreVisit,
2084f7df9beSJordan Rose                                         const ProgramPointTag *Tag) const {
2094f7df9beSJordan Rose   if (const Expr *E = getOriginExpr()) {
2104f7df9beSJordan Rose     if (IsPreVisit)
2114f7df9beSJordan Rose       return PreStmt(E, getLocationContext(), Tag);
2124f7df9beSJordan Rose     return PostStmt(E, getLocationContext(), Tag);
2134f7df9beSJordan Rose   }
2144f7df9beSJordan Rose 
2154f7df9beSJordan Rose   const Decl *D = getDecl();
2164f7df9beSJordan Rose   assert(D && "Cannot get a program point without a statement or decl");
2174f7df9beSJordan Rose 
2184f7df9beSJordan Rose   SourceLocation Loc = getSourceRange().getBegin();
2194f7df9beSJordan Rose   if (IsPreVisit)
2204f7df9beSJordan Rose     return PreImplicitCall(D, Loc, getLocationContext(), Tag);
2214f7df9beSJordan Rose   return PostImplicitCall(D, Loc, getLocationContext(), Tag);
2224f7df9beSJordan Rose }
2234f7df9beSJordan Rose 
22472ce8e2dSJordan Rose SVal CallEvent::getArgSVal(unsigned Index) const {
22572ce8e2dSJordan Rose   const Expr *ArgE = getArgExpr(Index);
22672ce8e2dSJordan Rose   if (!ArgE)
22772ce8e2dSJordan Rose     return UnknownVal();
22872ce8e2dSJordan Rose   return getSVal(ArgE);
22972ce8e2dSJordan Rose }
23072ce8e2dSJordan Rose 
23172ce8e2dSJordan Rose SourceRange CallEvent::getArgSourceRange(unsigned Index) const {
23272ce8e2dSJordan Rose   const Expr *ArgE = getArgExpr(Index);
23372ce8e2dSJordan Rose   if (!ArgE)
23472ce8e2dSJordan Rose     return SourceRange();
23572ce8e2dSJordan Rose   return ArgE->getSourceRange();
23672ce8e2dSJordan Rose }
23772ce8e2dSJordan Rose 
238829c3831SJordan Rose SVal CallEvent::getReturnValue() const {
239829c3831SJordan Rose   const Expr *E = getOriginExpr();
240829c3831SJordan Rose   if (!E)
241829c3831SJordan Rose     return UndefinedVal();
242829c3831SJordan Rose   return getSVal(E);
243829c3831SJordan Rose }
244829c3831SJordan Rose 
2459299d8c2SBenjamin Kramer void CallEvent::dump() const {
2469299d8c2SBenjamin Kramer   dump(llvm::errs());
2479299d8c2SBenjamin Kramer }
2489299d8c2SBenjamin Kramer 
24972ce8e2dSJordan Rose void CallEvent::dump(raw_ostream &Out) const {
25072ce8e2dSJordan Rose   ASTContext &Ctx = getState()->getStateManager().getContext();
25172ce8e2dSJordan Rose   if (const Expr *E = getOriginExpr()) {
252235341bcSRichard Smith     E->printPretty(Out, 0, Ctx.getPrintingPolicy());
25372ce8e2dSJordan Rose     Out << "\n";
25472ce8e2dSJordan Rose     return;
25572ce8e2dSJordan Rose   }
25672ce8e2dSJordan Rose 
25772ce8e2dSJordan Rose   if (const Decl *D = getDecl()) {
25872ce8e2dSJordan Rose     Out << "Call to ";
25972ce8e2dSJordan Rose     D->print(Out, Ctx.getPrintingPolicy());
26072ce8e2dSJordan Rose     return;
26172ce8e2dSJordan Rose   }
26272ce8e2dSJordan Rose 
26372ce8e2dSJordan Rose   // FIXME: a string representation of the kind would be nice.
26472ce8e2dSJordan Rose   Out << "Unknown call (type " << getKind() << ")";
26572ce8e2dSJordan Rose }
26672ce8e2dSJordan Rose 
2674f7df9beSJordan Rose 
268e537cc05SJordan Rose bool CallEvent::isCallStmt(const Stmt *S) {
26972ce8e2dSJordan Rose   return isa<CallExpr>(S) || isa<ObjCMessageExpr>(S)
270e537cc05SJordan Rose                           || isa<CXXConstructExpr>(S)
271e537cc05SJordan Rose                           || isa<CXXNewExpr>(S);
2724f7df9beSJordan Rose }
2734f7df9beSJordan Rose 
2745d2964e7SAnna Zaks /// \brief Returns the result type, adjusted for references.
2755d2964e7SAnna Zaks QualType CallEvent::getDeclaredResultType(const Decl *D) {
2765d2964e7SAnna Zaks   assert(D);
2775d2964e7SAnna Zaks   if (const FunctionDecl* FD = dyn_cast<FunctionDecl>(D))
2785d2964e7SAnna Zaks     return FD->getResultType();
2795d2964e7SAnna Zaks   else if (const ObjCMethodDecl* MD = dyn_cast<ObjCMethodDecl>(D))
2805d2964e7SAnna Zaks     return MD->getResultType();
2815d2964e7SAnna Zaks   return QualType();
2825d2964e7SAnna Zaks }
2835d2964e7SAnna Zaks 
28442e8d649SJordan Rose static void addParameterValuesToBindings(const StackFrameContext *CalleeCtx,
28542e8d649SJordan Rose                                          CallEvent::BindingsTy &Bindings,
28642e8d649SJordan Rose                                          SValBuilder &SVB,
28742e8d649SJordan Rose                                          const CallEvent &Call,
28842e8d649SJordan Rose                                          CallEvent::param_iterator I,
28942e8d649SJordan Rose                                          CallEvent::param_iterator E) {
29042e8d649SJordan Rose   MemRegionManager &MRMgr = SVB.getRegionManager();
2914f7df9beSJordan Rose 
29242e8d649SJordan Rose   unsigned Idx = 0;
29342e8d649SJordan Rose   for (; I != E; ++I, ++Idx) {
29442e8d649SJordan Rose     const ParmVarDecl *ParamDecl = *I;
29542e8d649SJordan Rose     assert(ParamDecl && "Formal parameter has no decl?");
2964f7df9beSJordan Rose 
29742e8d649SJordan Rose     SVal ArgVal = Call.getArgSVal(Idx);
29842e8d649SJordan Rose     if (!ArgVal.isUnknown()) {
29942e8d649SJordan Rose       Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx));
30042e8d649SJordan Rose       Bindings.push_back(std::make_pair(ParamLoc, ArgVal));
30142e8d649SJordan Rose     }
3024f7df9beSJordan Rose   }
3034f7df9beSJordan Rose 
30442e8d649SJordan Rose   // FIXME: Variadic arguments are not handled at all right now.
30542e8d649SJordan Rose }
30642e8d649SJordan Rose 
30742e8d649SJordan Rose 
30842e8d649SJordan Rose CallEvent::param_iterator AnyFunctionCall::param_begin() const {
30942e8d649SJordan Rose   const FunctionDecl *D = getDecl();
3104f7df9beSJordan Rose   if (!D)
3114f7df9beSJordan Rose     return 0;
3124f7df9beSJordan Rose 
31342e8d649SJordan Rose   return D->param_begin();
31442e8d649SJordan Rose }
31542e8d649SJordan Rose 
31642e8d649SJordan Rose CallEvent::param_iterator AnyFunctionCall::param_end() const {
31742e8d649SJordan Rose   const FunctionDecl *D = getDecl();
31842e8d649SJordan Rose   if (!D)
31942e8d649SJordan Rose     return 0;
32042e8d649SJordan Rose 
32142e8d649SJordan Rose   return D->param_end();
32242e8d649SJordan Rose }
32342e8d649SJordan Rose 
32442e8d649SJordan Rose void AnyFunctionCall::getInitialStackFrameContents(
32542e8d649SJordan Rose                                         const StackFrameContext *CalleeCtx,
32642e8d649SJordan Rose                                         BindingsTy &Bindings) const {
32742e8d649SJordan Rose   const FunctionDecl *D = cast<FunctionDecl>(CalleeCtx->getDecl());
32842e8d649SJordan Rose   SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
32942e8d649SJordan Rose   addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
33042e8d649SJordan Rose                                D->param_begin(), D->param_end());
3314f7df9beSJordan Rose }
3324f7df9beSJordan Rose 
3334f7df9beSJordan Rose bool AnyFunctionCall::argumentsMayEscape() const {
3344f7df9beSJordan Rose   if (hasNonZeroCallbackArg())
3354f7df9beSJordan Rose     return true;
3364f7df9beSJordan Rose 
3374f7df9beSJordan Rose   const FunctionDecl *D = getDecl();
3384f7df9beSJordan Rose   if (!D)
3394f7df9beSJordan Rose     return true;
3404f7df9beSJordan Rose 
3414f7df9beSJordan Rose   const IdentifierInfo *II = D->getIdentifier();
3424f7df9beSJordan Rose   if (!II)
3437bd0674dSAnna Zaks     return false;
3444f7df9beSJordan Rose 
3454f7df9beSJordan Rose   // This set of "escaping" APIs is
3464f7df9beSJordan Rose 
3474f7df9beSJordan Rose   // - 'int pthread_setspecific(ptheread_key k, const void *)' stores a
3484f7df9beSJordan Rose   //   value into thread local storage. The value can later be retrieved with
3494f7df9beSJordan Rose   //   'void *ptheread_getspecific(pthread_key)'. So even thought the
3504f7df9beSJordan Rose   //   parameter is 'const void *', the region escapes through the call.
3514f7df9beSJordan Rose   if (II->isStr("pthread_setspecific"))
3524f7df9beSJordan Rose     return true;
3534f7df9beSJordan Rose 
3544f7df9beSJordan Rose   // - xpc_connection_set_context stores a value which can be retrieved later
3554f7df9beSJordan Rose   //   with xpc_connection_get_context.
3564f7df9beSJordan Rose   if (II->isStr("xpc_connection_set_context"))
3574f7df9beSJordan Rose     return true;
3584f7df9beSJordan Rose 
3594f7df9beSJordan Rose   // - funopen - sets a buffer for future IO calls.
3604f7df9beSJordan Rose   if (II->isStr("funopen"))
3614f7df9beSJordan Rose     return true;
3624f7df9beSJordan Rose 
3634f7df9beSJordan Rose   StringRef FName = II->getName();
3644f7df9beSJordan Rose 
3654f7df9beSJordan Rose   // - CoreFoundation functions that end with "NoCopy" can free a passed-in
3664f7df9beSJordan Rose   //   buffer even if it is const.
3674f7df9beSJordan Rose   if (FName.endswith("NoCopy"))
3684f7df9beSJordan Rose     return true;
3694f7df9beSJordan Rose 
3704f7df9beSJordan Rose   // - NSXXInsertXX, for example NSMapInsertIfAbsent, since they can
3714f7df9beSJordan Rose   //   be deallocated by NSMapRemove.
3724f7df9beSJordan Rose   if (FName.startswith("NS") && (FName.find("Insert") != StringRef::npos))
3734f7df9beSJordan Rose     return true;
3744f7df9beSJordan Rose 
3754f7df9beSJordan Rose   // - Many CF containers allow objects to escape through custom
3764f7df9beSJordan Rose   //   allocators/deallocators upon container construction. (PR12101)
3774f7df9beSJordan Rose   if (FName.startswith("CF") || FName.startswith("CG")) {
3784f7df9beSJordan Rose     return StrInStrNoCase(FName, "InsertValue")  != StringRef::npos ||
3794f7df9beSJordan Rose            StrInStrNoCase(FName, "AddValue")     != StringRef::npos ||
3804f7df9beSJordan Rose            StrInStrNoCase(FName, "SetValue")     != StringRef::npos ||
3814f7df9beSJordan Rose            StrInStrNoCase(FName, "WithData")     != StringRef::npos ||
3824f7df9beSJordan Rose            StrInStrNoCase(FName, "AppendValue")  != StringRef::npos ||
3834f7df9beSJordan Rose            StrInStrNoCase(FName, "SetAttribute") != StringRef::npos;
3844f7df9beSJordan Rose   }
3854f7df9beSJordan Rose 
3864f7df9beSJordan Rose   return false;
3874f7df9beSJordan Rose }
3884f7df9beSJordan Rose 
3894f7df9beSJordan Rose 
3904f7df9beSJordan Rose const FunctionDecl *SimpleCall::getDecl() const {
3914f7df9beSJordan Rose   const FunctionDecl *D = getOriginExpr()->getDirectCallee();
3924f7df9beSJordan Rose   if (D)
3934f7df9beSJordan Rose     return D;
3944f7df9beSJordan Rose 
3954f7df9beSJordan Rose   return getSVal(getOriginExpr()->getCallee()).getAsFunctionDecl();
3964f7df9beSJordan Rose }
3974f7df9beSJordan Rose 
3984f7df9beSJordan Rose 
399ce6c99a5SJordan Rose const FunctionDecl *CXXInstanceCall::getDecl() const {
400ce6c99a5SJordan Rose   const CallExpr *CE = cast_or_null<CallExpr>(getOriginExpr());
401ce6c99a5SJordan Rose   if (!CE)
402ce6c99a5SJordan Rose     return AnyFunctionCall::getDecl();
403ce6c99a5SJordan Rose 
404ce6c99a5SJordan Rose   const FunctionDecl *D = CE->getDirectCallee();
405ce6c99a5SJordan Rose   if (D)
406ce6c99a5SJordan Rose     return D;
407ce6c99a5SJordan Rose 
408ce6c99a5SJordan Rose   return getSVal(CE->getCallee()).getAsFunctionDecl();
409ce6c99a5SJordan Rose }
410ce6c99a5SJordan Rose 
4114f7df9beSJordan Rose void CXXInstanceCall::getExtraInvalidatedRegions(RegionList &Regions) const {
4124f7df9beSJordan Rose   if (const MemRegion *R = getCXXThisVal().getAsRegion())
4134f7df9beSJordan Rose     Regions.push_back(R);
4144f7df9beSJordan Rose }
4154f7df9beSJordan Rose 
416fcdda361SJordan Rose SVal CXXInstanceCall::getCXXThisVal() const {
417fcdda361SJordan Rose   const Expr *Base = getCXXThisExpr();
418fcdda361SJordan Rose   // FIXME: This doesn't handle an overloaded ->* operator.
419fcdda361SJordan Rose   if (!Base)
420fcdda361SJordan Rose     return UnknownVal();
421fcdda361SJordan Rose 
422fcdda361SJordan Rose   SVal ThisVal = getSVal(Base);
423*2fdacbc5SDavid Blaikie   assert(ThisVal.isUnknownOrUndef() || ThisVal.getAs<Loc>());
424fcdda361SJordan Rose   return ThisVal;
425fcdda361SJordan Rose }
426fcdda361SJordan Rose 
4274f7df9beSJordan Rose 
428089c5510STed Kremenek RuntimeDefinition CXXInstanceCall::getRuntimeDefinition() const {
4290f6d63beSJordan Rose   // Do we have a decl at all?
43051bcb226SJordan Rose   const Decl *D = getDecl();
4314f7df9beSJordan Rose   if (!D)
432123af098SAnna Zaks     return RuntimeDefinition();
4334f7df9beSJordan Rose 
4340f6d63beSJordan Rose   // If the method is non-virtual, we know we can inline it.
4354f7df9beSJordan Rose   const CXXMethodDecl *MD = cast<CXXMethodDecl>(D);
4364f7df9beSJordan Rose   if (!MD->isVirtual())
437089c5510STed Kremenek     return AnyFunctionCall::getRuntimeDefinition();
4384f7df9beSJordan Rose 
4390f6d63beSJordan Rose   // Do we know the implicit 'this' object being called?
4400f6d63beSJordan Rose   const MemRegion *R = getCXXThisVal().getAsRegion();
4410f6d63beSJordan Rose   if (!R)
442123af098SAnna Zaks     return RuntimeDefinition();
4430f6d63beSJordan Rose 
4440f6d63beSJordan Rose   // Do we know anything about the type of 'this'?
4450f6d63beSJordan Rose   DynamicTypeInfo DynType = getState()->getDynamicTypeInfo(R);
4460f6d63beSJordan Rose   if (!DynType.isValid())
4470f6d63beSJordan Rose     return RuntimeDefinition();
4480f6d63beSJordan Rose 
4490f6d63beSJordan Rose   // Is the type a C++ class? (This is mostly a defensive check.)
4500f6d63beSJordan Rose   QualType RegionType = DynType.getType()->getPointeeType();
451d1a08b6eSJordan Rose   assert(!RegionType.isNull() && "DynamicTypeInfo should always be a pointer.");
452d1a08b6eSJordan Rose 
4530f6d63beSJordan Rose   const CXXRecordDecl *RD = RegionType->getAsCXXRecordDecl();
45499107208SJordan Rose   if (!RD || !RD->hasDefinition())
4550f6d63beSJordan Rose     return RuntimeDefinition();
4560f6d63beSJordan Rose 
45799c6c2b4SJordan Rose   // Find the decl for this method in that class.
45899c6c2b4SJordan Rose   const CXXMethodDecl *Result = MD->getCorrespondingMethodInClass(RD, true);
45981456d9fSJordan Rose   if (!Result) {
46081456d9fSJordan Rose     // We might not even get the original statically-resolved method due to
46181456d9fSJordan Rose     // some particularly nasty casting (e.g. casts to sister classes).
46281456d9fSJordan Rose     // However, we should at least be able to search up and down our own class
46381456d9fSJordan Rose     // hierarchy, and some real bugs have been caught by checking this.
46481456d9fSJordan Rose     assert(!RD->isDerivedFrom(MD->getParent()) && "Couldn't find known method");
465d44977efSJordan Rose 
466d44977efSJordan Rose     // FIXME: This is checking that our DynamicTypeInfo is at least as good as
467d44977efSJordan Rose     // the static type. However, because we currently don't update
468d44977efSJordan Rose     // DynamicTypeInfo when an object is cast, we can't actually be sure the
469d44977efSJordan Rose     // DynamicTypeInfo is up to date. This assert should be re-enabled once
470d44977efSJordan Rose     // this is fixed. <rdar://problem/12287087>
471d44977efSJordan Rose     //assert(!MD->getParent()->isDerivedFrom(RD) && "Bad DynamicTypeInfo");
472d44977efSJordan Rose 
47381456d9fSJordan Rose     return RuntimeDefinition();
47481456d9fSJordan Rose   }
4750f6d63beSJordan Rose 
4760f6d63beSJordan Rose   // Does the decl that we found have an implementation?
4770f6d63beSJordan Rose   const FunctionDecl *Definition;
4780f6d63beSJordan Rose   if (!Result->hasBody(Definition))
4790f6d63beSJordan Rose     return RuntimeDefinition();
4800f6d63beSJordan Rose 
4810f6d63beSJordan Rose   // We found a definition. If we're not sure that this devirtualization is
4820f6d63beSJordan Rose   // actually what will happen at runtime, make sure to provide the region so
4830f6d63beSJordan Rose   // that ExprEngine can decide what to do with it.
4840f6d63beSJordan Rose   if (DynType.canBeASubClass())
4850f6d63beSJordan Rose     return RuntimeDefinition(Definition, R->StripCasts());
4860f6d63beSJordan Rose   return RuntimeDefinition(Definition, /*DispatchRegion=*/0);
4874f7df9beSJordan Rose }
4884f7df9beSJordan Rose 
48942e8d649SJordan Rose void CXXInstanceCall::getInitialStackFrameContents(
49042e8d649SJordan Rose                                             const StackFrameContext *CalleeCtx,
49142e8d649SJordan Rose                                             BindingsTy &Bindings) const {
49242e8d649SJordan Rose   AnyFunctionCall::getInitialStackFrameContents(CalleeCtx, Bindings);
49342e8d649SJordan Rose 
49402e5309bSJordan Rose   // Handle the binding of 'this' in the new stack frame.
49542e8d649SJordan Rose   SVal ThisVal = getCXXThisVal();
49642e8d649SJordan Rose   if (!ThisVal.isUnknown()) {
49702e5309bSJordan Rose     ProgramStateManager &StateMgr = getState()->getStateManager();
49802e5309bSJordan Rose     SValBuilder &SVB = StateMgr.getSValBuilder();
49902e5309bSJordan Rose 
50042e8d649SJordan Rose     const CXXMethodDecl *MD = cast<CXXMethodDecl>(CalleeCtx->getDecl());
50142e8d649SJordan Rose     Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx);
50202e5309bSJordan Rose 
50331c3fa9cSJordan Rose     // If we devirtualized to a different member function, we need to make sure
50431c3fa9cSJordan Rose     // we have the proper layering of CXXBaseObjectRegions.
50531c3fa9cSJordan Rose     if (MD->getCanonicalDecl() != getDecl()->getCanonicalDecl()) {
506710f6b12SJordan Rose       ASTContext &Ctx = SVB.getContext();
50702e5309bSJordan Rose       const CXXRecordDecl *Class = MD->getParent();
508710f6b12SJordan Rose       QualType Ty = Ctx.getPointerType(Ctx.getRecordType(Class));
50902e5309bSJordan Rose 
510710f6b12SJordan Rose       // FIXME: CallEvent maybe shouldn't be directly accessing StoreManager.
511710f6b12SJordan Rose       bool Failed;
512710f6b12SJordan Rose       ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed);
513710f6b12SJordan Rose       assert(!Failed && "Calling an incorrectly devirtualized method");
51402e5309bSJordan Rose     }
51502e5309bSJordan Rose 
51631c3fa9cSJordan Rose     if (!ThisVal.isUnknown())
51742e8d649SJordan Rose       Bindings.push_back(std::make_pair(ThisLoc, ThisVal));
51842e8d649SJordan Rose   }
51942e8d649SJordan Rose }
52042e8d649SJordan Rose 
52142e8d649SJordan Rose 
5224f7df9beSJordan Rose 
52392e1449bSJordan Rose const Expr *CXXMemberCall::getCXXThisExpr() const {
52492e1449bSJordan Rose   return getOriginExpr()->getImplicitObjectArgument();
5254f7df9beSJordan Rose }
5264f7df9beSJordan Rose 
527089c5510STed Kremenek RuntimeDefinition CXXMemberCall::getRuntimeDefinition() const {
52812f669e3SJordan Rose   // C++11 [expr.call]p1: ...If the selected function is non-virtual, or if the
52912f669e3SJordan Rose   // id-expression in the class member access expression is a qualified-id,
53012f669e3SJordan Rose   // that function is called. Otherwise, its final overrider in the dynamic type
53112f669e3SJordan Rose   // of the object expression is called.
53212f669e3SJordan Rose   if (const MemberExpr *ME = dyn_cast<MemberExpr>(getOriginExpr()->getCallee()))
53312f669e3SJordan Rose     if (ME->hasQualifier())
534089c5510STed Kremenek       return AnyFunctionCall::getRuntimeDefinition();
53512f669e3SJordan Rose 
536089c5510STed Kremenek   return CXXInstanceCall::getRuntimeDefinition();
53712f669e3SJordan Rose }
53812f669e3SJordan Rose 
5394f7df9beSJordan Rose 
54092e1449bSJordan Rose const Expr *CXXMemberOperatorCall::getCXXThisExpr() const {
54192e1449bSJordan Rose   return getOriginExpr()->getArg(0);
5424f7df9beSJordan Rose }
5434f7df9beSJordan Rose 
5444f7df9beSJordan Rose 
5454f7df9beSJordan Rose const BlockDataRegion *BlockCall::getBlockRegion() const {
5464f7df9beSJordan Rose   const Expr *Callee = getOriginExpr()->getCallee();
5474f7df9beSJordan Rose   const MemRegion *DataReg = getSVal(Callee).getAsRegion();
5484f7df9beSJordan Rose 
5494f7df9beSJordan Rose   return dyn_cast_or_null<BlockDataRegion>(DataReg);
5504f7df9beSJordan Rose }
5514f7df9beSJordan Rose 
55242e8d649SJordan Rose CallEvent::param_iterator BlockCall::param_begin() const {
5534f7df9beSJordan Rose   const BlockDecl *D = getBlockDecl();
5544f7df9beSJordan Rose   if (!D)
5554f7df9beSJordan Rose     return 0;
5564f7df9beSJordan Rose   return D->param_begin();
5574f7df9beSJordan Rose }
5584f7df9beSJordan Rose 
55942e8d649SJordan Rose CallEvent::param_iterator BlockCall::param_end() const {
5604f7df9beSJordan Rose   const BlockDecl *D = getBlockDecl();
5614f7df9beSJordan Rose   if (!D)
5624f7df9beSJordan Rose     return 0;
5634f7df9beSJordan Rose   return D->param_end();
5644f7df9beSJordan Rose }
5654f7df9beSJordan Rose 
5664f7df9beSJordan Rose void BlockCall::getExtraInvalidatedRegions(RegionList &Regions) const {
5674f7df9beSJordan Rose   // FIXME: This also needs to invalidate captured globals.
5684f7df9beSJordan Rose   if (const MemRegion *R = getBlockRegion())
5694f7df9beSJordan Rose     Regions.push_back(R);
5704f7df9beSJordan Rose }
5714f7df9beSJordan Rose 
57242e8d649SJordan Rose void BlockCall::getInitialStackFrameContents(const StackFrameContext *CalleeCtx,
57342e8d649SJordan Rose                                              BindingsTy &Bindings) const {
57442e8d649SJordan Rose   const BlockDecl *D = cast<BlockDecl>(CalleeCtx->getDecl());
57542e8d649SJordan Rose   SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
57642e8d649SJordan Rose   addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
57742e8d649SJordan Rose                                D->param_begin(), D->param_end());
57842e8d649SJordan Rose }
57942e8d649SJordan Rose 
58042e8d649SJordan Rose 
5814f7df9beSJordan Rose SVal CXXConstructorCall::getCXXThisVal() const {
5824f7df9beSJordan Rose   if (Data)
5834f7df9beSJordan Rose     return loc::MemRegionVal(static_cast<const MemRegion *>(Data));
5844f7df9beSJordan Rose   return UnknownVal();
5854f7df9beSJordan Rose }
5864f7df9beSJordan Rose 
5874f7df9beSJordan Rose void CXXConstructorCall::getExtraInvalidatedRegions(RegionList &Regions) const {
5884f7df9beSJordan Rose   if (Data)
5894f7df9beSJordan Rose     Regions.push_back(static_cast<const MemRegion *>(Data));
5904f7df9beSJordan Rose }
5914f7df9beSJordan Rose 
59242e8d649SJordan Rose void CXXConstructorCall::getInitialStackFrameContents(
59342e8d649SJordan Rose                                              const StackFrameContext *CalleeCtx,
59442e8d649SJordan Rose                                              BindingsTy &Bindings) const {
59542e8d649SJordan Rose   AnyFunctionCall::getInitialStackFrameContents(CalleeCtx, Bindings);
59642e8d649SJordan Rose 
59742e8d649SJordan Rose   SVal ThisVal = getCXXThisVal();
59842e8d649SJordan Rose   if (!ThisVal.isUnknown()) {
59942e8d649SJordan Rose     SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
60042e8d649SJordan Rose     const CXXMethodDecl *MD = cast<CXXMethodDecl>(CalleeCtx->getDecl());
60142e8d649SJordan Rose     Loc ThisLoc = SVB.getCXXThis(MD, CalleeCtx);
60242e8d649SJordan Rose     Bindings.push_back(std::make_pair(ThisLoc, ThisVal));
60342e8d649SJordan Rose   }
60442e8d649SJordan Rose }
60542e8d649SJordan Rose 
60642e8d649SJordan Rose 
6074f7df9beSJordan Rose 
6084f7df9beSJordan Rose SVal CXXDestructorCall::getCXXThisVal() const {
6094f7df9beSJordan Rose   if (Data)
6102bc9674bSJordan Rose     return loc::MemRegionVal(DtorDataTy::getFromOpaqueValue(Data).getPointer());
6114f7df9beSJordan Rose   return UnknownVal();
6124f7df9beSJordan Rose }
6134f7df9beSJordan Rose 
614089c5510STed Kremenek RuntimeDefinition CXXDestructorCall::getRuntimeDefinition() const {
6152bc9674bSJordan Rose   // Base destructors are always called non-virtually.
6162bc9674bSJordan Rose   // Skip CXXInstanceCall's devirtualization logic in this case.
6172bc9674bSJordan Rose   if (isBaseDestructor())
618089c5510STed Kremenek     return AnyFunctionCall::getRuntimeDefinition();
6192bc9674bSJordan Rose 
620089c5510STed Kremenek   return CXXInstanceCall::getRuntimeDefinition();
6212bc9674bSJordan Rose }
6222bc9674bSJordan Rose 
62342e8d649SJordan Rose 
62442e8d649SJordan Rose CallEvent::param_iterator ObjCMethodCall::param_begin() const {
62542e8d649SJordan Rose   const ObjCMethodDecl *D = getDecl();
6264f7df9beSJordan Rose   if (!D)
6274f7df9beSJordan Rose     return 0;
6284f7df9beSJordan Rose 
62942e8d649SJordan Rose   return D->param_begin();
63042e8d649SJordan Rose }
63142e8d649SJordan Rose 
63242e8d649SJordan Rose CallEvent::param_iterator ObjCMethodCall::param_end() const {
63342e8d649SJordan Rose   const ObjCMethodDecl *D = getDecl();
63442e8d649SJordan Rose   if (!D)
63542e8d649SJordan Rose     return 0;
63642e8d649SJordan Rose 
63742e8d649SJordan Rose   return D->param_end();
6384f7df9beSJordan Rose }
6394f7df9beSJordan Rose 
6404f7df9beSJordan Rose void
6414f7df9beSJordan Rose ObjCMethodCall::getExtraInvalidatedRegions(RegionList &Regions) const {
6424f7df9beSJordan Rose   if (const MemRegion *R = getReceiverSVal().getAsRegion())
6434f7df9beSJordan Rose     Regions.push_back(R);
6444f7df9beSJordan Rose }
6454f7df9beSJordan Rose 
6463d5d3d3eSAnna Zaks SVal ObjCMethodCall::getSelfSVal() const {
6473d5d3d3eSAnna Zaks   const LocationContext *LCtx = getLocationContext();
6483d5d3d3eSAnna Zaks   const ImplicitParamDecl *SelfDecl = LCtx->getSelfDecl();
6493d5d3d3eSAnna Zaks   if (!SelfDecl)
6503d5d3d3eSAnna Zaks     return SVal();
6513d5d3d3eSAnna Zaks   return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx));
6523d5d3d3eSAnna Zaks }
6533d5d3d3eSAnna Zaks 
6544f7df9beSJordan Rose SVal ObjCMethodCall::getReceiverSVal() const {
6554f7df9beSJordan Rose   // FIXME: Is this the best way to handle class receivers?
6564f7df9beSJordan Rose   if (!isInstanceMessage())
6574f7df9beSJordan Rose     return UnknownVal();
6584f7df9beSJordan Rose 
659472dbcf1SAnna Zaks   if (const Expr *RecE = getOriginExpr()->getInstanceReceiver())
660472dbcf1SAnna Zaks     return getSVal(RecE);
6614f7df9beSJordan Rose 
6624f7df9beSJordan Rose   // An instance message with no expression means we are sending to super.
6634f7df9beSJordan Rose   // In this case the object reference is the same as 'self'.
6643d5d3d3eSAnna Zaks   assert(getOriginExpr()->getReceiverKind() == ObjCMessageExpr::SuperInstance);
6653d5d3d3eSAnna Zaks   SVal SelfVal = getSelfSVal();
6663d5d3d3eSAnna Zaks   assert(SelfVal.isValid() && "Calling super but not in ObjC method");
6673d5d3d3eSAnna Zaks   return SelfVal;
6683d5d3d3eSAnna Zaks }
6693d5d3d3eSAnna Zaks 
6703d5d3d3eSAnna Zaks bool ObjCMethodCall::isReceiverSelfOrSuper() const {
6713d5d3d3eSAnna Zaks   if (getOriginExpr()->getReceiverKind() == ObjCMessageExpr::SuperInstance ||
6723d5d3d3eSAnna Zaks       getOriginExpr()->getReceiverKind() == ObjCMessageExpr::SuperClass)
6733d5d3d3eSAnna Zaks       return true;
6743d5d3d3eSAnna Zaks 
6753d5d3d3eSAnna Zaks   if (!isInstanceMessage())
6763d5d3d3eSAnna Zaks     return false;
6773d5d3d3eSAnna Zaks 
6783d5d3d3eSAnna Zaks   SVal RecVal = getSVal(getOriginExpr()->getInstanceReceiver());
6793d5d3d3eSAnna Zaks 
6803d5d3d3eSAnna Zaks   return (RecVal == getSelfSVal());
6814f7df9beSJordan Rose }
6824f7df9beSJordan Rose 
6834f7df9beSJordan Rose SourceRange ObjCMethodCall::getSourceRange() const {
6844f7df9beSJordan Rose   switch (getMessageKind()) {
6854f7df9beSJordan Rose   case OCM_Message:
6864f7df9beSJordan Rose     return getOriginExpr()->getSourceRange();
6874f7df9beSJordan Rose   case OCM_PropertyAccess:
6884f7df9beSJordan Rose   case OCM_Subscript:
6894f7df9beSJordan Rose     return getContainingPseudoObjectExpr()->getSourceRange();
6904f7df9beSJordan Rose   }
6914f7df9beSJordan Rose   llvm_unreachable("unknown message kind");
6924f7df9beSJordan Rose }
6934f7df9beSJordan Rose 
6944f7df9beSJordan Rose typedef llvm::PointerIntPair<const PseudoObjectExpr *, 2> ObjCMessageDataTy;
6954f7df9beSJordan Rose 
6964f7df9beSJordan Rose const PseudoObjectExpr *ObjCMethodCall::getContainingPseudoObjectExpr() const {
6974f7df9beSJordan Rose   assert(Data != 0 && "Lazy lookup not yet performed.");
6984f7df9beSJordan Rose   assert(getMessageKind() != OCM_Message && "Explicit message send.");
6994f7df9beSJordan Rose   return ObjCMessageDataTy::getFromOpaqueValue(Data).getPointer();
7004f7df9beSJordan Rose }
7014f7df9beSJordan Rose 
7024f7df9beSJordan Rose ObjCMessageKind ObjCMethodCall::getMessageKind() const {
7034f7df9beSJordan Rose   if (Data == 0) {
7044f7df9beSJordan Rose     ParentMap &PM = getLocationContext()->getParentMap();
7054f7df9beSJordan Rose     const Stmt *S = PM.getParent(getOriginExpr());
7064f7df9beSJordan Rose     if (const PseudoObjectExpr *POE = dyn_cast_or_null<PseudoObjectExpr>(S)) {
7074f7df9beSJordan Rose       const Expr *Syntactic = POE->getSyntacticForm();
7084f7df9beSJordan Rose 
7094f7df9beSJordan Rose       // This handles the funny case of assigning to the result of a getter.
7104f7df9beSJordan Rose       // This can happen if the getter returns a non-const reference.
7114f7df9beSJordan Rose       if (const BinaryOperator *BO = dyn_cast<BinaryOperator>(Syntactic))
7124f7df9beSJordan Rose         Syntactic = BO->getLHS();
7134f7df9beSJordan Rose 
7144f7df9beSJordan Rose       ObjCMessageKind K;
7154f7df9beSJordan Rose       switch (Syntactic->getStmtClass()) {
7164f7df9beSJordan Rose       case Stmt::ObjCPropertyRefExprClass:
7174f7df9beSJordan Rose         K = OCM_PropertyAccess;
7184f7df9beSJordan Rose         break;
7194f7df9beSJordan Rose       case Stmt::ObjCSubscriptRefExprClass:
7204f7df9beSJordan Rose         K = OCM_Subscript;
7214f7df9beSJordan Rose         break;
7224f7df9beSJordan Rose       default:
7234f7df9beSJordan Rose         // FIXME: Can this ever happen?
7244f7df9beSJordan Rose         K = OCM_Message;
7254f7df9beSJordan Rose         break;
7264f7df9beSJordan Rose       }
7274f7df9beSJordan Rose 
7284f7df9beSJordan Rose       if (K != OCM_Message) {
7294f7df9beSJordan Rose         const_cast<ObjCMethodCall *>(this)->Data
7304f7df9beSJordan Rose           = ObjCMessageDataTy(POE, K).getOpaqueValue();
7314f7df9beSJordan Rose         assert(getMessageKind() == K);
7324f7df9beSJordan Rose         return K;
7334f7df9beSJordan Rose       }
7344f7df9beSJordan Rose     }
7354f7df9beSJordan Rose 
7364f7df9beSJordan Rose     const_cast<ObjCMethodCall *>(this)->Data
7374f7df9beSJordan Rose       = ObjCMessageDataTy(0, 1).getOpaqueValue();
7384f7df9beSJordan Rose     assert(getMessageKind() == OCM_Message);
7394f7df9beSJordan Rose     return OCM_Message;
7404f7df9beSJordan Rose   }
7414f7df9beSJordan Rose 
7424f7df9beSJordan Rose   ObjCMessageDataTy Info = ObjCMessageDataTy::getFromOpaqueValue(Data);
7434f7df9beSJordan Rose   if (!Info.getPointer())
7444f7df9beSJordan Rose     return OCM_Message;
7454f7df9beSJordan Rose   return static_cast<ObjCMessageKind>(Info.getInt());
7464f7df9beSJordan Rose }
7474f7df9beSJordan Rose 
748920af014SAnna Zaks 
749920af014SAnna Zaks bool ObjCMethodCall::canBeOverridenInSubclass(ObjCInterfaceDecl *IDecl,
750920af014SAnna Zaks                                              Selector Sel) const {
751920af014SAnna Zaks   assert(IDecl);
752920af014SAnna Zaks   const SourceManager &SM =
753920af014SAnna Zaks     getState()->getStateManager().getContext().getSourceManager();
754920af014SAnna Zaks 
755920af014SAnna Zaks   // If the class interface is declared inside the main file, assume it is not
756920af014SAnna Zaks   // subcassed.
757920af014SAnna Zaks   // TODO: It could actually be subclassed if the subclass is private as well.
758920af014SAnna Zaks   // This is probably very rare.
759920af014SAnna Zaks   SourceLocation InterfLoc = IDecl->getEndOfDefinitionLoc();
760920af014SAnna Zaks   if (InterfLoc.isValid() && SM.isFromMainFile(InterfLoc))
761920af014SAnna Zaks     return false;
762920af014SAnna Zaks 
7636ddb6b1aSAnna Zaks   // Assume that property accessors are not overridden.
7646ddb6b1aSAnna Zaks   if (getMessageKind() == OCM_PropertyAccess)
7656ddb6b1aSAnna Zaks     return false;
766920af014SAnna Zaks 
767920af014SAnna Zaks   // We assume that if the method is public (declared outside of main file) or
768920af014SAnna Zaks   // has a parent which publicly declares the method, the method could be
769920af014SAnna Zaks   // overridden in a subclass.
770920af014SAnna Zaks 
771920af014SAnna Zaks   // Find the first declaration in the class hierarchy that declares
772920af014SAnna Zaks   // the selector.
773920af014SAnna Zaks   ObjCMethodDecl *D = 0;
774920af014SAnna Zaks   while (true) {
775920af014SAnna Zaks     D = IDecl->lookupMethod(Sel, true);
776920af014SAnna Zaks 
777920af014SAnna Zaks     // Cannot find a public definition.
778920af014SAnna Zaks     if (!D)
779920af014SAnna Zaks       return false;
780920af014SAnna Zaks 
781920af014SAnna Zaks     // If outside the main file,
782920af014SAnna Zaks     if (D->getLocation().isValid() && !SM.isFromMainFile(D->getLocation()))
783920af014SAnna Zaks       return true;
784920af014SAnna Zaks 
785920af014SAnna Zaks     if (D->isOverriding()) {
786920af014SAnna Zaks       // Search in the superclass on the next iteration.
787920af014SAnna Zaks       IDecl = D->getClassInterface();
788920af014SAnna Zaks       if (!IDecl)
789920af014SAnna Zaks         return false;
790920af014SAnna Zaks 
791920af014SAnna Zaks       IDecl = IDecl->getSuperClass();
792920af014SAnna Zaks       if (!IDecl)
793920af014SAnna Zaks         return false;
794920af014SAnna Zaks 
795920af014SAnna Zaks       continue;
796920af014SAnna Zaks     }
797920af014SAnna Zaks 
798920af014SAnna Zaks     return false;
799920af014SAnna Zaks   };
800920af014SAnna Zaks 
801920af014SAnna Zaks   llvm_unreachable("The while loop should always terminate.");
802920af014SAnna Zaks }
803920af014SAnna Zaks 
804089c5510STed Kremenek RuntimeDefinition ObjCMethodCall::getRuntimeDefinition() const {
80563282aefSAnna Zaks   const ObjCMessageExpr *E = getOriginExpr();
80663282aefSAnna Zaks   assert(E);
8075808eb80SAnna Zaks   Selector Sel = E->getSelector();
8084f7df9beSJordan Rose 
80963282aefSAnna Zaks   if (E->isInstanceMessage()) {
8105808eb80SAnna Zaks 
8115808eb80SAnna Zaks     // Find the the receiver type.
8125808eb80SAnna Zaks     const ObjCObjectPointerType *ReceiverT = 0;
81375f49a9cSAnna Zaks     bool CanBeSubClassed = false;
8145808eb80SAnna Zaks     QualType SupersType = E->getSuperType();
815123af098SAnna Zaks     const MemRegion *Receiver = 0;
816123af098SAnna Zaks 
8175808eb80SAnna Zaks     if (!SupersType.isNull()) {
818123af098SAnna Zaks       // Super always means the type of immediate predecessor to the method
819123af098SAnna Zaks       // where the call occurs.
82075930b65SAnna Zaks       ReceiverT = cast<ObjCObjectPointerType>(SupersType);
8215808eb80SAnna Zaks     } else {
822123af098SAnna Zaks       Receiver = getReceiverSVal().getAsRegion();
8236a97d92eSJordan Rose       if (!Receiver)
824123af098SAnna Zaks         return RuntimeDefinition();
8256a97d92eSJordan Rose 
82675f49a9cSAnna Zaks       DynamicTypeInfo DTI = getState()->getDynamicTypeInfo(Receiver);
82775f49a9cSAnna Zaks       QualType DynType = DTI.getType();
82875f49a9cSAnna Zaks       CanBeSubClassed = DTI.canBeASubClass();
82975930b65SAnna Zaks       ReceiverT = dyn_cast<ObjCObjectPointerType>(DynType);
83075f49a9cSAnna Zaks 
83175f49a9cSAnna Zaks       if (ReceiverT && CanBeSubClassed)
83275f49a9cSAnna Zaks         if (ObjCInterfaceDecl *IDecl = ReceiverT->getInterfaceDecl())
83375f49a9cSAnna Zaks           if (!canBeOverridenInSubclass(IDecl, Sel))
83475f49a9cSAnna Zaks             CanBeSubClassed = false;
8354f7df9beSJordan Rose     }
8364f7df9beSJordan Rose 
8375808eb80SAnna Zaks     // Lookup the method implementation.
8385808eb80SAnna Zaks     if (ReceiverT)
839920af014SAnna Zaks       if (ObjCInterfaceDecl *IDecl = ReceiverT->getInterfaceDecl()) {
840245e45afSTed Kremenek         // Repeatedly calling lookupPrivateMethod() is expensive, especially
841245e45afSTed Kremenek         // when in many cases it returns null.  We cache the results so
842245e45afSTed Kremenek         // that repeated queries on the same ObjCIntefaceDecl and Selector
843245e45afSTed Kremenek         // don't incur the same cost.  On some test cases, we can see the
844245e45afSTed Kremenek         // same query being issued thousands of times.
845245e45afSTed Kremenek         //
846245e45afSTed Kremenek         // NOTE: This cache is essentially a "global" variable, but it
847245e45afSTed Kremenek         // only gets lazily created when we get here.  The value of the
848245e45afSTed Kremenek         // cache probably comes from it being global across ExprEngines,
849245e45afSTed Kremenek         // where the same queries may get issued.  If we are worried about
850245e45afSTed Kremenek         // concurrency, or possibly loading/unloading ASTs, etc., we may
851245e45afSTed Kremenek         // need to revisit this someday.  In terms of memory, this table
852245e45afSTed Kremenek         // stays around until clang quits, which also may be bad if we
853245e45afSTed Kremenek         // need to release memory.
854245e45afSTed Kremenek         typedef std::pair<const ObjCInterfaceDecl*, Selector>
855245e45afSTed Kremenek                 PrivateMethodKey;
856245e45afSTed Kremenek         typedef llvm::DenseMap<PrivateMethodKey,
857245e45afSTed Kremenek                                llvm::Optional<const ObjCMethodDecl *> >
858245e45afSTed Kremenek                 PrivateMethodCache;
859245e45afSTed Kremenek 
860245e45afSTed Kremenek         static PrivateMethodCache PMC;
861245e45afSTed Kremenek         llvm::Optional<const ObjCMethodDecl *> &Val =
862245e45afSTed Kremenek           PMC[std::make_pair(IDecl, Sel)];
863245e45afSTed Kremenek 
864245e45afSTed Kremenek         // Query lookupPrivateMethod() if the cache does not hit.
865245e45afSTed Kremenek         if (!Val.hasValue())
866245e45afSTed Kremenek           Val = IDecl->lookupPrivateMethod(Sel);
867245e45afSTed Kremenek 
868245e45afSTed Kremenek         const ObjCMethodDecl *MD = Val.getValue();
86975f49a9cSAnna Zaks         if (CanBeSubClassed)
87075f49a9cSAnna Zaks           return RuntimeDefinition(MD, Receiver);
871920af014SAnna Zaks         else
87275f49a9cSAnna Zaks           return RuntimeDefinition(MD, 0);
873920af014SAnna Zaks       }
8745808eb80SAnna Zaks 
87563282aefSAnna Zaks   } else {
87663282aefSAnna Zaks     // This is a class method.
87763282aefSAnna Zaks     // If we have type info for the receiver class, we are calling via
87863282aefSAnna Zaks     // class name.
87963282aefSAnna Zaks     if (ObjCInterfaceDecl *IDecl = E->getReceiverInterface()) {
88063282aefSAnna Zaks       // Find/Return the method implementation.
88185383182SAnna Zaks       return RuntimeDefinition(IDecl->lookupPrivateClassMethod(Sel));
8824f7df9beSJordan Rose     }
88363282aefSAnna Zaks   }
88463282aefSAnna Zaks 
885123af098SAnna Zaks   return RuntimeDefinition();
8864f7df9beSJordan Rose }
8874f7df9beSJordan Rose 
88842e8d649SJordan Rose void ObjCMethodCall::getInitialStackFrameContents(
88942e8d649SJordan Rose                                              const StackFrameContext *CalleeCtx,
89042e8d649SJordan Rose                                              BindingsTy &Bindings) const {
89142e8d649SJordan Rose   const ObjCMethodDecl *D = cast<ObjCMethodDecl>(CalleeCtx->getDecl());
89242e8d649SJordan Rose   SValBuilder &SVB = getState()->getStateManager().getSValBuilder();
89342e8d649SJordan Rose   addParameterValuesToBindings(CalleeCtx, Bindings, SVB, *this,
89442e8d649SJordan Rose                                D->param_begin(), D->param_end());
89542e8d649SJordan Rose 
89642e8d649SJordan Rose   SVal SelfVal = getReceiverSVal();
89742e8d649SJordan Rose   if (!SelfVal.isUnknown()) {
89842e8d649SJordan Rose     const VarDecl *SelfD = CalleeCtx->getAnalysisDeclContext()->getSelfDecl();
89942e8d649SJordan Rose     MemRegionManager &MRMgr = SVB.getRegionManager();
90042e8d649SJordan Rose     Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx));
90142e8d649SJordan Rose     Bindings.push_back(std::make_pair(SelfLoc, SelfVal));
90242e8d649SJordan Rose   }
90342e8d649SJordan Rose }
90442e8d649SJordan Rose 
905ce6c99a5SJordan Rose CallEventRef<>
906fcd016e5SJordan Rose CallEventManager::getSimpleCall(const CallExpr *CE, ProgramStateRef State,
907fcd016e5SJordan Rose                                 const LocationContext *LCtx) {
908fcd016e5SJordan Rose   if (const CXXMemberCallExpr *MCE = dyn_cast<CXXMemberCallExpr>(CE))
909fcd016e5SJordan Rose     return create<CXXMemberCall>(MCE, State, LCtx);
910fcd016e5SJordan Rose 
911fcd016e5SJordan Rose   if (const CXXOperatorCallExpr *OpCE = dyn_cast<CXXOperatorCallExpr>(CE)) {
912fcd016e5SJordan Rose     const FunctionDecl *DirectCallee = OpCE->getDirectCallee();
913fcd016e5SJordan Rose     if (const CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(DirectCallee))
914fcd016e5SJordan Rose       if (MD->isInstance())
915fcd016e5SJordan Rose         return create<CXXMemberOperatorCall>(OpCE, State, LCtx);
916fcd016e5SJordan Rose 
917fcd016e5SJordan Rose   } else if (CE->getCallee()->getType()->isBlockPointerType()) {
918fcd016e5SJordan Rose     return create<BlockCall>(CE, State, LCtx);
919fcd016e5SJordan Rose   }
920fcd016e5SJordan Rose 
921fcd016e5SJordan Rose   // Otherwise, it's a normal function call, static member function call, or
922fcd016e5SJordan Rose   // something we can't reason about.
923fcd016e5SJordan Rose   return create<FunctionCall>(CE, State, LCtx);
924fcd016e5SJordan Rose }
925c2d249ceSJordan Rose 
926c2d249ceSJordan Rose 
927c2d249ceSJordan Rose CallEventRef<>
928c2d249ceSJordan Rose CallEventManager::getCaller(const StackFrameContext *CalleeCtx,
929c2d249ceSJordan Rose                             ProgramStateRef State) {
930c2d249ceSJordan Rose   const LocationContext *ParentCtx = CalleeCtx->getParent();
931c2d249ceSJordan Rose   const LocationContext *CallerCtx = ParentCtx->getCurrentStackFrame();
932c2d249ceSJordan Rose   assert(CallerCtx && "This should not be used for top-level stack frames");
933c2d249ceSJordan Rose 
934c2d249ceSJordan Rose   const Stmt *CallSite = CalleeCtx->getCallSite();
935c2d249ceSJordan Rose 
936c2d249ceSJordan Rose   if (CallSite) {
937c2d249ceSJordan Rose     if (const CallExpr *CE = dyn_cast<CallExpr>(CallSite))
938c2d249ceSJordan Rose       return getSimpleCall(CE, State, CallerCtx);
939c2d249ceSJordan Rose 
940c2d249ceSJordan Rose     switch (CallSite->getStmtClass()) {
9418d48938bSJordan Rose     case Stmt::CXXConstructExprClass:
9428d48938bSJordan Rose     case Stmt::CXXTemporaryObjectExprClass: {
943c2d249ceSJordan Rose       SValBuilder &SVB = State->getStateManager().getSValBuilder();
944c2d249ceSJordan Rose       const CXXMethodDecl *Ctor = cast<CXXMethodDecl>(CalleeCtx->getDecl());
945c2d249ceSJordan Rose       Loc ThisPtr = SVB.getCXXThis(Ctor, CalleeCtx);
946c2d249ceSJordan Rose       SVal ThisVal = State->getSVal(ThisPtr);
947c2d249ceSJordan Rose 
948c2d249ceSJordan Rose       return getCXXConstructorCall(cast<CXXConstructExpr>(CallSite),
949c2d249ceSJordan Rose                                    ThisVal.getAsRegion(), State, CallerCtx);
950c2d249ceSJordan Rose     }
951c2d249ceSJordan Rose     case Stmt::CXXNewExprClass:
952c2d249ceSJordan Rose       return getCXXAllocatorCall(cast<CXXNewExpr>(CallSite), State, CallerCtx);
953c2d249ceSJordan Rose     case Stmt::ObjCMessageExprClass:
954c2d249ceSJordan Rose       return getObjCMethodCall(cast<ObjCMessageExpr>(CallSite),
955c2d249ceSJordan Rose                                State, CallerCtx);
956c2d249ceSJordan Rose     default:
957c2d249ceSJordan Rose       llvm_unreachable("This is not an inlineable statement.");
958c2d249ceSJordan Rose     }
959c2d249ceSJordan Rose   }
960c2d249ceSJordan Rose 
961c2d249ceSJordan Rose   // Fall back to the CFG. The only thing we haven't handled yet is
962c2d249ceSJordan Rose   // destructors, though this could change in the future.
963c2d249ceSJordan Rose   const CFGBlock *B = CalleeCtx->getCallSiteBlock();
964c2d249ceSJordan Rose   CFGElement E = (*B)[CalleeCtx->getIndex()];
965c2d249ceSJordan Rose   assert(isa<CFGImplicitDtor>(E) && "All other CFG elements should have exprs");
966c2d249ceSJordan Rose   assert(!isa<CFGTemporaryDtor>(E) && "We don't handle temporaries yet");
967c2d249ceSJordan Rose 
968c2d249ceSJordan Rose   SValBuilder &SVB = State->getStateManager().getSValBuilder();
969c2d249ceSJordan Rose   const CXXDestructorDecl *Dtor = cast<CXXDestructorDecl>(CalleeCtx->getDecl());
970c2d249ceSJordan Rose   Loc ThisPtr = SVB.getCXXThis(Dtor, CalleeCtx);
971c2d249ceSJordan Rose   SVal ThisVal = State->getSVal(ThisPtr);
972c2d249ceSJordan Rose 
973c2d249ceSJordan Rose   const Stmt *Trigger;
974c2d249ceSJordan Rose   if (const CFGAutomaticObjDtor *AutoDtor = dyn_cast<CFGAutomaticObjDtor>(&E))
975c2d249ceSJordan Rose     Trigger = AutoDtor->getTriggerStmt();
976c2d249ceSJordan Rose   else
977c2d249ceSJordan Rose     Trigger = Dtor->getBody();
978c2d249ceSJordan Rose 
979c2d249ceSJordan Rose   return getCXXDestructorCall(Dtor, Trigger, ThisVal.getAsRegion(),
9802bc9674bSJordan Rose                               isa<CFGBaseDtor>(E), State, CallerCtx);
981c2d249ceSJordan Rose }
982