CallEvent.h revision d563d3fb73879df7147b8a5302c3bf0e1402ba18
1f540c54701e3eeb34cb619a3a4eb18f1ac70ef2dJordan Rose//===- CallEvent.h - Wrapper for all function and method calls ----*- C++ -*--// 2740d490593e0de8732a697c9f77b90ddd463863bJordan Rose// 3740d490593e0de8732a697c9f77b90ddd463863bJordan Rose// The LLVM Compiler Infrastructure 4740d490593e0de8732a697c9f77b90ddd463863bJordan Rose// 5740d490593e0de8732a697c9f77b90ddd463863bJordan Rose// This file is distributed under the University of Illinois Open Source 6740d490593e0de8732a697c9f77b90ddd463863bJordan Rose// License. See LICENSE.TXT for details. 7740d490593e0de8732a697c9f77b90ddd463863bJordan Rose// 8740d490593e0de8732a697c9f77b90ddd463863bJordan Rose//===----------------------------------------------------------------------===// 9740d490593e0de8732a697c9f77b90ddd463863bJordan Rose// 10740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// \file This file defines CallEvent and its subclasses, which represent path- 11740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// sensitive instances of different kinds of function and method calls 12740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// (C, C++, and Objective-C). 13740d490593e0de8732a697c9f77b90ddd463863bJordan Rose// 14740d490593e0de8732a697c9f77b90ddd463863bJordan Rose//===----------------------------------------------------------------------===// 15740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 16740d490593e0de8732a697c9f77b90ddd463863bJordan Rose#ifndef LLVM_CLANG_STATICANALYZER_PATHSENSITIVE_CALL 17740d490593e0de8732a697c9f77b90ddd463863bJordan Rose#define LLVM_CLANG_STATICANALYZER_PATHSENSITIVE_CALL 18740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 19740d490593e0de8732a697c9f77b90ddd463863bJordan Rose#include "clang/Basic/SourceManager.h" 20740d490593e0de8732a697c9f77b90ddd463863bJordan Rose#include "clang/AST/DeclCXX.h" 21740d490593e0de8732a697c9f77b90ddd463863bJordan Rose#include "clang/AST/ExprCXX.h" 22740d490593e0de8732a697c9f77b90ddd463863bJordan Rose#include "clang/AST/ExprObjC.h" 23de507eaf3cb54d3cb234dc14499c10ab3373d15fJordan Rose#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h" 24740d490593e0de8732a697c9f77b90ddd463863bJordan Rose#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h" 25b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose#include "llvm/ADT/PointerIntPair.h" 26740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 27740d490593e0de8732a697c9f77b90ddd463863bJordan Rosenamespace clang { 2828038f33aa2db4833881fea757a1f0daf85ac02bJordan Roseclass ProgramPoint; 2928038f33aa2db4833881fea757a1f0daf85ac02bJordan Roseclass ProgramPointTag; 3028038f33aa2db4833881fea757a1f0daf85ac02bJordan Rose 31740d490593e0de8732a697c9f77b90ddd463863bJordan Rosenamespace ento { 32740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 33740d490593e0de8732a697c9f77b90ddd463863bJordan Roseenum CallEventKind { 34740d490593e0de8732a697c9f77b90ddd463863bJordan Rose CE_Function, 35740d490593e0de8732a697c9f77b90ddd463863bJordan Rose CE_CXXMember, 36fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose CE_CXXMemberOperator, 37c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose CE_BEG_CXX_INSTANCE_CALLS = CE_CXXMember, 38c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose CE_END_CXX_INSTANCE_CALLS = CE_CXXMemberOperator, 39740d490593e0de8732a697c9f77b90ddd463863bJordan Rose CE_Block, 40740d490593e0de8732a697c9f77b90ddd463863bJordan Rose CE_BEG_SIMPLE_CALLS = CE_Function, 41740d490593e0de8732a697c9f77b90ddd463863bJordan Rose CE_END_SIMPLE_CALLS = CE_Block, 42740d490593e0de8732a697c9f77b90ddd463863bJordan Rose CE_CXXConstructor, 438d276d38c258dfc572586daf6c0e8f8fce249c0eJordan Rose CE_CXXDestructor, 4470cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose CE_CXXAllocator, 45740d490593e0de8732a697c9f77b90ddd463863bJordan Rose CE_BEG_FUNCTION_CALLS = CE_Function, 4670cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose CE_END_FUNCTION_CALLS = CE_CXXAllocator, 478919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose CE_ObjCMessage 48740d490593e0de8732a697c9f77b90ddd463863bJordan Rose}; 49740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 50972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Roseclass CallEvent; 51d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Roseclass CallEventManager; 52972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 53d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rosetemplate<typename T = CallEvent> 54d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Roseclass CallEventRef : public IntrusiveRefCntPtr<const T> { 55d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rosepublic: 56d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose CallEventRef(const T *Call) : IntrusiveRefCntPtr<const T>(Call) {} 57d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose CallEventRef(const CallEventRef &Orig) : IntrusiveRefCntPtr<const T>(Orig) {} 58d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 59d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose CallEventRef<T> cloneWithState(ProgramStateRef State) const { 60d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose return this->getPtr()->template cloneWithState<T>(State); 61d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose } 62d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose}; 63b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose 64740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// \brief Represents an abstract call to a function or method along a 65740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// particular path. 66972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// 67972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// CallEvents are created through the factory methods of CallEventManager. 68972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// 69972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// CallEvents should always be cheap to create and destroy. In order for 70972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// CallEventManager to be able to re-use CallEvent-sized memory blocks, 71972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// subclasses of CallEvent may not add any data members to the base class. 72972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// Use the "Data" and "Location" fields instead. 73740d490593e0de8732a697c9f77b90ddd463863bJordan Roseclass CallEvent { 74740d490593e0de8732a697c9f77b90ddd463863bJordan Rosepublic: 75740d490593e0de8732a697c9f77b90ddd463863bJordan Rose typedef CallEventKind Kind; 76740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 77b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Roseprivate: 787c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose ProgramStateRef State; 797c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose const LocationContext *LCtx; 80b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose llvm::PointerUnion<const Expr *, const Decl *> Origin; 81b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose 82972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose // DO NOT IMPLEMENT 837c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose CallEvent &operator=(const CallEvent &); 847c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose 85740d490593e0de8732a697c9f77b90ddd463863bJordan Roseprotected: 86b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose // This is user data for subclasses. 87b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose const void *Data; 88972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 89972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose // This is user data for subclasses. 90972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose // This should come right before RefCount, so that the two fields can be 91972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose // packed together on LP64 platforms. 92b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose SourceLocation Location; 93b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose 94972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Roseprivate: 95972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose mutable unsigned RefCount; 96972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 97972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose template <typename T> friend struct llvm::IntrusiveRefCntPtrInfo; 98972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose void Retain() const { ++RefCount; } 99972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose void Release() const; 100972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 101972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Roseprotected: 102d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose friend class CallEventManager; 103d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 1047c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx) 105972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose : State(state), LCtx(lctx), Origin(E), RefCount(0) {} 106b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose 1077c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx) 108972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose : State(state), LCtx(lctx), Origin(D), RefCount(0) {} 109972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 110972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose // DO NOT MAKE PUBLIC 111972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose CallEvent(const CallEvent &Original) 112972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin), 113972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose Data(Original.Data), Location(Original.Location), RefCount(0) {} 114b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose 115d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 1167c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose ProgramStateRef getState() const { 1177c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose return State; 118b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose } 119b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose 120b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose const LocationContext *getLocationContext() const { 1217c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose return LCtx; 122b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose } 123740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 124740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 125972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose /// Copies this CallEvent, with vtable intact, into a new block of memory. 126972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose virtual void cloneTo(void *Dest) const = 0; 127972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 128740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// \brief Get the value of arbitrary expressions at this point in the path. 129740d490593e0de8732a697c9f77b90ddd463863bJordan Rose SVal getSVal(const Stmt *S) const { 130b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose return getState()->getSVal(S, getLocationContext()); 131740d490593e0de8732a697c9f77b90ddd463863bJordan Rose } 132740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 133972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 134740d490593e0de8732a697c9f77b90ddd463863bJordan Rose typedef SmallVectorImpl<const MemRegion *> RegionList; 135740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 136740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// \brief Used to specify non-argument regions that will be invalidated as a 137740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// result of this call. 1387c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual void getExtraInvalidatedRegions(RegionList &Regions) const {} 139740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 1407c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual QualType getDeclaredResultType() const = 0; 141740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 142740d490593e0de8732a697c9f77b90ddd463863bJordan Rosepublic: 1437c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual ~CallEvent() {} 1447c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose 145b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose /// \brief Returns the kind of call this is. 1467c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual Kind getKind() const = 0; 147b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose 148740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// \brief Returns the declaration of the function or method that will be 149740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// called. May be null. 1507c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const Decl *getDecl() const { 1517c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose return Origin.dyn_cast<const Decl *>(); 1527c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose } 153740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 154ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose /// \brief Returns the definition of the function or method that will be 1559dc5167e4017ef4c8b327abb6f72225eec2e0f19Anna Zaks /// called. Returns NULL if the definition cannot be found; ex: due to 1569dc5167e4017ef4c8b327abb6f72225eec2e0f19Anna Zaks /// dynamic dispatch in ObjC methods. 1577c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const Decl *getRuntimeDefinition() const = 0; 158ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose 159740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// \brief Returns the expression whose value will be the result of this call. 160740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// May be null. 161b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose const Expr *getOriginExpr() const { 162b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose return Origin.dyn_cast<const Expr *>(); 163b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose } 164740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 165740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// \brief Returns the number of arguments (explicit and implicit). 166740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// 167740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// Note that this may be greater than the number of parameters in the 168740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// callee's declaration, and that it may include arguments not written in 169740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// the source. 1707c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual unsigned getNumArgs() const = 0; 171740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 172740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// \brief Returns true if the callee is known to be from a system header. 173740d490593e0de8732a697c9f77b90ddd463863bJordan Rose bool isInSystemHeader() const { 174740d490593e0de8732a697c9f77b90ddd463863bJordan Rose const Decl *D = getDecl(); 175740d490593e0de8732a697c9f77b90ddd463863bJordan Rose if (!D) 176740d490593e0de8732a697c9f77b90ddd463863bJordan Rose return false; 177740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 178740d490593e0de8732a697c9f77b90ddd463863bJordan Rose SourceLocation Loc = D->getLocation(); 179740d490593e0de8732a697c9f77b90ddd463863bJordan Rose if (Loc.isValid()) { 180740d490593e0de8732a697c9f77b90ddd463863bJordan Rose const SourceManager &SM = 181b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose getState()->getStateManager().getContext().getSourceManager(); 182740d490593e0de8732a697c9f77b90ddd463863bJordan Rose return SM.isInSystemHeader(D->getLocation()); 183740d490593e0de8732a697c9f77b90ddd463863bJordan Rose } 184740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 185740d490593e0de8732a697c9f77b90ddd463863bJordan Rose // Special case for implicitly-declared global operator new/delete. 186740d490593e0de8732a697c9f77b90ddd463863bJordan Rose // These should be considered system functions. 187740d490593e0de8732a697c9f77b90ddd463863bJordan Rose if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) 188740d490593e0de8732a697c9f77b90ddd463863bJordan Rose return FD->isOverloadedOperator() && FD->isImplicit() && FD->isGlobal(); 189740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 190740d490593e0de8732a697c9f77b90ddd463863bJordan Rose return false; 191740d490593e0de8732a697c9f77b90ddd463863bJordan Rose } 192740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 193de507eaf3cb54d3cb234dc14499c10ab3373d15fJordan Rose /// \brief Returns a source range for the entire call, suitable for 194de507eaf3cb54d3cb234dc14499c10ab3373d15fJordan Rose /// outputting in diagnostics. 1957c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual SourceRange getSourceRange() const { 1967c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose return getOriginExpr()->getSourceRange(); 1977c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose } 198de507eaf3cb54d3cb234dc14499c10ab3373d15fJordan Rose 199740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// \brief Returns the value of a given argument at the time of the call. 2007c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual SVal getArgSVal(unsigned Index) const; 201740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 202740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// \brief Returns the expression associated with a given argument. 203740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// May be null if this expression does not appear in the source. 2047c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const Expr *getArgExpr(unsigned Index) const { return 0; } 205740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 206740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// \brief Returns the source range for errors associated with this argument. 2077c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose /// 208740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// May be invalid if the argument is not written in the source. 2097c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual SourceRange getArgSourceRange(unsigned Index) const; 210740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 211740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// \brief Returns the result type, adjusted for references. 212740d490593e0de8732a697c9f77b90ddd463863bJordan Rose QualType getResultType() const; 213740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 214e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// \brief Returns the value of the implicit 'this' object, or UndefinedVal if 215e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// this is not a C++ member function call. 2167c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual SVal getCXXThisVal() const { 2177c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose return UndefinedVal(); 2187c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose } 219e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose 220740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// \brief Returns true if any of the arguments appear to represent callbacks. 221740d490593e0de8732a697c9f77b90ddd463863bJordan Rose bool hasNonZeroCallbackArg() const; 222740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 22385d7e01cf639b257d70f8a129709a2d7594d7b22Jordan Rose /// \brief Returns true if any of the arguments are known to escape to long- 22485d7e01cf639b257d70f8a129709a2d7594d7b22Jordan Rose /// term storage, even if this method will not modify them. 22585d7e01cf639b257d70f8a129709a2d7594d7b22Jordan Rose // NOTE: The exact semantics of this are still being defined! 22685d7e01cf639b257d70f8a129709a2d7594d7b22Jordan Rose // We don't really want a list of hardcoded exceptions in the long run, 22785d7e01cf639b257d70f8a129709a2d7594d7b22Jordan Rose // but we don't want duplicated lists of known APIs in the short term either. 2287c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual bool argumentsMayEscape() const { 2297c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose return hasNonZeroCallbackArg(); 2307c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose } 23185d7e01cf639b257d70f8a129709a2d7594d7b22Jordan Rose 23228038f33aa2db4833881fea757a1f0daf85ac02bJordan Rose /// \brief Returns an appropriate ProgramPoint for this call. 2338d276d38c258dfc572586daf6c0e8f8fce249c0eJordan Rose ProgramPoint getProgramPoint(bool IsPreVisit = false, 23428038f33aa2db4833881fea757a1f0daf85ac02bJordan Rose const ProgramPointTag *Tag = 0) const; 23528038f33aa2db4833881fea757a1f0daf85ac02bJordan Rose 236740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// \brief Returns a new state with all argument regions invalidated. 237740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// 238740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// This accepts an alternate state in case some processing has already 239740d490593e0de8732a697c9f77b90ddd463863bJordan Rose /// occurred. 240740d490593e0de8732a697c9f77b90ddd463863bJordan Rose ProgramStateRef invalidateRegions(unsigned BlockCount, 241740d490593e0de8732a697c9f77b90ddd463863bJordan Rose ProgramStateRef Orig = 0) const; 242740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 243972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose /// Returns a copy of this CallEvent, but using the given state. 244972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose template <typename T> 245d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose CallEventRef<T> cloneWithState(ProgramStateRef NewState) const; 246972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 247972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose /// Returns a copy of this CallEvent, but using the given state. 248d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose CallEventRef<> cloneWithState(ProgramStateRef NewState) const { 249972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose return cloneWithState<CallEvent>(NewState); 250972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose } 251972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 25285d7e01cf639b257d70f8a129709a2d7594d7b22Jordan Rose /// \brief Returns true if this is a statement that can be considered for 25385d7e01cf639b257d70f8a129709a2d7594d7b22Jordan Rose /// inlining. 2547c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose /// 2557c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose /// FIXME: This should go away once CallEvents are cheap and easy to 2567c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose /// construct from ExplodedNodes. 25785d7e01cf639b257d70f8a129709a2d7594d7b22Jordan Rose static bool mayBeInlined(const Stmt *S); 25885d7e01cf639b257d70f8a129709a2d7594d7b22Jordan Rose 259e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose // Iterator access to formal parameters and their types. 260740d490593e0de8732a697c9f77b90ddd463863bJordan Roseprivate: 261740d490593e0de8732a697c9f77b90ddd463863bJordan Rose typedef std::const_mem_fun_t<QualType, ParmVarDecl> get_type_fun; 262740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 263740d490593e0de8732a697c9f77b90ddd463863bJordan Rosepublic: 264e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose typedef const ParmVarDecl * const *param_iterator; 265e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose 266e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// Returns an iterator over the call's formal parameters. 267e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// 268e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// If UseDefinitionParams is set, this will return the parameter decls 269e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// used in the callee's definition (suitable for inlining). Most of the 270e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// time it is better to use the decl found by name lookup, which likely 271e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// carries more annotations. 272e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// 273e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// Remember that the number of formal parameters may not match the number 274e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// of arguments for all calls. However, the first parameter will always 275e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// correspond with the argument value returned by \c getArgSVal(0). 276e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// 277e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// If the call has no accessible declaration (or definition, if 278e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// \p UseDefinitionParams is set), \c param_begin() will be equal to 279e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// \c param_end(). 2807c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual param_iterator param_begin(bool UseDefinitionParams = false) const =0; 281e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// \sa param_begin() 2827c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual param_iterator param_end(bool UseDefinitionParams = false) const = 0; 283e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose 284740d490593e0de8732a697c9f77b90ddd463863bJordan Rose typedef llvm::mapped_iterator<param_iterator, get_type_fun> 285740d490593e0de8732a697c9f77b90ddd463863bJordan Rose param_type_iterator; 286740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 287e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// Returns an iterator over the types of the call's formal parameters. 288e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// 289e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// This uses the callee decl found by default name lookup rather than the 290e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// definition because it represents a public interface, and probably has 291e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// more annotations. 292740d490593e0de8732a697c9f77b90ddd463863bJordan Rose param_type_iterator param_type_begin() const { 293740d490593e0de8732a697c9f77b90ddd463863bJordan Rose return llvm::map_iterator(param_begin(), 294740d490593e0de8732a697c9f77b90ddd463863bJordan Rose get_type_fun(&ParmVarDecl::getType)); 295740d490593e0de8732a697c9f77b90ddd463863bJordan Rose } 296e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose /// \sa param_type_begin() 297740d490593e0de8732a697c9f77b90ddd463863bJordan Rose param_type_iterator param_type_end() const { 298740d490593e0de8732a697c9f77b90ddd463863bJordan Rose return llvm::map_iterator(param_end(), get_type_fun(&ParmVarDecl::getType)); 299740d490593e0de8732a697c9f77b90ddd463863bJordan Rose } 300740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 3010ffbfd1a7f80f9a3c07317cb8f44c562f2ba1ba5Jordan Rose // For debugging purposes only 302b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose void dump(raw_ostream &Out) const; 3030ffbfd1a7f80f9a3c07317cb8f44c562f2ba1ba5Jordan Rose LLVM_ATTRIBUTE_USED void dump() const { dump(llvm::errs()); } 3040ffbfd1a7f80f9a3c07317cb8f44c562f2ba1ba5Jordan Rose 305740d490593e0de8732a697c9f77b90ddd463863bJordan Rose static bool classof(const CallEvent *) { return true; } 306740d490593e0de8732a697c9f77b90ddd463863bJordan Rose}; 307740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 308b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose 309740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// \brief Represents a call to any sort of function that might have a 310740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// FunctionDecl. 311740d490593e0de8732a697c9f77b90ddd463863bJordan Roseclass AnyFunctionCall : public CallEvent { 312740d490593e0de8732a697c9f77b90ddd463863bJordan Roseprotected: 313b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose AnyFunctionCall(const Expr *E, ProgramStateRef St, 3147c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose const LocationContext *LCtx) 3157c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose : CallEvent(E, St, LCtx) {} 316b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose AnyFunctionCall(const Decl *D, ProgramStateRef St, 3177c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose const LocationContext *LCtx) 3187c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose : CallEvent(D, St, LCtx) {} 319972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose AnyFunctionCall(const AnyFunctionCall &Other) : CallEvent(Other) {} 320740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 3217c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual QualType getDeclaredResultType() const; 322740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 323740d490593e0de8732a697c9f77b90ddd463863bJordan Rosepublic: 324b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose // This function is overridden by subclasses, but they must return 325b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose // a FunctionDecl. 3267c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const FunctionDecl *getDecl() const { 3277c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose return cast<FunctionDecl>(CallEvent::getDecl()); 328b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose } 329740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 3307c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const Decl *getRuntimeDefinition() const { 331ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose const FunctionDecl *FD = getDecl(); 332ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose // Note that hasBody() will fill FD with the definition FunctionDecl. 333ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose if (FD && FD->hasBody(FD)) 334ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose return FD; 335ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose return 0; 336ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose } 337ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose 3387c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual bool argumentsMayEscape() const; 339b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose 3407c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual param_iterator param_begin(bool UseDefinitionParams = false) const; 3417c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual param_iterator param_end(bool UseDefinitionParams = false) const; 342b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose 343740d490593e0de8732a697c9f77b90ddd463863bJordan Rose static bool classof(const CallEvent *CA) { 344740d490593e0de8732a697c9f77b90ddd463863bJordan Rose return CA->getKind() >= CE_BEG_FUNCTION_CALLS && 345740d490593e0de8732a697c9f77b90ddd463863bJordan Rose CA->getKind() <= CE_END_FUNCTION_CALLS; 346740d490593e0de8732a697c9f77b90ddd463863bJordan Rose } 347740d490593e0de8732a697c9f77b90ddd463863bJordan Rose}; 348740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 349740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// \brief Represents a call to a written as a CallExpr. 350740d490593e0de8732a697c9f77b90ddd463863bJordan Roseclass SimpleCall : public AnyFunctionCall { 351740d490593e0de8732a697c9f77b90ddd463863bJordan Roseprotected: 352b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose SimpleCall(const CallExpr *CE, ProgramStateRef St, 3537c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose const LocationContext *LCtx) 354972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose : AnyFunctionCall(CE, St, LCtx) {} 355972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose SimpleCall(const SimpleCall &Other) : AnyFunctionCall(Other) {} 356740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 357740d490593e0de8732a697c9f77b90ddd463863bJordan Rosepublic: 3587c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const CallExpr *getOriginExpr() const { 359b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose return cast<CallExpr>(AnyFunctionCall::getOriginExpr()); 360b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose } 361740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 3627c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const FunctionDecl *getDecl() const; 363740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 3647c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual unsigned getNumArgs() const { return getOriginExpr()->getNumArgs(); } 3657c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose 3667c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const Expr *getArgExpr(unsigned Index) const { 367b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose return getOriginExpr()->getArg(Index); 368740d490593e0de8732a697c9f77b90ddd463863bJordan Rose } 369740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 370740d490593e0de8732a697c9f77b90ddd463863bJordan Rose static bool classof(const CallEvent *CA) { 371740d490593e0de8732a697c9f77b90ddd463863bJordan Rose return CA->getKind() >= CE_BEG_SIMPLE_CALLS && 372740d490593e0de8732a697c9f77b90ddd463863bJordan Rose CA->getKind() <= CE_END_SIMPLE_CALLS; 373740d490593e0de8732a697c9f77b90ddd463863bJordan Rose } 374740d490593e0de8732a697c9f77b90ddd463863bJordan Rose}; 375740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 376740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// \brief Represents a C function or static C++ member function call. 377740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// 378740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// Example: \c fun() 379740d490593e0de8732a697c9f77b90ddd463863bJordan Roseclass FunctionCall : public SimpleCall { 380d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose friend class CallEventManager; 381972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 382d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Roseprotected: 383740d490593e0de8732a697c9f77b90ddd463863bJordan Rose FunctionCall(const CallExpr *CE, ProgramStateRef St, 384740d490593e0de8732a697c9f77b90ddd463863bJordan Rose const LocationContext *LCtx) 3857c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose : SimpleCall(CE, St, LCtx) {} 386740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 387d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose FunctionCall(const FunctionCall &Other) : SimpleCall(Other) {} 388d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose virtual void cloneTo(void *Dest) const { new (Dest) FunctionCall(*this); } 389d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 390d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rosepublic: 3917c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual Kind getKind() const { return CE_Function; } 392b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose 393740d490593e0de8732a697c9f77b90ddd463863bJordan Rose static bool classof(const CallEvent *CA) { 394740d490593e0de8732a697c9f77b90ddd463863bJordan Rose return CA->getKind() == CE_Function; 395740d490593e0de8732a697c9f77b90ddd463863bJordan Rose } 396740d490593e0de8732a697c9f77b90ddd463863bJordan Rose}; 397740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 398c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose/// \brief Represents a non-static C++ member function call, no matter how 399c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose/// it is written. 400c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Roseclass CXXInstanceCall : public SimpleCall { 401740d490593e0de8732a697c9f77b90ddd463863bJordan Roseprotected: 4027c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual void getExtraInvalidatedRegions(RegionList &Regions) const; 403740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 404c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose CXXInstanceCall(const CallExpr *CE, ProgramStateRef St, 4057c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose const LocationContext *LCtx) 4067c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose : SimpleCall(CE, St, LCtx) {} 407c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose 408972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose CXXInstanceCall(const CXXInstanceCall &Other) : SimpleCall(Other) {} 409972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 410c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rosepublic: 4117c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const Decl *getRuntimeDefinition() const; 412c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose 413c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose static bool classof(const CallEvent *CA) { 414c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose return CA->getKind() >= CE_BEG_CXX_INSTANCE_CALLS && 415c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose CA->getKind() <= CE_END_CXX_INSTANCE_CALLS; 416c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose } 417c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose}; 418c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose 419c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose/// \brief Represents a non-static C++ member function call. 420c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose/// 421c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose/// Example: \c obj.fun() 422c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Roseclass CXXMemberCall : public CXXInstanceCall { 423d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose friend class CallEventManager; 424972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 425d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Roseprotected: 426740d490593e0de8732a697c9f77b90ddd463863bJordan Rose CXXMemberCall(const CXXMemberCallExpr *CE, ProgramStateRef St, 427c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose const LocationContext *LCtx) 4287c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose : CXXInstanceCall(CE, St, LCtx) {} 429740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 430d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose CXXMemberCall(const CXXMemberCall &Other) : CXXInstanceCall(Other) {} 431d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose virtual void cloneTo(void *Dest) const { new (Dest) CXXMemberCall(*this); } 432d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 433d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rosepublic: 4347c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const CXXMemberCallExpr *getOriginExpr() const { 435740d490593e0de8732a697c9f77b90ddd463863bJordan Rose return cast<CXXMemberCallExpr>(SimpleCall::getOriginExpr()); 436740d490593e0de8732a697c9f77b90ddd463863bJordan Rose } 437740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 4387c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual SVal getCXXThisVal() const; 4397c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose 4407c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual Kind getKind() const { return CE_CXXMember; } 441e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose 442740d490593e0de8732a697c9f77b90ddd463863bJordan Rose static bool classof(const CallEvent *CA) { 443740d490593e0de8732a697c9f77b90ddd463863bJordan Rose return CA->getKind() == CE_CXXMember; 444740d490593e0de8732a697c9f77b90ddd463863bJordan Rose } 445740d490593e0de8732a697c9f77b90ddd463863bJordan Rose}; 446740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 447fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose/// \brief Represents a C++ overloaded operator call where the operator is 448fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose/// implemented as a non-static member function. 449fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose/// 450fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose/// Example: <tt>iter + 1</tt> 451c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Roseclass CXXMemberOperatorCall : public CXXInstanceCall { 452d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose friend class CallEventManager; 453d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 454972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Roseprotected: 455d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose CXXMemberOperatorCall(const CXXOperatorCallExpr *CE, ProgramStateRef St, 456d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose const LocationContext *LCtx) 457d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose : CXXInstanceCall(CE, St, LCtx) {} 458d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 459972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose CXXMemberOperatorCall(const CXXMemberOperatorCall &Other) 460972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose : CXXInstanceCall(Other) {} 461972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose virtual void cloneTo(void *Dest) const { 462972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose new (Dest) CXXMemberOperatorCall(*this); 463972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose } 464972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 465fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rosepublic: 4667c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const CXXOperatorCallExpr *getOriginExpr() const { 467fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose return cast<CXXOperatorCallExpr>(SimpleCall::getOriginExpr()); 468fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose } 469fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose 4707c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual unsigned getNumArgs() const { 4717c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose return getOriginExpr()->getNumArgs() - 1; 4727c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose } 4737c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const Expr *getArgExpr(unsigned Index) const { 474fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose return getOriginExpr()->getArg(Index + 1); 475fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose } 476fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose 4777c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual SVal getCXXThisVal() const; 4787c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose 4797c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual Kind getKind() const { return CE_CXXMemberOperator; } 480e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose 481fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose static bool classof(const CallEvent *CA) { 482fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose return CA->getKind() == CE_CXXMemberOperator; 483fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose } 484fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose}; 485fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose 486740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// \brief Represents a call to a block. 487740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// 488fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose/// Example: <tt>^{ /* ... */ }()</tt> 489740d490593e0de8732a697c9f77b90ddd463863bJordan Roseclass BlockCall : public SimpleCall { 490d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose friend class CallEventManager; 491d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 492740d490593e0de8732a697c9f77b90ddd463863bJordan Roseprotected: 493d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose BlockCall(const CallExpr *CE, ProgramStateRef St, 494d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose const LocationContext *LCtx) 495d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose : SimpleCall(CE, St, LCtx) {} 496d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 497972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose BlockCall(const BlockCall &Other) : SimpleCall(Other) {} 498972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose virtual void cloneTo(void *Dest) const { new (Dest) BlockCall(*this); } 499972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 5007c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual void getExtraInvalidatedRegions(RegionList &Regions) const; 501740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 5027c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual QualType getDeclaredResultType() const; 503740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 504740d490593e0de8732a697c9f77b90ddd463863bJordan Rosepublic: 50569f87c956b3ac2b80124fd9604af012e1061473aJordan Rose /// \brief Returns the region associated with this instance of the block. 50669f87c956b3ac2b80124fd9604af012e1061473aJordan Rose /// 50769f87c956b3ac2b80124fd9604af012e1061473aJordan Rose /// This may be NULL if the block's origin is unknown. 50869f87c956b3ac2b80124fd9604af012e1061473aJordan Rose const BlockDataRegion *getBlockRegion() const; 50969f87c956b3ac2b80124fd9604af012e1061473aJordan Rose 51069f87c956b3ac2b80124fd9604af012e1061473aJordan Rose /// \brief Gets the declaration of the block. 51169f87c956b3ac2b80124fd9604af012e1061473aJordan Rose /// 51269f87c956b3ac2b80124fd9604af012e1061473aJordan Rose /// This is not an override of getDecl() because AnyFunctionCall has already 51369f87c956b3ac2b80124fd9604af012e1061473aJordan Rose /// assumed that it's a FunctionDecl. 51469f87c956b3ac2b80124fd9604af012e1061473aJordan Rose const BlockDecl *getBlockDecl() const { 51569f87c956b3ac2b80124fd9604af012e1061473aJordan Rose const BlockDataRegion *BR = getBlockRegion(); 51669f87c956b3ac2b80124fd9604af012e1061473aJordan Rose if (!BR) 51769f87c956b3ac2b80124fd9604af012e1061473aJordan Rose return 0; 51869f87c956b3ac2b80124fd9604af012e1061473aJordan Rose return BR->getDecl(); 519740d490593e0de8732a697c9f77b90ddd463863bJordan Rose } 520740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 5217c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const Decl *getRuntimeDefinition() const { 522ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose return getBlockDecl(); 523ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose } 524ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose 5257c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual param_iterator param_begin(bool UseDefinitionParams = false) const; 5267c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual param_iterator param_end(bool UseDefinitionParams = false) const; 527b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose 5287c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual Kind getKind() const { return CE_Block; } 529b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose 530740d490593e0de8732a697c9f77b90ddd463863bJordan Rose static bool classof(const CallEvent *CA) { 531740d490593e0de8732a697c9f77b90ddd463863bJordan Rose return CA->getKind() == CE_Block; 532740d490593e0de8732a697c9f77b90ddd463863bJordan Rose } 533740d490593e0de8732a697c9f77b90ddd463863bJordan Rose}; 534740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 535740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// \brief Represents a call to a C++ constructor. 536740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// 537740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// Example: \c T(1) 538740d490593e0de8732a697c9f77b90ddd463863bJordan Roseclass CXXConstructorCall : public AnyFunctionCall { 539d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose friend class CallEventManager; 540b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose 541d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Roseprotected: 542d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose /// Creates a constructor call. 543d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose /// 544d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose /// \param CE The constructor expression as written in the source. 545d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose /// \param Target The region where the object should be constructed. If NULL, 546d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose /// a new symbolic region will be used. 547d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose /// \param St The path-sensitive state at this point in the program. 548d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose /// \param LCtx The location context at this point in the program. 549b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose CXXConstructorCall(const CXXConstructExpr *CE, const MemRegion *target, 550740d490593e0de8732a697c9f77b90ddd463863bJordan Rose ProgramStateRef St, const LocationContext *LCtx) 5517c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose : AnyFunctionCall(CE, St, LCtx) { 552b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose Data = target; 553b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose } 554740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 555d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose CXXConstructorCall(const CXXConstructorCall &Other) : AnyFunctionCall(Other){} 556d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose virtual void cloneTo(void *Dest) const { new (Dest) CXXConstructorCall(*this); } 557d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 558d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose virtual void getExtraInvalidatedRegions(RegionList &Regions) const; 559d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 560d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rosepublic: 5617c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const CXXConstructExpr *getOriginExpr() const { 562b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose return cast<CXXConstructExpr>(AnyFunctionCall::getOriginExpr()); 563b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose } 564b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose 5657c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const CXXConstructorDecl *getDecl() const { 566b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose return getOriginExpr()->getConstructor(); 567740d490593e0de8732a697c9f77b90ddd463863bJordan Rose } 568740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 5697c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual unsigned getNumArgs() const { return getOriginExpr()->getNumArgs(); } 570740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 5717c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const Expr *getArgExpr(unsigned Index) const { 572b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose return getOriginExpr()->getArg(Index); 573740d490593e0de8732a697c9f77b90ddd463863bJordan Rose } 574740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 5757c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual SVal getCXXThisVal() const; 5767c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose 5777c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual Kind getKind() const { return CE_CXXConstructor; } 578e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose 579740d490593e0de8732a697c9f77b90ddd463863bJordan Rose static bool classof(const CallEvent *CA) { 580740d490593e0de8732a697c9f77b90ddd463863bJordan Rose return CA->getKind() == CE_CXXConstructor; 581740d490593e0de8732a697c9f77b90ddd463863bJordan Rose } 582740d490593e0de8732a697c9f77b90ddd463863bJordan Rose}; 583740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 5848d276d38c258dfc572586daf6c0e8f8fce249c0eJordan Rose/// \brief Represents an implicit call to a C++ destructor. 5858d276d38c258dfc572586daf6c0e8f8fce249c0eJordan Rose/// 5868d276d38c258dfc572586daf6c0e8f8fce249c0eJordan Rose/// This can occur at the end of a scope (for automatic objects), at the end 5878d276d38c258dfc572586daf6c0e8f8fce249c0eJordan Rose/// of a full-expression (for temporaries), or as part of a delete. 5888d276d38c258dfc572586daf6c0e8f8fce249c0eJordan Roseclass CXXDestructorCall : public AnyFunctionCall { 589d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose friend class CallEventManager; 5908d276d38c258dfc572586daf6c0e8f8fce249c0eJordan Rose 591d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Roseprotected: 592b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose /// Creates an implicit destructor. 593b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose /// 594b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose /// \param DD The destructor that will be called. 595b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose /// \param Trigger The statement whose completion causes this destructor call. 596b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose /// \param Target The object region to be destructed. 597b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose /// \param St The path-sensitive state at this point in the program. 598b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose /// \param LCtx The location context at this point in the program. 599b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose CXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, 600b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose const MemRegion *Target, ProgramStateRef St, 6018d276d38c258dfc572586daf6c0e8f8fce249c0eJordan Rose const LocationContext *LCtx) 6027c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose : AnyFunctionCall(DD, St, LCtx) { 603b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose Data = Target; 604b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose Location = Trigger->getLocEnd(); 605b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose } 6068d276d38c258dfc572586daf6c0e8f8fce249c0eJordan Rose 607d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose CXXDestructorCall(const CXXDestructorCall &Other) : AnyFunctionCall(Other) {} 608d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose virtual void cloneTo(void *Dest) const { new (Dest) CXXDestructorCall(*this); } 609d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 610d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose virtual void getExtraInvalidatedRegions(RegionList &Regions) const; 611d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 612d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rosepublic: 6137c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual SourceRange getSourceRange() const { return Location; } 6147c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual unsigned getNumArgs() const { return 0; } 6157c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose 6167c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual SVal getCXXThisVal() const; 6177c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const Decl *getRuntimeDefinition() const; 6188d276d38c258dfc572586daf6c0e8f8fce249c0eJordan Rose 6197c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual Kind getKind() const { return CE_CXXDestructor; } 620e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose 6218d276d38c258dfc572586daf6c0e8f8fce249c0eJordan Rose static bool classof(const CallEvent *CA) { 6228d276d38c258dfc572586daf6c0e8f8fce249c0eJordan Rose return CA->getKind() == CE_CXXDestructor; 6238d276d38c258dfc572586daf6c0e8f8fce249c0eJordan Rose } 6248d276d38c258dfc572586daf6c0e8f8fce249c0eJordan Rose}; 6258d276d38c258dfc572586daf6c0e8f8fce249c0eJordan Rose 6260e020adcb69e91826f4ee14a0c1d381f7b624a34Jordan Rose/// \brief Represents the memory allocation call in a C++ new-expression. 6270e020adcb69e91826f4ee14a0c1d381f7b624a34Jordan Rose/// 6280e020adcb69e91826f4ee14a0c1d381f7b624a34Jordan Rose/// This is a call to "operator new". 62970cbf3cc09eb21db1108396d30a414ea66d842ccJordan Roseclass CXXAllocatorCall : public AnyFunctionCall { 630d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose friend class CallEventManager; 631972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 632d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Roseprotected: 633b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose CXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef St, 63470cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose const LocationContext *LCtx) 6357c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose : AnyFunctionCall(E, St, LCtx) {} 63670cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose 637d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose CXXAllocatorCall(const CXXAllocatorCall &Other) : AnyFunctionCall(Other) {} 638d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose virtual void cloneTo(void *Dest) const { new (Dest) CXXAllocatorCall(*this); } 639d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 640d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rosepublic: 6417c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const CXXNewExpr *getOriginExpr() const { 642b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose return cast<CXXNewExpr>(AnyFunctionCall::getOriginExpr()); 643b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose } 644b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose 6457c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const FunctionDecl *getDecl() const { 646b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose return getOriginExpr()->getOperatorNew(); 64770cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose } 64870cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose 6497c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual unsigned getNumArgs() const { 650b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose return getOriginExpr()->getNumPlacementArgs() + 1; 651b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose } 65270cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose 6537c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const Expr *getArgExpr(unsigned Index) const { 65470cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose // The first argument of an allocator call is the size of the allocation. 65570cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose if (Index == 0) 65670cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose return 0; 657b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose return getOriginExpr()->getPlacementArg(Index - 1); 65870cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose } 65970cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose 6607c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual Kind getKind() const { return CE_CXXAllocator; } 661b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose 66270cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose static bool classof(const CallEvent *CE) { 66370cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose return CE->getKind() == CE_CXXAllocator; 66470cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose } 66570cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose}; 66670cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose 6678919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose/// \brief Represents the ways an Objective-C message send can occur. 6688919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose// 6698919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose// Note to maintainers: OCM_Message should always be last, since it does not 6708919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose// need to fit in the Data field's low bits. 6718919e688dc610d1f632a4d43f7f1489f67255476Jordan Roseenum ObjCMessageKind { 6728919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose OCM_PropertyAccess, 6738919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose OCM_Subscript, 6748919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose OCM_Message 6758919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose}; 6768919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose 677cde8cdbd6a662c636164465ad309b5f17ff01064Jordan Rose/// \brief Represents any expression that calls an Objective-C method. 6788919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose/// 6798919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose/// This includes all of the kinds listed in ObjCMessageKind. 680cde8cdbd6a662c636164465ad309b5f17ff01064Jordan Roseclass ObjCMethodCall : public CallEvent { 681d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose friend class CallEventManager; 682d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 6838919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose const PseudoObjectExpr *getContainingPseudoObjectExpr() const; 684cde8cdbd6a662c636164465ad309b5f17ff01064Jordan Rose 6858919e688dc610d1f632a4d43f7f1489f67255476Jordan Roseprotected: 686d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose ObjCMethodCall(const ObjCMessageExpr *Msg, ProgramStateRef St, 687d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose const LocationContext *LCtx) 688d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose : CallEvent(Msg, St, LCtx) { 689d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose Data = 0; 690d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose } 691d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 692972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose ObjCMethodCall(const ObjCMethodCall &Other) : CallEvent(Other) {} 693972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose virtual void cloneTo(void *Dest) const { new (Dest) ObjCMethodCall(*this); } 694972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 6957c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual void getExtraInvalidatedRegions(RegionList &Regions) const; 696740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 6977c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual QualType getDeclaredResultType() const; 6989dc5167e4017ef4c8b327abb6f72225eec2e0f19Anna Zaks ObjCMethodDecl *LookupClassMethodDefinition(Selector Sel, 6999dc5167e4017ef4c8b327abb6f72225eec2e0f19Anna Zaks ObjCInterfaceDecl *ClassDecl) const; 700740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 701740d490593e0de8732a697c9f77b90ddd463863bJordan Rosepublic: 7027c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const ObjCMessageExpr *getOriginExpr() const { 7038919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose return cast<ObjCMessageExpr>(CallEvent::getOriginExpr()); 704cde8cdbd6a662c636164465ad309b5f17ff01064Jordan Rose } 7057c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const ObjCMethodDecl *getDecl() const { 706b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose return getOriginExpr()->getMethodDecl(); 707b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose } 7087c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual unsigned getNumArgs() const { 709b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose return getOriginExpr()->getNumArgs(); 710b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose } 7117c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const Expr *getArgExpr(unsigned Index) const { 712b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose return getOriginExpr()->getArg(Index); 713b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose } 714740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 7158919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose bool isInstanceMessage() const { 7168919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose return getOriginExpr()->isInstanceMessage(); 7178919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose } 7188919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose ObjCMethodFamily getMethodFamily() const { 7198919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose return getOriginExpr()->getMethodFamily(); 7208919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose } 7218919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose Selector getSelector() const { 7228919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose return getOriginExpr()->getSelector(); 7238919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose } 7248919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose 7257c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual SourceRange getSourceRange() const; 7268919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose 7270e020adcb69e91826f4ee14a0c1d381f7b624a34Jordan Rose /// \brief Returns the value of the receiver at the time of this call. 728740d490593e0de8732a697c9f77b90ddd463863bJordan Rose SVal getReceiverSVal() const; 729740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 7300e020adcb69e91826f4ee14a0c1d381f7b624a34Jordan Rose /// \brief Get the interface for the receiver. 7310e020adcb69e91826f4ee14a0c1d381f7b624a34Jordan Rose /// 7320e020adcb69e91826f4ee14a0c1d381f7b624a34Jordan Rose /// This works whether this is an instance message or a class message. 7330e020adcb69e91826f4ee14a0c1d381f7b624a34Jordan Rose /// However, it currently just uses the static type of the receiver. 734cde8cdbd6a662c636164465ad309b5f17ff01064Jordan Rose const ObjCInterfaceDecl *getReceiverInterface() const { 735b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose return getOriginExpr()->getReceiverInterface(); 736cde8cdbd6a662c636164465ad309b5f17ff01064Jordan Rose } 737cde8cdbd6a662c636164465ad309b5f17ff01064Jordan Rose 7388919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose ObjCMessageKind getMessageKind() const; 7398919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose 7408919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose bool isSetter() const { 7418919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose switch (getMessageKind()) { 7428919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose case OCM_Message: 7438919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose llvm_unreachable("This is not a pseudo-object access!"); 7448919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose case OCM_PropertyAccess: 7458919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose return getNumArgs() > 0; 7468919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose case OCM_Subscript: 7478919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose return getNumArgs() > 1; 7488919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose } 7498919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose llvm_unreachable("Unknown message kind"); 750740d490593e0de8732a697c9f77b90ddd463863bJordan Rose } 751740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 7529dc5167e4017ef4c8b327abb6f72225eec2e0f19Anna Zaks // TODO: We might want to only compute this once (or change the API for 7539dc5167e4017ef4c8b327abb6f72225eec2e0f19Anna Zaks // getting the parameters). Currently, this gets called 3 times during 7549dc5167e4017ef4c8b327abb6f72225eec2e0f19Anna Zaks // inlining. 7557c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual const Decl *getRuntimeDefinition() const { 7569dc5167e4017ef4c8b327abb6f72225eec2e0f19Anna Zaks const ObjCMessageExpr *E = getOriginExpr(); 7576fbe0317aa38dbac22a29f7519c52db838aa1990Anna Zaks assert(E); 7586fbe0317aa38dbac22a29f7519c52db838aa1990Anna Zaks 7599dc5167e4017ef4c8b327abb6f72225eec2e0f19Anna Zaks if (E->isInstanceMessage()) { 7609dc5167e4017ef4c8b327abb6f72225eec2e0f19Anna Zaks return 0; 7619dc5167e4017ef4c8b327abb6f72225eec2e0f19Anna Zaks } else { 7626fbe0317aa38dbac22a29f7519c52db838aa1990Anna Zaks // This is a class method. 7639dc5167e4017ef4c8b327abb6f72225eec2e0f19Anna Zaks // If we have type info for the receiver class, we are calling via 7649dc5167e4017ef4c8b327abb6f72225eec2e0f19Anna Zaks // class name. 7656fbe0317aa38dbac22a29f7519c52db838aa1990Anna Zaks if (ObjCInterfaceDecl *IDecl = E->getReceiverInterface()) 7669dc5167e4017ef4c8b327abb6f72225eec2e0f19Anna Zaks return LookupClassMethodDefinition(E->getSelector(), IDecl); 767ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose } 7689dc5167e4017ef4c8b327abb6f72225eec2e0f19Anna Zaks 769ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose return 0; 770ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose } 771ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose 7727c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual param_iterator param_begin(bool UseDefinitionParams = false) const; 7737c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual param_iterator param_end(bool UseDefinitionParams = false) const; 774b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose 7757c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose virtual Kind getKind() const { return CE_ObjCMessage; } 776b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose 777740d490593e0de8732a697c9f77b90ddd463863bJordan Rose static bool classof(const CallEvent *CA) { 778740d490593e0de8732a697c9f77b90ddd463863bJordan Rose return CA->getKind() == CE_ObjCMessage; 779740d490593e0de8732a697c9f77b90ddd463863bJordan Rose } 780740d490593e0de8732a697c9f77b90ddd463863bJordan Rose}; 781740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 782972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 783972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// \brief Manages the lifetime of CallEvent objects. 784972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// 785972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// CallEventManager provides a way to create arbitrary CallEvents "on the 786972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// stack" as if they were value objects by keeping a cache of CallEvent-sized 787972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// memory blocks. The CallEvents created by CallEventManager are only valid 788972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// for the lifetime of the OwnedCallEvent that holds them; right now these 789972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// objects cannot be copied and ownership cannot be transferred. 790972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Roseclass CallEventManager { 791972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose friend class CallEvent; 792972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 793972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose llvm::BumpPtrAllocator &Alloc; 794d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose SmallVector<void *, 8> Cache; 795972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 796972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose void reclaim(const void *Memory) { 797972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose Cache.push_back(const_cast<void *>(Memory)); 798972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose } 799972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 800972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose /// Returns memory that can be initialized as a CallEvent. 801972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose void *allocate() { 802972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose if (Cache.empty()) 803972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose return Alloc.Allocate<FunctionCall>(); 804972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose else 805972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose return Cache.pop_back_val(); 806972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose } 807972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 808d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose template <typename T, typename Arg> 809d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose T *create(Arg A, ProgramStateRef St, const LocationContext *LCtx) { 810d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose return new (allocate()) T(A, St, LCtx); 811d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose } 812d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 813d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose template <typename T, typename Arg1, typename Arg2> 814d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose T *create(Arg1 A1, Arg2 A2, ProgramStateRef St, const LocationContext *LCtx) { 815d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose return new (allocate()) T(A1, A2, St, LCtx); 816d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose } 817d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 818d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose template <typename T, typename Arg1, typename Arg2, typename Arg3> 819d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose T *create(Arg1 A1, Arg2 A2, Arg3 A3, ProgramStateRef St, 820d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose const LocationContext *LCtx) { 821d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose return new (allocate()) T(A1, A2, A3, St, LCtx); 822d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose } 823d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 824972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rosepublic: 825972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose CallEventManager(llvm::BumpPtrAllocator &alloc) : Alloc(alloc) {} 826d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 827d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose CallEventRef<SimpleCall> 828d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose getSimpleCall(const CallExpr *E, ProgramStateRef State, 829d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose const LocationContext *LCtx); 830d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 831d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose CallEventRef<ObjCMethodCall> 832d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose getObjCMethodCall(const ObjCMessageExpr *E, ProgramStateRef State, 833d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose const LocationContext *LCtx) { 834d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose return create<ObjCMethodCall>(E, State, LCtx); 835d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose } 836d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 837d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose CallEventRef<CXXConstructorCall> 838d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose getCXXConstructorCall(const CXXConstructExpr *E, const MemRegion *Target, 839d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose ProgramStateRef State, const LocationContext *LCtx) { 840d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose return create<CXXConstructorCall>(E, Target, State, LCtx); 841d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose } 842d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 843d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose CallEventRef<CXXDestructorCall> 844d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose getCXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, 845d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose const MemRegion *Target, ProgramStateRef State, 846d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose const LocationContext *LCtx) { 847d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose return create<CXXDestructorCall>(DD, Trigger, Target, State, LCtx); 848d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose } 849d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 850d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose CallEventRef<CXXAllocatorCall> 851d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose getCXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef State, 852d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose const LocationContext *LCtx) { 853d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose return create<CXXAllocatorCall>(E, State, LCtx); 854d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose } 855972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose}; 856972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 857972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 858972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rosetemplate <typename T> 859d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan RoseCallEventRef<T> CallEvent::cloneWithState(ProgramStateRef NewState) const { 860972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose assert(isa<T>(*this) && "Cloning to unrelated type"); 861972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose assert(sizeof(T) == sizeof(CallEvent) && "Subclasses may not add fields"); 862972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 863d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose if (NewState == State) 864d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose return cast<T>(this); 865d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose 866972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose CallEventManager &Mgr = State->getStateManager().getCallEventManager(); 867972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose T *Copy = static_cast<T *>(Mgr.allocate()); 868972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose cloneTo(Copy); 869972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose assert(Copy->getKind() == this->getKind() && "Bad copy"); 870972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 871972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose Copy->State = NewState; 872972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose return Copy; 873972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose} 874972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 875972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Roseinline void CallEvent::Release() const { 876972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose assert(RefCount > 0 && "Reference count is already zero."); 877972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose --RefCount; 878972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 879972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose if (RefCount > 0) 880972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose return; 881972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 882972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose CallEventManager &Mgr = State->getStateManager().getCallEventManager(); 883972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose Mgr.reclaim(this); 884972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 885972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose this->~CallEvent(); 886972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose} 887972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose 888740d490593e0de8732a697c9f77b90ddd463863bJordan Rose} // end namespace ento 889740d490593e0de8732a697c9f77b90ddd463863bJordan Rose} // end namespace clang 890740d490593e0de8732a697c9f77b90ddd463863bJordan Rose 891740d490593e0de8732a697c9f77b90ddd463863bJordan Rose#endif 892