Home
last modified time | relevance | path

Searched refs:ConstCFGElementRef (Results 1 – 25 of 28) sorted by relevance

12

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCallEvent.h161 CFGBlock::ConstCFGElementRef ElemRef = {nullptr, 0};
185 CFGBlock::ConstCFGElementRef ElemRef) in CallEvent()
189 CFGBlock::ConstCFGElementRef ElemRef) in CallEvent()
240 const CFGBlock::ConstCFGElementRef &getCFGElementRef() const { in getCFGElementRef()
503 CFGBlock::ConstCFGElementRef ElemRef) in AnyFunctionCall()
507 CFGBlock::ConstCFGElementRef ElemRef) in AnyFunctionCall()
542 CFGBlock::ConstCFGElementRef ElemRef) in SimpleFunctionCall()
581 CFGBlock::ConstCFGElementRef ElemRef) in BlockCall()
683 CFGBlock::ConstCFGElementRef ElemRef) in CXXInstanceCall()
687 CFGBlock::ConstCFGElementRef ElemRef) in CXXInstanceCall()
[all …]
H A DSValBuilder.h175 const SymbolConjured *conjureSymbol(ConstCFGElementRef Elem,
195 ConstCFGElementRef elem,
199 ConstCFGElementRef elem,
202 DefinedOrUnknownSVal conjureSymbolVal(ConstCFGElementRef elem,
213 DefinedSVal getConjuredHeapSymbolVal(ConstCFGElementRef elem,
H A DLoopWidening.h31 ConstCFGElementRef Elem);
H A DSymbolManager.h83 ConstCFGElementRef Elem;
90 SymbolConjured(SymbolID sym, ConstCFGElementRef elem, in SymbolConjured()
100 ConstCFGElementRef getCFGElementRef() const { return Elem; } in getCFGElementRef()
115 static void Profile(llvm::FoldingSetNodeID &profile, ConstCFGElementRef Elem, in Profile()
537 const SymbolConjured *conjureSymbol(ConstCFGElementRef Elem,
H A DStore.h244 Store store, ArrayRef<SVal> Values, ConstCFGElementRef Elem,
H A DCheckerContext.h156 ConstCFGElementRef getCFGElementRef() const { return Eng.getCFGElementRef(); } in getCFGElementRef()
H A DProgramState.h329 ConstCFGElementRef Elem, unsigned BlockCount,
336 invalidateRegions(ArrayRef<SVal> Values, ConstCFGElementRef Elem,
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorModeling.cpp92 ConstCFGElementRef, SVal, SVal,
102 ConstCFGElementRef Elem, SVal RetVal, SVal LVal,
111 void handleRandomIncrOrDecr(CheckerContext &C, ConstCFGElementRef Elem,
115 ConstCFGElementRef Elem, OverloadedOperatorKind OK,
117 void handleAdvance(CheckerContext &C, ConstCFGElementRef Elem, SVal RetVal,
119 void handlePrev(CheckerContext &C, ConstCFGElementRef Elem, SVal RetVal,
121 void handleNext(CheckerContext &C, ConstCFGElementRef Elem, SVal RetVal,
123 void assignToContainer(CheckerContext &C, ConstCFGElementRef Elem,
450 ConstCFGElementRef Elem, SVal RetVal, in handleComparison()
591 ConstCFGElementRef Elem, in handleRandomIncrOrDecr()
[all …]
H A DContainerModeling.cpp35 void handleBegin(CheckerContext &C, ConstCFGElementRef Elem, SVal RetVal,
37 void handleEnd(CheckerContext &C, ConstCFGElementRef Elem, SVal RetVal,
39 void handleAssignment(CheckerContext &C, SVal Cont, ConstCFGElementRef Elem,
111 ConstCFGElementRef Elem, QualType T,
115 ConstCFGElementRef Elem, QualType T,
253 void ContainerModeling::handleBegin(CheckerContext &C, ConstCFGElementRef Elem, in handleBegin()
275 void ContainerModeling::handleEnd(CheckerContext &C, ConstCFGElementRef Elem, in handleEnd()
298 ConstCFGElementRef Elem, in handleAssignment()
853 ConstCFGElementRef Elem, QualType T, in createContainerBegin()
876 ConstCFGElementRef Elem, QualType T, in createContainerEnd()
H A DErrnoModeling.h102 ConstCFGElementRef Elem);
H A DCStringChecker.cpp274 const Expr *BufE, ConstCFGElementRef Elem,
279 CheckerContext &C, ProgramStateRef S, ConstCFGElementRef Elem, SVal BufV);
284 CheckerContext &C, ProgramStateRef S, ConstCFGElementRef Elem, SVal BufV);
289 ConstCFGElementRef Elem,
296 CheckerContext &C, ProgramStateRef State, ConstCFGElementRef Elem, SVal V,
304 static bool memsetAux(const Expr *DstBuffer, ConstCFGElementRef Elem,
1214 ConstCFGElementRef Elem, SVal BufV, SVal SizeV, QualType SizeTy) { in invalidateDestinationBufferBySize()
1234 CheckerContext &C, ProgramStateRef S, ConstCFGElementRef Elem, SVal BufV) { in invalidateDestinationBufferAlwaysEscapeSuperRegion()
1244 CheckerContext &C, ProgramStateRef S, ConstCFGElementRef Elem, SVal BufV) { in invalidateDestinationBufferNeverOverflows()
1259 ConstCFGElementRef Elem, in invalidateSourceBuffer()
[all …]
H A DIterator.h169 ConstCFGElementRef Elem,
H A DSmartPtrModeling.cpp81 ConstCFGElementRef Elem, QualType Type, CheckerContext &C) const;
437 ProgramStateRef State, const MemRegion *ThisRegion, ConstCFGElementRef Elem, in retrieveOrConjureInnerPtrVal()
469 ConstCFGElementRef Elem, in handleComparisionOp()
H A DErrnoModeling.cpp257 ConstCFGElementRef Elem) { in setErrnoStdMustBeChecked()
H A DIterator.cpp211 ConstCFGElementRef Elem, in createIteratorPosition()
H A DStreamChecker.cpp227 DefinedSVal makeRetVal(CheckerContext &C, ConstCFGElementRef Elem) { in makeRetVal()
235 const CallExpr *CE, ConstCFGElementRef Elem) { in bindAndAssumeTrue()
646 std::optional<ConstCFGElementRef> Elem;
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/
H A DProgramPoint.h104 CFGBlock::ConstCFGElementRef ElemRef = {nullptr, 0};
110 CFGBlock::ConstCFGElementRef ElemRef = {nullptr, 0})
121 CFGBlock::ConstCFGElementRef ElemRef = {nullptr, 0})
130 CFGBlock::ConstCFGElementRef getElementRef() const { return ElemRef; } in getElementRef()
568 CFGBlock::ConstCFGElementRef ElemRef) in ImplicitCallPoint()
592 CFGBlock::ConstCFGElementRef ElemRef,
610 CFGBlock::ConstCFGElementRef ElemRef,
H A DCFG.h921 using ConstCFGElementRef = ElementRefImpl<true>; variable
1199 using ConstCFGElementRef = CFGBlock::ConstCFGElementRef; variable
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineObjC.cpp48 const ObjCForCollectionStmt *S, ConstCFGElementRef elem, SVal elementV, in populateObjCForDestinationSet()
113 const ConstCFGElementRef &elemRef = getCFGElementRef(); in VisitObjCForCollectionStmt()
H A DLoopWidening.cpp32 ConstCFGElementRef Elem) { in getWidenedLoopState()
H A DSValBuilder.cpp155 ConstCFGElementRef elem, in conjureSymbolVal()
175 ConstCFGElementRef elem, in conjureSymbolVal()
193 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(ConstCFGElementRef elem, in conjureSymbolVal()
216 DefinedSVal SValBuilder::getConjuredHeapSymbolVal(ConstCFGElementRef elem, in getConjuredHeapSymbolVal()
H A DProgramState.cpp151 RegionList Regions, ConstCFGElementRef Elem, unsigned Count, in invalidateRegions()
164 ValueList Values, ConstCFGElementRef Elem, unsigned Count, in invalidateRegions()
H A DCallEvent.cpp1425 CFGBlock::ConstCFGElementRef ElemRef) { in getSimpleCall()
1452 CFGBlock::ConstCFGElementRef ElemRef = {CalleeCtx->getCallSiteBlock(), in getCaller()
1507 CFGBlock::ConstCFGElementRef ElemRef) { in getCall()
H A DRegionStore.cpp565 invalidateGlobalRegion(MemRegion::Kind K, ConstCFGElementRef Elem,
570 ConstCFGElementRef Elem, unsigned Count,
1148 ConstCFGElementRef Elem;
1157 RegionBindingsRef b, ConstCFGElementRef elem, in InvalidateRegionsWorker()
1423 MemRegion::Kind K, ConstCFGElementRef Elem, unsigned Count, in invalidateGlobalRegion()
1466 Store store, ArrayRef<SVal> Values, ConstCFGElementRef Elem, unsigned Count, in invalidateRegions()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h33 std::string printCFGElementRef(ConstCFGElementRef Elem) { in printCFGElementRef()

12