CallEvent.h revision ddc0c4814788dda4ef224cd4d22d07154a6ede49
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"
23a43df9539644bf1c258e12710cd69d79b0b078cdTed Kremenek#include "clang/Analysis/AnalysisContext.h"
24de507eaf3cb54d3cb234dc14499c10ab3373d15fJordan Rose#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
25740d490593e0de8732a697c9f77b90ddd463863bJordan Rose#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
26b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose#include "llvm/ADT/PointerIntPair.h"
27740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
28740d490593e0de8732a697c9f77b90ddd463863bJordan Rosenamespace clang {
2928038f33aa2db4833881fea757a1f0daf85ac02bJordan Roseclass ProgramPoint;
3028038f33aa2db4833881fea757a1f0daf85ac02bJordan Roseclass ProgramPointTag;
3128038f33aa2db4833881fea757a1f0daf85ac02bJordan Rose
32740d490593e0de8732a697c9f77b90ddd463863bJordan Rosenamespace ento {
33740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
34740d490593e0de8732a697c9f77b90ddd463863bJordan Roseenum CallEventKind {
35740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  CE_Function,
36740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  CE_Block,
37740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  CE_BEG_SIMPLE_CALLS = CE_Function,
38740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  CE_END_SIMPLE_CALLS = CE_Block,
39645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  CE_CXXMember,
40645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  CE_CXXMemberOperator,
418d276d38c258dfc572586daf6c0e8f8fce249c0eJordan Rose  CE_CXXDestructor,
42645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  CE_BEG_CXX_INSTANCE_CALLS = CE_CXXMember,
43645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  CE_END_CXX_INSTANCE_CALLS = CE_CXXDestructor,
44645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  CE_CXXConstructor,
4570cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose  CE_CXXAllocator,
46740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  CE_BEG_FUNCTION_CALLS = CE_Function,
4770cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose  CE_END_FUNCTION_CALLS = CE_CXXAllocator,
488919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose  CE_ObjCMessage
49740d490593e0de8732a697c9f77b90ddd463863bJordan Rose};
50740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
51972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Roseclass CallEvent;
52d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Roseclass CallEventManager;
53972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
54d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rosetemplate<typename T = CallEvent>
55d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Roseclass CallEventRef : public IntrusiveRefCntPtr<const T> {
56d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rosepublic:
57d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  CallEventRef(const T *Call) : IntrusiveRefCntPtr<const T>(Call) {}
58d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  CallEventRef(const CallEventRef &Orig) : IntrusiveRefCntPtr<const T>(Orig) {}
59d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
60d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  CallEventRef<T> cloneWithState(ProgramStateRef State) const {
61d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose    return this->getPtr()->template cloneWithState<T>(State);
62d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  }
6357c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose
6457c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose  // Allow implicit conversions to a superclass type, since CallEventRef
6557c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose  // behaves like a pointer-to-const.
6657c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose  template <typename SuperT>
6757c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose  operator CallEventRef<SuperT> () const {
6857c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose    return this->getPtr();
6957c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose  }
70d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose};
71b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose
721becab2120142b1be87d684a68d3bea98f5abfb5Anna Zaks/// \class RuntimeDefinition
735960f4aeac9760198c80e05d70d8dadb1db0ff0eAnna Zaks/// \brief Defines the runtime definition of the called function.
741becab2120142b1be87d684a68d3bea98f5abfb5Anna Zaks///
751becab2120142b1be87d684a68d3bea98f5abfb5Anna Zaks/// Encapsulates the information we have about which Decl will be used
761becab2120142b1be87d684a68d3bea98f5abfb5Anna Zaks/// when the call is executed on the given path. When dealing with dynamic
771becab2120142b1be87d684a68d3bea98f5abfb5Anna Zaks/// dispatch, the information is based on DynamicTypeInfo and might not be
781becab2120142b1be87d684a68d3bea98f5abfb5Anna Zaks/// precise.
79fc05decf08feefd2ffe8cc250219aee6eab3119cAnna Zaksclass RuntimeDefinition {
801becab2120142b1be87d684a68d3bea98f5abfb5Anna Zaks  /// The Declaration of the function which could be called at runtime.
811becab2120142b1be87d684a68d3bea98f5abfb5Anna Zaks  /// NULL if not available.
82fc05decf08feefd2ffe8cc250219aee6eab3119cAnna Zaks  const Decl *D;
835960f4aeac9760198c80e05d70d8dadb1db0ff0eAnna Zaks
845960f4aeac9760198c80e05d70d8dadb1db0ff0eAnna Zaks  /// The region representing an object (ObjC/C++) on which the method is
855960f4aeac9760198c80e05d70d8dadb1db0ff0eAnna Zaks  /// called. With dynamic dispatch, the method definition depends on the
861becab2120142b1be87d684a68d3bea98f5abfb5Anna Zaks  /// runtime type of this object. NULL when the DynamicTypeInfo is
871becab2120142b1be87d684a68d3bea98f5abfb5Anna Zaks  /// precise.
88fc05decf08feefd2ffe8cc250219aee6eab3119cAnna Zaks  const MemRegion *R;
895960f4aeac9760198c80e05d70d8dadb1db0ff0eAnna Zaks
90fc05decf08feefd2ffe8cc250219aee6eab3119cAnna Zakspublic:
91fc05decf08feefd2ffe8cc250219aee6eab3119cAnna Zaks  RuntimeDefinition(): D(0), R(0) {}
92fc05decf08feefd2ffe8cc250219aee6eab3119cAnna Zaks  RuntimeDefinition(const Decl *InD): D(InD), R(0) {}
93fc05decf08feefd2ffe8cc250219aee6eab3119cAnna Zaks  RuntimeDefinition(const Decl *InD, const MemRegion *InR): D(InD), R(InR) {}
945960f4aeac9760198c80e05d70d8dadb1db0ff0eAnna Zaks  const Decl *getDecl() { return D; }
951becab2120142b1be87d684a68d3bea98f5abfb5Anna Zaks
961becab2120142b1be87d684a68d3bea98f5abfb5Anna Zaks  /// \brief Check if the definition we have is precise.
971becab2120142b1be87d684a68d3bea98f5abfb5Anna Zaks  /// If not, it is possible that the call dispatches to another definition at
981becab2120142b1be87d684a68d3bea98f5abfb5Anna Zaks  /// execution time.
995960f4aeac9760198c80e05d70d8dadb1db0ff0eAnna Zaks  bool mayHaveOtherDefinitions() { return R != 0; }
1001becab2120142b1be87d684a68d3bea98f5abfb5Anna Zaks
1011becab2120142b1be87d684a68d3bea98f5abfb5Anna Zaks  /// When other definitions are possible, returns the region whose runtime type
1021becab2120142b1be87d684a68d3bea98f5abfb5Anna Zaks  /// determines the method definition.
1031becab2120142b1be87d684a68d3bea98f5abfb5Anna Zaks  const MemRegion *getDispatchRegion() { return R; }
104e90d3f847dcce76237078b67db8895eb7a24189eAnna Zaks};
105e90d3f847dcce76237078b67db8895eb7a24189eAnna Zaks
106740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// \brief Represents an abstract call to a function or method along a
107740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// particular path.
108972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose///
109972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// CallEvents are created through the factory methods of CallEventManager.
110972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose///
111972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// CallEvents should always be cheap to create and destroy. In order for
112972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// CallEventManager to be able to re-use CallEvent-sized memory blocks,
113972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// subclasses of CallEvent may not add any data members to the base class.
114972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// Use the "Data" and "Location" fields instead.
115740d490593e0de8732a697c9f77b90ddd463863bJordan Roseclass CallEvent {
116740d490593e0de8732a697c9f77b90ddd463863bJordan Rosepublic:
117740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  typedef CallEventKind Kind;
118740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
119b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Roseprivate:
1207c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  ProgramStateRef State;
1217c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  const LocationContext *LCtx;
122b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  llvm::PointerUnion<const Expr *, const Decl *> Origin;
123b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose
124f56faa01936b9cf909623d7f06e3c2569ca4a78eDmitri Gribenko  void operator=(const CallEvent &) LLVM_DELETED_FUNCTION;
1257c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose
126740d490593e0de8732a697c9f77b90ddd463863bJordan Roseprotected:
127b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  // This is user data for subclasses.
128b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  const void *Data;
129972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
130972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  // This is user data for subclasses.
131972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  // This should come right before RefCount, so that the two fields can be
132972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  // packed together on LP64 platforms.
133b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  SourceLocation Location;
134b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose
135972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Roseprivate:
136972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  mutable unsigned RefCount;
137972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
138972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  template <typename T> friend struct llvm::IntrusiveRefCntPtrInfo;
139972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  void Retain() const { ++RefCount; }
140972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  void Release() const;
141972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
142972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Roseprotected:
143d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  friend class CallEventManager;
144d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
1457c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
146972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose    : State(state), LCtx(lctx), Origin(E), RefCount(0) {}
147b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose
1487c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
149972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose    : State(state), LCtx(lctx), Origin(D), RefCount(0) {}
150972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
151972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  // DO NOT MAKE PUBLIC
152972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  CallEvent(const CallEvent &Original)
153972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose    : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin),
154972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose      Data(Original.Data), Location(Original.Location), RefCount(0) {}
155b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose
156972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  /// Copies this CallEvent, with vtable intact, into a new block of memory.
157972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  virtual void cloneTo(void *Dest) const = 0;
158972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
159740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// \brief Get the value of arbitrary expressions at this point in the path.
160740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  SVal getSVal(const Stmt *S) const {
161b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose    return getState()->getSVal(S, getLocationContext());
162740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  }
163740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
164972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
165740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  typedef SmallVectorImpl<const MemRegion *> RegionList;
166740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
167740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// \brief Used to specify non-argument regions that will be invalidated as a
168740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// result of this call.
1697c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual void getExtraInvalidatedRegions(RegionList &Regions) const {}
170740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
171740d490593e0de8732a697c9f77b90ddd463863bJordan Rosepublic:
1727c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual ~CallEvent() {}
1737c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose
174b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  /// \brief Returns the kind of call this is.
1757c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual Kind getKind() const = 0;
176b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose
177740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// \brief Returns the declaration of the function or method that will be
178740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// called. May be null.
1797c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual const Decl *getDecl() const {
1807c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose    return Origin.dyn_cast<const Decl *>();
1817c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  }
182740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
1835a90193ad825656d4a03099cd5e9c928d1782b5eAnna Zaks  /// \brief The state in which the call is being evaluated.
1845a90193ad825656d4a03099cd5e9c928d1782b5eAnna Zaks  ProgramStateRef getState() const {
1855a90193ad825656d4a03099cd5e9c928d1782b5eAnna Zaks    return State;
1865a90193ad825656d4a03099cd5e9c928d1782b5eAnna Zaks  }
1875a90193ad825656d4a03099cd5e9c928d1782b5eAnna Zaks
1885a90193ad825656d4a03099cd5e9c928d1782b5eAnna Zaks  /// \brief The context in which the call is being evaluated.
1895a90193ad825656d4a03099cd5e9c928d1782b5eAnna Zaks  const LocationContext *getLocationContext() const {
1905a90193ad825656d4a03099cd5e9c928d1782b5eAnna Zaks    return LCtx;
1915a90193ad825656d4a03099cd5e9c928d1782b5eAnna Zaks  }
1925a90193ad825656d4a03099cd5e9c928d1782b5eAnna Zaks
193ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose  /// \brief Returns the definition of the function or method that will be
1945960f4aeac9760198c80e05d70d8dadb1db0ff0eAnna Zaks  /// called.
195ddc0c4814788dda4ef224cd4d22d07154a6ede49Ted Kremenek  virtual RuntimeDefinition getRuntimeDefinition() const = 0;
196ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose
197740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// \brief Returns the expression whose value will be the result of this call.
198740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// May be null.
199b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  const Expr *getOriginExpr() const {
200b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose    return Origin.dyn_cast<const Expr *>();
201b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  }
202740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
203740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// \brief Returns the number of arguments (explicit and implicit).
204740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  ///
205740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// Note that this may be greater than the number of parameters in the
206740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// callee's declaration, and that it may include arguments not written in
207740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// the source.
2087c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual unsigned getNumArgs() const = 0;
209740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
210740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// \brief Returns true if the callee is known to be from a system header.
211740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  bool isInSystemHeader() const {
212740d490593e0de8732a697c9f77b90ddd463863bJordan Rose    const Decl *D = getDecl();
213740d490593e0de8732a697c9f77b90ddd463863bJordan Rose    if (!D)
214740d490593e0de8732a697c9f77b90ddd463863bJordan Rose      return false;
215740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
216740d490593e0de8732a697c9f77b90ddd463863bJordan Rose    SourceLocation Loc = D->getLocation();
217740d490593e0de8732a697c9f77b90ddd463863bJordan Rose    if (Loc.isValid()) {
218740d490593e0de8732a697c9f77b90ddd463863bJordan Rose      const SourceManager &SM =
219b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose        getState()->getStateManager().getContext().getSourceManager();
220740d490593e0de8732a697c9f77b90ddd463863bJordan Rose      return SM.isInSystemHeader(D->getLocation());
221740d490593e0de8732a697c9f77b90ddd463863bJordan Rose    }
222740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
223740d490593e0de8732a697c9f77b90ddd463863bJordan Rose    // Special case for implicitly-declared global operator new/delete.
224740d490593e0de8732a697c9f77b90ddd463863bJordan Rose    // These should be considered system functions.
225740d490593e0de8732a697c9f77b90ddd463863bJordan Rose    if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D))
226740d490593e0de8732a697c9f77b90ddd463863bJordan Rose      return FD->isOverloadedOperator() && FD->isImplicit() && FD->isGlobal();
227740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
228740d490593e0de8732a697c9f77b90ddd463863bJordan Rose    return false;
229740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  }
230740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
231de507eaf3cb54d3cb234dc14499c10ab3373d15fJordan Rose  /// \brief Returns a source range for the entire call, suitable for
232de507eaf3cb54d3cb234dc14499c10ab3373d15fJordan Rose  /// outputting in diagnostics.
2337c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual SourceRange getSourceRange() const {
2347c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose    return getOriginExpr()->getSourceRange();
2357c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  }
236de507eaf3cb54d3cb234dc14499c10ab3373d15fJordan Rose
237740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// \brief Returns the value of a given argument at the time of the call.
2387c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual SVal getArgSVal(unsigned Index) const;
239740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
240740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// \brief Returns the expression associated with a given argument.
241740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// May be null if this expression does not appear in the source.
2427c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual const Expr *getArgExpr(unsigned Index) const { return 0; }
243740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
244740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// \brief Returns the source range for errors associated with this argument.
2457c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  ///
246740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// May be invalid if the argument is not written in the source.
2477c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual SourceRange getArgSourceRange(unsigned Index) const;
248740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
249740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// \brief Returns the result type, adjusted for references.
250740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  QualType getResultType() const;
251740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
252740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// \brief Returns true if any of the arguments appear to represent callbacks.
253740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  bool hasNonZeroCallbackArg() const;
254740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
25585d7e01cf639b257d70f8a129709a2d7594d7b22Jordan Rose  /// \brief Returns true if any of the arguments are known to escape to long-
25685d7e01cf639b257d70f8a129709a2d7594d7b22Jordan Rose  /// term storage, even if this method will not modify them.
25785d7e01cf639b257d70f8a129709a2d7594d7b22Jordan Rose  // NOTE: The exact semantics of this are still being defined!
25885d7e01cf639b257d70f8a129709a2d7594d7b22Jordan Rose  // We don't really want a list of hardcoded exceptions in the long run,
25985d7e01cf639b257d70f8a129709a2d7594d7b22Jordan Rose  // but we don't want duplicated lists of known APIs in the short term either.
2607c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual bool argumentsMayEscape() const {
2617c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose    return hasNonZeroCallbackArg();
2627c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  }
26385d7e01cf639b257d70f8a129709a2d7594d7b22Jordan Rose
26428038f33aa2db4833881fea757a1f0daf85ac02bJordan Rose  /// \brief Returns an appropriate ProgramPoint for this call.
2658d276d38c258dfc572586daf6c0e8f8fce249c0eJordan Rose  ProgramPoint getProgramPoint(bool IsPreVisit = false,
26628038f33aa2db4833881fea757a1f0daf85ac02bJordan Rose                               const ProgramPointTag *Tag = 0) const;
26728038f33aa2db4833881fea757a1f0daf85ac02bJordan Rose
268740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// \brief Returns a new state with all argument regions invalidated.
269740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  ///
270740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// This accepts an alternate state in case some processing has already
271740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  /// occurred.
272740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  ProgramStateRef invalidateRegions(unsigned BlockCount,
273740d490593e0de8732a697c9f77b90ddd463863bJordan Rose                                    ProgramStateRef Orig = 0) const;
274740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
275ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose  typedef std::pair<Loc, SVal> FrameBindingTy;
276ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose  typedef SmallVectorImpl<FrameBindingTy> BindingsTy;
277ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose
278ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose  /// Populates the given SmallVector with the bindings in the callee's stack
279ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose  /// frame at the start of this call.
280ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose  virtual void getInitialStackFrameContents(const StackFrameContext *CalleeCtx,
281ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose                                            BindingsTy &Bindings) const = 0;
282ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose
283972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  /// Returns a copy of this CallEvent, but using the given state.
284972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  template <typename T>
285d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  CallEventRef<T> cloneWithState(ProgramStateRef NewState) const;
286972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
287972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  /// Returns a copy of this CallEvent, but using the given state.
288d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  CallEventRef<> cloneWithState(ProgramStateRef NewState) const {
289972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose    return cloneWithState<CallEvent>(NewState);
290972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  }
291972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
2926062334cc388bce69fb3978c4ecb26c6485a5c2bJordan Rose  /// \brief Returns true if this is a statement is a function or method call
2936062334cc388bce69fb3978c4ecb26c6485a5c2bJordan Rose  /// of some kind.
2946062334cc388bce69fb3978c4ecb26c6485a5c2bJordan Rose  static bool isCallStmt(const Stmt *S);
29585d7e01cf639b257d70f8a129709a2d7594d7b22Jordan Rose
29616e6a7cb41319459ded69b4d47f405c1035dd347Anna Zaks  /// \brief Returns the result type of a function, method declaration.
29716e6a7cb41319459ded69b4d47f405c1035dd347Anna Zaks  static QualType getDeclaredResultType(const Decl *D);
29816e6a7cb41319459ded69b4d47f405c1035dd347Anna Zaks
299e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  // Iterator access to formal parameters and their types.
300740d490593e0de8732a697c9f77b90ddd463863bJordan Roseprivate:
301740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  typedef std::const_mem_fun_t<QualType, ParmVarDecl> get_type_fun;
302740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
303740d490593e0de8732a697c9f77b90ddd463863bJordan Rosepublic:
304e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  typedef const ParmVarDecl * const *param_iterator;
305e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose
306e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  /// Returns an iterator over the call's formal parameters.
307e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  ///
308e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  /// If UseDefinitionParams is set, this will return the parameter decls
309e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  /// used in the callee's definition (suitable for inlining). Most of the
310e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  /// time it is better to use the decl found by name lookup, which likely
311e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  /// carries more annotations.
312e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  ///
313e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  /// Remember that the number of formal parameters may not match the number
314e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  /// of arguments for all calls. However, the first parameter will always
315e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  /// correspond with the argument value returned by \c getArgSVal(0).
316e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  ///
317e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  /// If the call has no accessible declaration (or definition, if
318e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  /// \p UseDefinitionParams is set), \c param_begin() will be equal to
319e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  /// \c param_end().
320ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose  virtual param_iterator param_begin() const =0;
321e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  /// \sa param_begin()
322ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose  virtual param_iterator param_end() const = 0;
323e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose
324740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  typedef llvm::mapped_iterator<param_iterator, get_type_fun>
325740d490593e0de8732a697c9f77b90ddd463863bJordan Rose    param_type_iterator;
326740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
327e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  /// Returns an iterator over the types of the call's formal parameters.
328e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  ///
329e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  /// This uses the callee decl found by default name lookup rather than the
330e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  /// definition because it represents a public interface, and probably has
331e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  /// more annotations.
332740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  param_type_iterator param_type_begin() const {
333740d490593e0de8732a697c9f77b90ddd463863bJordan Rose    return llvm::map_iterator(param_begin(),
334740d490593e0de8732a697c9f77b90ddd463863bJordan Rose                              get_type_fun(&ParmVarDecl::getType));
335740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  }
336e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose  /// \sa param_type_begin()
337740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  param_type_iterator param_type_end() const {
338740d490593e0de8732a697c9f77b90ddd463863bJordan Rose    return llvm::map_iterator(param_end(), get_type_fun(&ParmVarDecl::getType));
339740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  }
340740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
3410ffbfd1a7f80f9a3c07317cb8f44c562f2ba1ba5Jordan Rose  // For debugging purposes only
342b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  void dump(raw_ostream &Out) const;
34342c72c258e08ca79c9267346b4badcddd8fcd001Benjamin Kramer  LLVM_ATTRIBUTE_USED void dump() const;
3440ffbfd1a7f80f9a3c07317cb8f44c562f2ba1ba5Jordan Rose
345740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  static bool classof(const CallEvent *) { return true; }
346740d490593e0de8732a697c9f77b90ddd463863bJordan Rose};
347740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
348b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose
349740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// \brief Represents a call to any sort of function that might have a
350740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// FunctionDecl.
351740d490593e0de8732a697c9f77b90ddd463863bJordan Roseclass AnyFunctionCall : public CallEvent {
352740d490593e0de8732a697c9f77b90ddd463863bJordan Roseprotected:
353b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  AnyFunctionCall(const Expr *E, ProgramStateRef St,
3547c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose                  const LocationContext *LCtx)
3557c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose    : CallEvent(E, St, LCtx) {}
356b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  AnyFunctionCall(const Decl *D, ProgramStateRef St,
3577c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose                  const LocationContext *LCtx)
3587c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose    : CallEvent(D, St, LCtx) {}
359972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  AnyFunctionCall(const AnyFunctionCall &Other) : CallEvent(Other) {}
360740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
361740d490593e0de8732a697c9f77b90ddd463863bJordan Rosepublic:
362b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  // This function is overridden by subclasses, but they must return
363b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  // a FunctionDecl.
3647c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual const FunctionDecl *getDecl() const {
3657c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose    return cast<FunctionDecl>(CallEvent::getDecl());
366b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  }
367740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
368ddc0c4814788dda4ef224cd4d22d07154a6ede49Ted Kremenek  virtual RuntimeDefinition getRuntimeDefinition() const {
369ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose    const FunctionDecl *FD = getDecl();
370a43df9539644bf1c258e12710cd69d79b0b078cdTed Kremenek    // Note that the AnalysisDeclContext will have the FunctionDecl with
371a43df9539644bf1c258e12710cd69d79b0b078cdTed Kremenek    // the definition (if one exists).
372a43df9539644bf1c258e12710cd69d79b0b078cdTed Kremenek    if (FD) {
373ddc0c4814788dda4ef224cd4d22d07154a6ede49Ted Kremenek      AnalysisDeclContext *AD =
374ddc0c4814788dda4ef224cd4d22d07154a6ede49Ted Kremenek        getLocationContext()->getAnalysisDeclContext()->
375ddc0c4814788dda4ef224cd4d22d07154a6ede49Ted Kremenek        getManager()->getContext(FD);
376a43df9539644bf1c258e12710cd69d79b0b078cdTed Kremenek      if (AD->getBody())
377a43df9539644bf1c258e12710cd69d79b0b078cdTed Kremenek        return RuntimeDefinition(AD->getDecl());
378a43df9539644bf1c258e12710cd69d79b0b078cdTed Kremenek    }
379a43df9539644bf1c258e12710cd69d79b0b078cdTed Kremenek
380e90d3f847dcce76237078b67db8895eb7a24189eAnna Zaks    return RuntimeDefinition();
381ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose  }
382ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose
3837c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual bool argumentsMayEscape() const;
384b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose
385ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose  virtual void getInitialStackFrameContents(const StackFrameContext *CalleeCtx,
386ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose                                            BindingsTy &Bindings) const;
387ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose
388ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose  virtual param_iterator param_begin() const;
389ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose  virtual param_iterator param_end() const;
390b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose
391740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  static bool classof(const CallEvent *CA) {
392740d490593e0de8732a697c9f77b90ddd463863bJordan Rose    return CA->getKind() >= CE_BEG_FUNCTION_CALLS &&
393740d490593e0de8732a697c9f77b90ddd463863bJordan Rose           CA->getKind() <= CE_END_FUNCTION_CALLS;
394740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  }
395740d490593e0de8732a697c9f77b90ddd463863bJordan Rose};
396740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
397645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose/// \brief Represents a call to a non-C++ function, written as a CallExpr.
398740d490593e0de8732a697c9f77b90ddd463863bJordan Roseclass SimpleCall : public AnyFunctionCall {
399740d490593e0de8732a697c9f77b90ddd463863bJordan Roseprotected:
400b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  SimpleCall(const CallExpr *CE, ProgramStateRef St,
4017c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose             const LocationContext *LCtx)
402972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose    : AnyFunctionCall(CE, St, LCtx) {}
403972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  SimpleCall(const SimpleCall &Other) : AnyFunctionCall(Other) {}
404740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
405740d490593e0de8732a697c9f77b90ddd463863bJordan Rosepublic:
4067c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual const CallExpr *getOriginExpr() const {
407b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose    return cast<CallExpr>(AnyFunctionCall::getOriginExpr());
408b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  }
409740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
4107c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual const FunctionDecl *getDecl() const;
411740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
4127c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual unsigned getNumArgs() const { return getOriginExpr()->getNumArgs(); }
4137c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose
4147c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual const Expr *getArgExpr(unsigned Index) const {
415b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose    return getOriginExpr()->getArg(Index);
416740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  }
417740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
418740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  static bool classof(const CallEvent *CA) {
419740d490593e0de8732a697c9f77b90ddd463863bJordan Rose    return CA->getKind() >= CE_BEG_SIMPLE_CALLS &&
420740d490593e0de8732a697c9f77b90ddd463863bJordan Rose           CA->getKind() <= CE_END_SIMPLE_CALLS;
421740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  }
422740d490593e0de8732a697c9f77b90ddd463863bJordan Rose};
423740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
424740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// \brief Represents a C function or static C++ member function call.
425740d490593e0de8732a697c9f77b90ddd463863bJordan Rose///
426740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// Example: \c fun()
427740d490593e0de8732a697c9f77b90ddd463863bJordan Roseclass FunctionCall : public SimpleCall {
428d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  friend class CallEventManager;
429972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
430d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Roseprotected:
431740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  FunctionCall(const CallExpr *CE, ProgramStateRef St,
432740d490593e0de8732a697c9f77b90ddd463863bJordan Rose               const LocationContext *LCtx)
4337c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose    : SimpleCall(CE, St, LCtx) {}
434740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
435d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  FunctionCall(const FunctionCall &Other) : SimpleCall(Other) {}
436d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  virtual void cloneTo(void *Dest) const { new (Dest) FunctionCall(*this); }
437d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
438d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rosepublic:
4397c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual Kind getKind() const { return CE_Function; }
440b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose
441740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  static bool classof(const CallEvent *CA) {
442740d490593e0de8732a697c9f77b90ddd463863bJordan Rose    return CA->getKind() == CE_Function;
443740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  }
444740d490593e0de8732a697c9f77b90ddd463863bJordan Rose};
445740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
446645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose/// \brief Represents a call to a block.
447645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose///
448645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose/// Example: <tt>^{ /* ... */ }()</tt>
449645baeed6800f952e9ad1d5666e01080385531a2Jordan Roseclass BlockCall : public SimpleCall {
450645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  friend class CallEventManager;
451645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose
452645baeed6800f952e9ad1d5666e01080385531a2Jordan Roseprotected:
453645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  BlockCall(const CallExpr *CE, ProgramStateRef St,
454645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose            const LocationContext *LCtx)
455645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose    : SimpleCall(CE, St, LCtx) {}
456645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose
457645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  BlockCall(const BlockCall &Other) : SimpleCall(Other) {}
458645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  virtual void cloneTo(void *Dest) const { new (Dest) BlockCall(*this); }
459645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose
460645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  virtual void getExtraInvalidatedRegions(RegionList &Regions) const;
461645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose
462645baeed6800f952e9ad1d5666e01080385531a2Jordan Rosepublic:
463645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  /// \brief Returns the region associated with this instance of the block.
464645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  ///
465645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  /// This may be NULL if the block's origin is unknown.
466645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  const BlockDataRegion *getBlockRegion() const;
467645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose
468645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  /// \brief Gets the declaration of the block.
469645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  ///
470645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  /// This is not an override of getDecl() because AnyFunctionCall has already
471645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  /// assumed that it's a FunctionDecl.
472645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  const BlockDecl *getBlockDecl() const {
473645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose    const BlockDataRegion *BR = getBlockRegion();
474645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose    if (!BR)
475645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose      return 0;
476645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose    return BR->getDecl();
477645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  }
478645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose
479ddc0c4814788dda4ef224cd4d22d07154a6ede49Ted Kremenek  virtual RuntimeDefinition getRuntimeDefinition() const {
480645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose    return RuntimeDefinition(getBlockDecl());
481645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  }
482645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose
483645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  virtual void getInitialStackFrameContents(const StackFrameContext *CalleeCtx,
484645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose                                            BindingsTy &Bindings) const;
485645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose
486645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  virtual param_iterator param_begin() const;
487645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  virtual param_iterator param_end() const;
488645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose
489645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  virtual Kind getKind() const { return CE_Block; }
490645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose
491645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  static bool classof(const CallEvent *CA) {
492645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose    return CA->getKind() == CE_Block;
493645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  }
494645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose};
495645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose
496c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose/// \brief Represents a non-static C++ member function call, no matter how
497c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose/// it is written.
498645baeed6800f952e9ad1d5666e01080385531a2Jordan Roseclass CXXInstanceCall : public AnyFunctionCall {
499740d490593e0de8732a697c9f77b90ddd463863bJordan Roseprotected:
5007c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual void getExtraInvalidatedRegions(RegionList &Regions) const;
501740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
502c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose  CXXInstanceCall(const CallExpr *CE, ProgramStateRef St,
5037c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose                  const LocationContext *LCtx)
504645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose    : AnyFunctionCall(CE, St, LCtx) {}
505645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  CXXInstanceCall(const FunctionDecl *D, ProgramStateRef St,
506645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose                  const LocationContext *LCtx)
507645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose    : AnyFunctionCall(D, St, LCtx) {}
508645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose
509c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose
510645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  CXXInstanceCall(const CXXInstanceCall &Other) : AnyFunctionCall(Other) {}
511972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
512c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rosepublic:
5139da59a67a27a4d3fc9d59552f07808a32f85e9d3Jordan Rose  /// \brief Returns the expression representing the implicit 'this' object.
514645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  virtual const Expr *getCXXThisExpr() const { return 0; }
5159da59a67a27a4d3fc9d59552f07808a32f85e9d3Jordan Rose
516ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose  /// \brief Returns the value of the implicit 'this' object.
5176ebea89be233eaba5e29de8cf3524ad150c860bbJordan Rose  virtual SVal getCXXThisVal() const;
518ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose
519645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  virtual const FunctionDecl *getDecl() const;
520645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose
521ddc0c4814788dda4ef224cd4d22d07154a6ede49Ted Kremenek  virtual RuntimeDefinition getRuntimeDefinition() const;
522c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose
523ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose  virtual void getInitialStackFrameContents(const StackFrameContext *CalleeCtx,
524ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose                                            BindingsTy &Bindings) const;
525ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose
526c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose  static bool classof(const CallEvent *CA) {
527c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose    return CA->getKind() >= CE_BEG_CXX_INSTANCE_CALLS &&
528c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose           CA->getKind() <= CE_END_CXX_INSTANCE_CALLS;
529c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose  }
530c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose};
531c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose
532c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose/// \brief Represents a non-static C++ member function call.
533c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose///
534c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose/// Example: \c obj.fun()
535c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Roseclass CXXMemberCall : public CXXInstanceCall {
536d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  friend class CallEventManager;
537972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
538d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Roseprotected:
539740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  CXXMemberCall(const CXXMemberCallExpr *CE, ProgramStateRef St,
540c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Rose                const LocationContext *LCtx)
5417c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose    : CXXInstanceCall(CE, St, LCtx) {}
542740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
543d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  CXXMemberCall(const CXXMemberCall &Other) : CXXInstanceCall(Other) {}
544d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  virtual void cloneTo(void *Dest) const { new (Dest) CXXMemberCall(*this); }
545d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
546d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rosepublic:
5477c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual const CXXMemberCallExpr *getOriginExpr() const {
548645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose    return cast<CXXMemberCallExpr>(CXXInstanceCall::getOriginExpr());
549645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  }
550645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose
551645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  virtual unsigned getNumArgs() const {
552645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose    if (const CallExpr *CE = getOriginExpr())
553645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose      return CE->getNumArgs();
554645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose    return 0;
555645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  }
556645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose
557645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  virtual const Expr *getArgExpr(unsigned Index) const {
558645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose    return getOriginExpr()->getArg(Index);
559740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  }
560740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
5619da59a67a27a4d3fc9d59552f07808a32f85e9d3Jordan Rose  virtual const Expr *getCXXThisExpr() const;
56200b4f64ecb26b031c1f4888f39be6c706156356aJordan Rose
563ddc0c4814788dda4ef224cd4d22d07154a6ede49Ted Kremenek  virtual RuntimeDefinition getRuntimeDefinition() const;
5647c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose
5657c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual Kind getKind() const { return CE_CXXMember; }
566e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose
567740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  static bool classof(const CallEvent *CA) {
568740d490593e0de8732a697c9f77b90ddd463863bJordan Rose    return CA->getKind() == CE_CXXMember;
569740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  }
570740d490593e0de8732a697c9f77b90ddd463863bJordan Rose};
571740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
572fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose/// \brief Represents a C++ overloaded operator call where the operator is
573fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose/// implemented as a non-static member function.
574fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose///
575fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose/// Example: <tt>iter + 1</tt>
576c36b30c92c78b95fd29fb5d9d6214d737b3bcb02Jordan Roseclass CXXMemberOperatorCall : public CXXInstanceCall {
577d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  friend class CallEventManager;
578d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
579972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Roseprotected:
580d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  CXXMemberOperatorCall(const CXXOperatorCallExpr *CE, ProgramStateRef St,
581d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose                        const LocationContext *LCtx)
582d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose    : CXXInstanceCall(CE, St, LCtx) {}
583d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
584972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  CXXMemberOperatorCall(const CXXMemberOperatorCall &Other)
585972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose    : CXXInstanceCall(Other) {}
586972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  virtual void cloneTo(void *Dest) const {
587972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose    new (Dest) CXXMemberOperatorCall(*this);
588972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  }
589972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
590fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rosepublic:
5917c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual const CXXOperatorCallExpr *getOriginExpr() const {
592645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose    return cast<CXXOperatorCallExpr>(CXXInstanceCall::getOriginExpr());
593fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose  }
594fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose
5957c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual unsigned getNumArgs() const {
5967c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose    return getOriginExpr()->getNumArgs() - 1;
5977c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  }
5987c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual const Expr *getArgExpr(unsigned Index) const {
599fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose    return getOriginExpr()->getArg(Index + 1);
600fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose  }
601fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose
6029da59a67a27a4d3fc9d59552f07808a32f85e9d3Jordan Rose  virtual const Expr *getCXXThisExpr() const;
6037c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose
6047c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual Kind getKind() const { return CE_CXXMemberOperator; }
605e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose
606fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose  static bool classof(const CallEvent *CA) {
607fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose    return CA->getKind() == CE_CXXMemberOperator;
608fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose  }
609fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose};
610fdaa33818cf9bad8d092136e73bd2e489cb821baJordan Rose
611645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose/// \brief Represents an implicit call to a C++ destructor.
612740d490593e0de8732a697c9f77b90ddd463863bJordan Rose///
613645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose/// This can occur at the end of a scope (for automatic objects), at the end
614645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose/// of a full-expression (for temporaries), or as part of a delete.
615645baeed6800f952e9ad1d5666e01080385531a2Jordan Roseclass CXXDestructorCall : public CXXInstanceCall {
616d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  friend class CallEventManager;
617d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
618740d490593e0de8732a697c9f77b90ddd463863bJordan Roseprotected:
619200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose  typedef llvm::PointerIntPair<const MemRegion *, 1, bool> DtorDataTy;
620200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose
621645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  /// Creates an implicit destructor.
62269f87c956b3ac2b80124fd9604af012e1061473aJordan Rose  ///
623645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  /// \param DD The destructor that will be called.
624645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  /// \param Trigger The statement whose completion causes this destructor call.
625645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  /// \param Target The object region to be destructed.
626645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  /// \param St The path-sensitive state at this point in the program.
627645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  /// \param LCtx The location context at this point in the program.
628645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  CXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger,
629200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose                    const MemRegion *Target, bool IsBaseDestructor,
630200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose                    ProgramStateRef St, const LocationContext *LCtx)
631645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose    : CXXInstanceCall(DD, St, LCtx) {
632200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose    Data = DtorDataTy(Target, IsBaseDestructor).getOpaqueValue();
633645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose    Location = Trigger->getLocEnd();
634740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  }
635740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
636645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  CXXDestructorCall(const CXXDestructorCall &Other) : CXXInstanceCall(Other) {}
637645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  virtual void cloneTo(void *Dest) const { new (Dest) CXXDestructorCall(*this); }
638ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose
639645baeed6800f952e9ad1d5666e01080385531a2Jordan Rosepublic:
640645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  virtual SourceRange getSourceRange() const { return Location; }
641645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  virtual unsigned getNumArgs() const { return 0; }
642ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose
643ddc0c4814788dda4ef224cd4d22d07154a6ede49Ted Kremenek  virtual RuntimeDefinition getRuntimeDefinition() const;
644200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose
645645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  /// \brief Returns the value of the implicit 'this' object.
646645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  virtual SVal getCXXThisVal() const;
647b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose
648200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose  /// Returns true if this is a call to a base class destructor.
649200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose  bool isBaseDestructor() const {
650200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose    return DtorDataTy::getFromOpaqueValue(Data).getInt();
651200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose  }
652200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose
653645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  virtual Kind getKind() const { return CE_CXXDestructor; }
654b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose
655740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  static bool classof(const CallEvent *CA) {
656645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose    return CA->getKind() == CE_CXXDestructor;
657740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  }
658740d490593e0de8732a697c9f77b90ddd463863bJordan Rose};
659740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
660740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// \brief Represents a call to a C++ constructor.
661740d490593e0de8732a697c9f77b90ddd463863bJordan Rose///
662740d490593e0de8732a697c9f77b90ddd463863bJordan Rose/// Example: \c T(1)
663740d490593e0de8732a697c9f77b90ddd463863bJordan Roseclass CXXConstructorCall : public AnyFunctionCall {
664d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  friend class CallEventManager;
665b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose
666d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Roseprotected:
667d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  /// Creates a constructor call.
668d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  ///
669d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  /// \param CE The constructor expression as written in the source.
670d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  /// \param Target The region where the object should be constructed. If NULL,
671d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  ///               a new symbolic region will be used.
672d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  /// \param St The path-sensitive state at this point in the program.
673d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  /// \param LCtx The location context at this point in the program.
67470517ca5c07c4b41ff8662b94ee22047b0299f8cDmitri Gribenko  CXXConstructorCall(const CXXConstructExpr *CE, const MemRegion *Target,
675740d490593e0de8732a697c9f77b90ddd463863bJordan Rose                     ProgramStateRef St, const LocationContext *LCtx)
6767c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose    : AnyFunctionCall(CE, St, LCtx) {
67770517ca5c07c4b41ff8662b94ee22047b0299f8cDmitri Gribenko    Data = Target;
678b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  }
679740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
680d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  CXXConstructorCall(const CXXConstructorCall &Other) : AnyFunctionCall(Other){}
681d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  virtual void cloneTo(void *Dest) const { new (Dest) CXXConstructorCall(*this); }
682d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
683d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  virtual void getExtraInvalidatedRegions(RegionList &Regions) const;
684d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
685d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rosepublic:
6867c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual const CXXConstructExpr *getOriginExpr() const {
687b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose    return cast<CXXConstructExpr>(AnyFunctionCall::getOriginExpr());
688b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  }
689b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose
6907c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual const CXXConstructorDecl *getDecl() const {
691b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose    return getOriginExpr()->getConstructor();
692740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  }
693740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
6947c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual unsigned getNumArgs() const { return getOriginExpr()->getNumArgs(); }
695740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
6967c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual const Expr *getArgExpr(unsigned Index) const {
697b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose    return getOriginExpr()->getArg(Index);
698740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  }
699740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
700ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose  /// \brief Returns the value of the implicit 'this' object.
701645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  SVal getCXXThisVal() const;
7027c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose
703ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose  virtual void getInitialStackFrameContents(const StackFrameContext *CalleeCtx,
704ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose                                            BindingsTy &Bindings) const;
705ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose
7067c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual Kind getKind() const { return CE_CXXConstructor; }
707e54cfc7b9990acffd0a8a4ba381717b4bb9f3011Jordan Rose
708740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  static bool classof(const CallEvent *CA) {
709740d490593e0de8732a697c9f77b90ddd463863bJordan Rose    return CA->getKind() == CE_CXXConstructor;
710740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  }
711740d490593e0de8732a697c9f77b90ddd463863bJordan Rose};
712740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
7130e020adcb69e91826f4ee14a0c1d381f7b624a34Jordan Rose/// \brief Represents the memory allocation call in a C++ new-expression.
7140e020adcb69e91826f4ee14a0c1d381f7b624a34Jordan Rose///
7150e020adcb69e91826f4ee14a0c1d381f7b624a34Jordan Rose/// This is a call to "operator new".
71670cbf3cc09eb21db1108396d30a414ea66d842ccJordan Roseclass CXXAllocatorCall : public AnyFunctionCall {
717d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  friend class CallEventManager;
718972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
719d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Roseprotected:
720b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  CXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef St,
72170cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose                   const LocationContext *LCtx)
7227c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose    : AnyFunctionCall(E, St, LCtx) {}
72370cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose
724d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  CXXAllocatorCall(const CXXAllocatorCall &Other) : AnyFunctionCall(Other) {}
725d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  virtual void cloneTo(void *Dest) const { new (Dest) CXXAllocatorCall(*this); }
726d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
727d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rosepublic:
7287c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual const CXXNewExpr *getOriginExpr() const {
729b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose    return cast<CXXNewExpr>(AnyFunctionCall::getOriginExpr());
730b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  }
731b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose
7327c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual const FunctionDecl *getDecl() const {
733b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose    return getOriginExpr()->getOperatorNew();
73470cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose  }
73570cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose
7367c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual unsigned getNumArgs() const {
737b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose    return getOriginExpr()->getNumPlacementArgs() + 1;
738b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  }
73970cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose
7407c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual const Expr *getArgExpr(unsigned Index) const {
74170cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose    // The first argument of an allocator call is the size of the allocation.
74270cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose    if (Index == 0)
74370cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose      return 0;
744b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose    return getOriginExpr()->getPlacementArg(Index - 1);
74570cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose  }
74670cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose
7477c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual Kind getKind() const { return CE_CXXAllocator; }
748b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose
74970cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose  static bool classof(const CallEvent *CE) {
75070cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose    return CE->getKind() == CE_CXXAllocator;
75170cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose  }
75270cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose};
75370cbf3cc09eb21db1108396d30a414ea66d842ccJordan Rose
7548919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose/// \brief Represents the ways an Objective-C message send can occur.
7558919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose//
7568919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose// Note to maintainers: OCM_Message should always be last, since it does not
7578919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose// need to fit in the Data field's low bits.
7588919e688dc610d1f632a4d43f7f1489f67255476Jordan Roseenum ObjCMessageKind {
7598919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose  OCM_PropertyAccess,
7608919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose  OCM_Subscript,
7618919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose  OCM_Message
7628919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose};
7638919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose
764cde8cdbd6a662c636164465ad309b5f17ff01064Jordan Rose/// \brief Represents any expression that calls an Objective-C method.
7658919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose///
7668919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose/// This includes all of the kinds listed in ObjCMessageKind.
767cde8cdbd6a662c636164465ad309b5f17ff01064Jordan Roseclass ObjCMethodCall : public CallEvent {
768d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  friend class CallEventManager;
769d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
7708919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose  const PseudoObjectExpr *getContainingPseudoObjectExpr() const;
771cde8cdbd6a662c636164465ad309b5f17ff01064Jordan Rose
7728919e688dc610d1f632a4d43f7f1489f67255476Jordan Roseprotected:
773d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  ObjCMethodCall(const ObjCMessageExpr *Msg, ProgramStateRef St,
774d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose                 const LocationContext *LCtx)
775d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose    : CallEvent(Msg, St, LCtx) {
776d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose    Data = 0;
777d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  }
778d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
779972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  ObjCMethodCall(const ObjCMethodCall &Other) : CallEvent(Other) {}
780972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  virtual void cloneTo(void *Dest) const { new (Dest) ObjCMethodCall(*this); }
781972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
7827c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual void getExtraInvalidatedRegions(RegionList &Regions) const;
783740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
7843f558af01643787d209a133215b0abec81b5fe30Anna Zaks  /// Check if the selector may have multiple definitions (may have overrides).
7853f558af01643787d209a133215b0abec81b5fe30Anna Zaks  virtual bool canBeOverridenInSubclass(ObjCInterfaceDecl *IDecl,
7863f558af01643787d209a133215b0abec81b5fe30Anna Zaks                                        Selector Sel) const;
7873f558af01643787d209a133215b0abec81b5fe30Anna Zaks
788740d490593e0de8732a697c9f77b90ddd463863bJordan Rosepublic:
7897c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual const ObjCMessageExpr *getOriginExpr() const {
7908919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose    return cast<ObjCMessageExpr>(CallEvent::getOriginExpr());
791cde8cdbd6a662c636164465ad309b5f17ff01064Jordan Rose  }
7927c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual const ObjCMethodDecl *getDecl() const {
793b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose    return getOriginExpr()->getMethodDecl();
794b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  }
7957c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual unsigned getNumArgs() const {
796b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose    return getOriginExpr()->getNumArgs();
797b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  }
7987c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual const Expr *getArgExpr(unsigned Index) const {
799b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose    return getOriginExpr()->getArg(Index);
800b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose  }
801740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
8028919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose  bool isInstanceMessage() const {
8038919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose    return getOriginExpr()->isInstanceMessage();
8048919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose  }
8058919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose  ObjCMethodFamily getMethodFamily() const {
8068919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose    return getOriginExpr()->getMethodFamily();
8078919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose  }
8088919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose  Selector getSelector() const {
8098919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose    return getOriginExpr()->getSelector();
8108919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose  }
8118919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose
8127c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual SourceRange getSourceRange() const;
8138919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose
8140e020adcb69e91826f4ee14a0c1d381f7b624a34Jordan Rose  /// \brief Returns the value of the receiver at the time of this call.
815740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  SVal getReceiverSVal() const;
816740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
8175a90193ad825656d4a03099cd5e9c928d1782b5eAnna Zaks  /// \brief Return the value of 'self' if available.
8185a90193ad825656d4a03099cd5e9c928d1782b5eAnna Zaks  SVal getSelfSVal() const;
8195a90193ad825656d4a03099cd5e9c928d1782b5eAnna Zaks
8200e020adcb69e91826f4ee14a0c1d381f7b624a34Jordan Rose  /// \brief Get the interface for the receiver.
8210e020adcb69e91826f4ee14a0c1d381f7b624a34Jordan Rose  ///
8220e020adcb69e91826f4ee14a0c1d381f7b624a34Jordan Rose  /// This works whether this is an instance message or a class message.
8230e020adcb69e91826f4ee14a0c1d381f7b624a34Jordan Rose  /// However, it currently just uses the static type of the receiver.
824cde8cdbd6a662c636164465ad309b5f17ff01064Jordan Rose  const ObjCInterfaceDecl *getReceiverInterface() const {
825b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose    return getOriginExpr()->getReceiverInterface();
826cde8cdbd6a662c636164465ad309b5f17ff01064Jordan Rose  }
827cde8cdbd6a662c636164465ad309b5f17ff01064Jordan Rose
8285a90193ad825656d4a03099cd5e9c928d1782b5eAnna Zaks  /// \brief Checks if the receiver refers to 'self' or 'super'.
8295a90193ad825656d4a03099cd5e9c928d1782b5eAnna Zaks  bool isReceiverSelfOrSuper() const;
8305a90193ad825656d4a03099cd5e9c928d1782b5eAnna Zaks
83109647f28d7955d0c948ebbbb376a46844056f11aJordan Rose  /// Returns how the message was written in the source (property access,
83209647f28d7955d0c948ebbbb376a46844056f11aJordan Rose  /// subscript, or explicit message send).
8338919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose  ObjCMessageKind getMessageKind() const;
8348919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose
83509647f28d7955d0c948ebbbb376a46844056f11aJordan Rose  /// Returns true if this property access or subscript is a setter (has the
83609647f28d7955d0c948ebbbb376a46844056f11aJordan Rose  /// form of an assignment).
8378919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose  bool isSetter() const {
8388919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose    switch (getMessageKind()) {
8398919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose    case OCM_Message:
8408919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose      llvm_unreachable("This is not a pseudo-object access!");
8418919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose    case OCM_PropertyAccess:
8428919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose      return getNumArgs() > 0;
8438919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose    case OCM_Subscript:
8448919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose      return getNumArgs() > 1;
8458919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose    }
8468919e688dc610d1f632a4d43f7f1489f67255476Jordan Rose    llvm_unreachable("Unknown message kind");
847740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  }
848740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
849ddc0c4814788dda4ef224cd4d22d07154a6ede49Ted Kremenek  virtual RuntimeDefinition getRuntimeDefinition() const;
850ee158bc29bc12ce544996f7cdfde14aba63acf4dJordan Rose
851ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose  virtual void getInitialStackFrameContents(const StackFrameContext *CalleeCtx,
852ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose                                            BindingsTy &Bindings) const;
853ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose
854ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose  virtual param_iterator param_begin() const;
855ef15831780b705475e7b237ac16418e9b53cb7a6Jordan Rose  virtual param_iterator param_end() const;
856b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose
8577c99aa385178c630e29f671299cdd9c104f1c885Jordan Rose  virtual Kind getKind() const { return CE_ObjCMessage; }
858b7a23e05d1d8f07f2a6edce5c88c728fe894c2c7Jordan Rose
859740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  static bool classof(const CallEvent *CA) {
860740d490593e0de8732a697c9f77b90ddd463863bJordan Rose    return CA->getKind() == CE_ObjCMessage;
861740d490593e0de8732a697c9f77b90ddd463863bJordan Rose  }
862740d490593e0de8732a697c9f77b90ddd463863bJordan Rose};
863740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
864972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
865972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// \brief Manages the lifetime of CallEvent objects.
866972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose///
867972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// CallEventManager provides a way to create arbitrary CallEvents "on the
868972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// stack" as if they were value objects by keeping a cache of CallEvent-sized
869972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// memory blocks. The CallEvents created by CallEventManager are only valid
870972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// for the lifetime of the OwnedCallEvent that holds them; right now these
871972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose/// objects cannot be copied and ownership cannot be transferred.
872972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Roseclass CallEventManager {
873972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  friend class CallEvent;
874972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
875972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  llvm::BumpPtrAllocator &Alloc;
876d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  SmallVector<void *, 8> Cache;
877972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
878972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  void reclaim(const void *Memory) {
879972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose    Cache.push_back(const_cast<void *>(Memory));
880972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  }
881972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
882972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  /// Returns memory that can be initialized as a CallEvent.
883972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  void *allocate() {
884972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose    if (Cache.empty())
885972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose      return Alloc.Allocate<FunctionCall>();
886972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose    else
887972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose      return Cache.pop_back_val();
888972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  }
889972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
890d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  template <typename T, typename Arg>
891d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  T *create(Arg A, ProgramStateRef St, const LocationContext *LCtx) {
892d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose    return new (allocate()) T(A, St, LCtx);
893d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  }
894d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
895d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  template <typename T, typename Arg1, typename Arg2>
896d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  T *create(Arg1 A1, Arg2 A2, ProgramStateRef St, const LocationContext *LCtx) {
897d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose    return new (allocate()) T(A1, A2, St, LCtx);
898d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  }
899d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
900d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  template <typename T, typename Arg1, typename Arg2, typename Arg3>
901d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  T *create(Arg1 A1, Arg2 A2, Arg3 A3, ProgramStateRef St,
902d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose            const LocationContext *LCtx) {
903d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose    return new (allocate()) T(A1, A2, A3, St, LCtx);
904d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  }
905d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
906200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose  template <typename T, typename Arg1, typename Arg2, typename Arg3,
907200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose            typename Arg4>
908200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose  T *create(Arg1 A1, Arg2 A2, Arg3 A3, Arg4 A4, ProgramStateRef St,
909200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose            const LocationContext *LCtx) {
910200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose    return new (allocate()) T(A1, A2, A3, A4, St, LCtx);
911200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose  }
912200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose
913972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rosepublic:
914972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  CallEventManager(llvm::BumpPtrAllocator &alloc) : Alloc(alloc) {}
915d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
91657c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose
91757c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose  CallEventRef<>
91857c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose  getCaller(const StackFrameContext *CalleeCtx, ProgramStateRef State);
91957c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose
92057c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose
921645baeed6800f952e9ad1d5666e01080385531a2Jordan Rose  CallEventRef<>
922d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  getSimpleCall(const CallExpr *E, ProgramStateRef State,
923d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose                const LocationContext *LCtx);
924d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
925d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  CallEventRef<ObjCMethodCall>
926d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  getObjCMethodCall(const ObjCMessageExpr *E, ProgramStateRef State,
927d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose                    const LocationContext *LCtx) {
928d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose    return create<ObjCMethodCall>(E, State, LCtx);
929d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  }
930d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
931d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  CallEventRef<CXXConstructorCall>
932d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  getCXXConstructorCall(const CXXConstructExpr *E, const MemRegion *Target,
933d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose                        ProgramStateRef State, const LocationContext *LCtx) {
934d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose    return create<CXXConstructorCall>(E, Target, State, LCtx);
935d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  }
936d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
937d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  CallEventRef<CXXDestructorCall>
938d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  getCXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger,
939200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose                       const MemRegion *Target, bool IsBase,
940200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose                       ProgramStateRef State, const LocationContext *LCtx) {
941200fa2e70d52ae6d620e81cd45536071fdde70c0Jordan Rose    return create<CXXDestructorCall>(DD, Trigger, Target, IsBase, State, LCtx);
942d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  }
943d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
944d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  CallEventRef<CXXAllocatorCall>
945d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  getCXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef State,
946d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose                      const LocationContext *LCtx) {
947d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose    return create<CXXAllocatorCall>(E, State, LCtx);
948d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  }
949972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose};
950972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
951972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
952972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rosetemplate <typename T>
953d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan RoseCallEventRef<T> CallEvent::cloneWithState(ProgramStateRef NewState) const {
954972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  assert(isa<T>(*this) && "Cloning to unrelated type");
955972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  assert(sizeof(T) == sizeof(CallEvent) && "Subclasses may not add fields");
956972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
957d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose  if (NewState == State)
958d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose    return cast<T>(this);
959d563d3fb73879df7147b8a5302c3bf0e1402ba18Jordan Rose
960972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  CallEventManager &Mgr = State->getStateManager().getCallEventManager();
961972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  T *Copy = static_cast<T *>(Mgr.allocate());
962972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  cloneTo(Copy);
963972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  assert(Copy->getKind() == this->getKind() && "Bad copy");
964972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
965972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  Copy->State = NewState;
966972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  return Copy;
967972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose}
968972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
969972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Roseinline void CallEvent::Release() const {
970972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  assert(RefCount > 0 && "Reference count is already zero.");
971972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  --RefCount;
972972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
973972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  if (RefCount > 0)
974972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose    return;
975972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
976972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  CallEventManager &Mgr = State->getStateManager().getCallEventManager();
977972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  Mgr.reclaim(this);
978972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
979972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose  this->~CallEvent();
980972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose}
981972a3680bdd95f2e9d6316b391f1c47513dc78ccJordan Rose
982740d490593e0de8732a697c9f77b90ddd463863bJordan Rose} // end namespace ento
983740d490593e0de8732a697c9f77b90ddd463863bJordan Rose} // end namespace clang
984740d490593e0de8732a697c9f77b90ddd463863bJordan Rose
98557c033621dacd8720ac9ff65a09025f14f70e22fJordan Rosenamespace llvm {
98657c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose  // Support isa<>, cast<>, and dyn_cast<> for CallEventRef.
98757c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose  template<class T> struct simplify_type< clang::ento::CallEventRef<T> > {
98857c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose    typedef const T *SimpleType;
98957c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose
99057c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose    static SimpleType
99157c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose    getSimplifiedValue(const clang::ento::CallEventRef<T>& Val) {
99257c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose      return Val.getPtr();
99357c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose    }
99457c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose  };
99557c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose}
99657c033621dacd8720ac9ff65a09025f14f70e22fJordan Rose
997740d490593e0de8732a697c9f77b90ddd463863bJordan Rose#endif
998