clang: lib/StaticAnalyzer/Checkers/NoOwnershipChangeVisitor.h Source File (original) (raw)
1
2
3
4
5
6
7
8
12
14namespace ento {
15
17protected:
18
21
22 LLVM_DUMP_METHOD static std::string
24
25
26
27
28
31
34
37
39
43
44 return nullptr;
45 }
46
50
51 return nullptr;
52 }
53
54
58
59public:
61
62private:
64
65public:
69
70 void Profile(llvm::FoldingSetNodeID &ID) const override {
71 static int Tag = 0;
72 ID.AddPointer(&Tag);
74 }
75};
76}
77}
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Decl - This represents one declaration (or definition), e.g.
Represents a call to a C++ constructor.
Represents an abstract call to a function or method along a particular path.
static LLVM_DUMP_METHOD std::string getFunctionName(const ExplodedNode *CallEnterN)
PathDiagnosticPieceRef maybeEmitNoteForObjCSelf(PathSensitiveBugReport &R, const ObjCMethodCall &Call, const ExplodedNode *N) final
Consume the information on the non-modifying stack frame in order to either emit a note or not.
virtual bool doesFnIntendToHandleOwnership(const Decl *Callee, ASTContext &ACtx)=0
Heuristically guess whether the callee intended to free the resource.
PathDiagnosticPieceRef maybeEmitNoteForCXXThis(PathSensitiveBugReport &R, const CXXConstructorCall &Call, const ExplodedNode *N) final
Consume the information on the non-modifying stack frame in order to either emit a note or not.
const CheckerBase & Checker
void Profile(llvm::FoldingSetNodeID &ID) const override
bool wasModifiedInFunction(const ExplodedNode *CallEnterN, const ExplodedNode *CallExitEndN) final
PathDiagnosticPieceRef maybeEmitNoteForParameters(PathSensitiveBugReport &R, const CallEvent &Call, const ExplodedNode *N) final
Consume the information on the non-modifying stack frame in order to either emit a note or not.
NoOwnershipChangeVisitor(SymbolRef Sym, const CheckerBase *Checker)
virtual PathDiagnosticPieceRef emitNote(const ExplodedNode *N)=0
virtual bool hasResourceStateChanged(ProgramStateRef CallEnterState, ProgramStateRef CallExitEndState)=0
Put a diagnostic on return statement (or on } in its absence) of all inlined functions for which some...
Represents any expression that calls an Objective-C method.
std::shared_ptr< PathDiagnosticPiece > PathDiagnosticPieceRef
The JSON file list parser is used to communicate input to InstallAPI.