clang
3.9.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/AST/ParentMap.h"
#include "clang/Analysis/ProgramPoint.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/DynamicTypeMap.h"
#include "llvm/ADT/SmallSet.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/Support/raw_ostream.h"
Go to the source code of this file.
Typedefs | |
typedef llvm::PointerIntPair < const PseudoObjectExpr *, 2 > | ObjCMessageDataTy |
Functions | |
static bool | isCallback (QualType T) |
static bool | isVoidPointerToNonConst (QualType T) |
static bool | isPointerToConst (QualType Ty) |
Returns true if a type is a pointer-to-const or reference-to-const with no further indirection. More... | |
static void | findPtrToConstParams (llvm::SmallSet< unsigned, 4 > &PreserveArgs, const CallEvent &Call) |
static void | addParameterValuesToBindings (const StackFrameContext *CalleeCtx, CallEvent::BindingsTy &Bindings, SValBuilder &SVB, const CallEvent &Call, ArrayRef< ParmVarDecl * > parameters) |
static const Expr * | getSyntacticFromForPseudoObjectExpr (const PseudoObjectExpr *POE) |
typedef llvm::PointerIntPair<const PseudoObjectExpr *, 2> ObjCMessageDataTy |
Definition at line 752 of file CallEvent.cpp.
|
static |
Definition at line 313 of file CallEvent.cpp.
References E, clang::ento::CallEvent::getArgSVal(), clang::ento::CallEvent::getNumArgs(), clang::ento::SValBuilder::getRegionManager(), clang::ento::MemRegionManager::getVarRegion(), I, clang::ento::SVal::isUnknown(), clang::ento::SValBuilder::makeLoc(), and clang::NumArgs.
Referenced by clang::ento::AnyFunctionCall::getInitialStackFrameContents(), clang::BlockCall::getInitialStackFrameContents(), and clang::ObjCMethodCall::getInitialStackFrameContents().
|
static |
Definition at line 145 of file CallEvent.cpp.
References E, I, isPointerToConst(), clang::ento::CallEvent::param_type_begin(), and clang::ento::CallEvent::param_type_end().
Referenced by clang::ento::CallEvent::invalidateRegions().
|
static |
Definition at line 761 of file CallEvent.cpp.
References clang::PseudoObjectExpr::getSyntacticForm().
Referenced by clang::ObjCMethodCall::getAccessedProperty(), and clang::ObjCMethodCall::getMessageKind().
Definition at line 53 of file CallEvent.cpp.
References clang::RecordDecl::fields(), clang::Type::getAsStructureType(), clang::Type::getPointeeType(), I, clang::Type::isAnyPointerType(), clang::Type::isBlockPointerType(), clang::Type::isFunctionPointerType(), clang::Type::isObjCSelType(), and clang::Type::isReferenceType().
Referenced by clang::ento::CallEvent::hasNonZeroCallbackArg().
Returns true if a type is a pointer-to-const or reference-to-const with no further indirection.
Definition at line 131 of file CallEvent.cpp.
References clang::Type::getPointeeType(), clang::Type::isAnyPointerType(), and clang::QualType::isConstQualified().
Referenced by findPtrToConstParams().
Definition at line 77 of file CallEvent.cpp.
References clang::Type::getAs(), clang::Type::getPointeeType(), clang::QualType::isConstQualified(), and clang::Type::isVoidType().
Referenced by clang::ento::CallEvent::hasVoidPointerToNonConstArg().