clang  14.0.0git
Classes | Namespaces | Typedefs | Enumerations
RetainSummaryManager.h File Reference
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/ImmutableMap.h"
#include "clang/AST/Attr.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/ParentMap.h"
#include "clang/Analysis/AnyCall.h"
#include "clang/Analysis/SelectorExtras.h"
#include "llvm/ADT/STLExtras.h"
Include dependency graph for RetainSummaryManager.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  clang::ento::ArgEffect
 An ArgEffect summarizes the retain count behavior on an argument or receiver to a function or method. More...
 
class  clang::ento::RetEffect
 RetEffect summarizes a call's retain/release behavior with respect to its return value. More...
 
class  clang::ento::ObjCSummaryKey
 A key identifying a summary. More...
 
struct  llvm::FoldingSetTrait< ArgEffect >
 
struct  llvm::FoldingSetTrait< RetEffect >
 
struct  llvm::DenseMapInfo< ObjCSummaryKey >
 
class  clang::ento::RetainSummary
 Summary for a function with respect to ownership changes. More...
 
class  clang::ento::ObjCSummaryCache
 
class  clang::ento::RetainSummaryManager
 
class  clang::ento::RetainSummaryTemplate
 

Namespaces

 clang
 
 clang::ento
 
 llvm
 

Typedefs

typedef llvm::ImmutableMap< unsigned, ArgEffectclang::ento::ArgEffects
 ArgEffects summarizes the effects of a function/method call on all of its arguments. More...
 

Enumerations

enum  clang::ento::ObjKind {
  clang::ento::ObjKind::CF, clang::ento::ObjKind::ObjC, clang::ento::ObjKind::AnyObj, clang::ento::ObjKind::Generalized,
  clang::ento::ObjKind::OS
}
 Determines the object kind of a tracked object. More...
 
enum  clang::ento::ArgEffectKind {
  clang::ento::DoNothing, clang::ento::Autorelease, clang::ento::Dealloc, clang::ento::DecRef,
  clang::ento::DecRefBridgedTransferred, clang::ento::IncRef, clang::ento::UnretainedOutParameter, clang::ento::RetainedOutParameter,
  clang::ento::RetainedOutParameterOnZero, clang::ento::RetainedOutParameterOnNonZero, clang::ento::MayEscape, clang::ento::StopTracking,
  clang::ento::StopTrackingHard, clang::ento::DecRefAndStopTrackingHard
}