| /llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineC.cpp | 31 unsigned Count, const LocationContext *LCtx) { in conjureOffsetSymbolOnLocation()
57 const LocationContext *LCtx = (*it)->getLocationContext(); in VisitBinaryOperator() local
138 const LocationContext *LCtx = N->getLocationContext(); in VisitBinaryOperator() local
233 const LocationContext *LCtx = Pred->getLocationContext(); in VisitBlockExpr() local
255 ProgramStateRef state, const Expr* Ex, const LocationContext* LCtx, in handleLValueBitCast()
292 const LocationContext *LCtx = subExprNode->getLocationContext(); in VisitCast() local
308 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast() local
337 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast() local
546 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCompoundLiteralExpr() local
741 const LocationContext *LCtx = Pred->getLocationContext(); in VisitInitListExpr() local
[all …]
|
| H A D | PrettyStackTraceLocationContext.h | 29 const LocationContext *LCtx; variable
|
| H A D | ExprEngineCXX.cpp | 36 const LocationContext *LCtx = Pred->getLocationContext(); in CreateCXXTemporaryObject() local
64 const LocationContext *LCtx = Pred->getLocationContext(); in performTrivialCopy() local
123 computeObjectUnderConstruction(const Expr * E,ProgramStateRef State,const NodeBuilderContext * BldrCtx,const LocationContext * LCtx,const ConstructionContext * CC,EvalCallOptions & CallOpts,unsigned Idx) computeObjectUnderConstruction() argument
400 updateObjectsUnderConstruction(SVal V,const Expr * E,ProgramStateRef State,const LocationContext * LCtx,const ConstructionContext * CC,const EvalCallOptions & CallOpts) updateObjectsUnderConstruction() argument
516 bindRequiredArrayElementToEnvironment(ProgramStateRef State,const ArrayInitLoopExpr * AILE,const LocationContext * LCtx,SVal Idx) bindRequiredArrayElementToEnvironment() argument
589 const LocationContext *LCtx = Pred->getLocationContext(); handleConstructor() local
864 const LocationContext *LCtx = Pred->getLocationContext(); VisitCXXDestructor() local
927 const LocationContext *LCtx = Pred->getLocationContext(); VisitCXXNewAllocatorCall() local
1003 const LocationContext *LCtx = Pred->getLocationContext(); VisitCXXNewExpr() local
1157 const LocationContext *LCtx = Pred->getLocationContext(); VisitCXXCatchStmt() local
1172 const LocationContext *LCtx = Pred->getLocationContext(); VisitCXXThisExpr() local
[all...] |
| H A D | ExprEngine.cpp | 477 const LocationContext *LCtx, unsigned Idx) { in setIndexOfElementToConstruct() argument
487 const LocationContext *LCtx) { in getPendingInitLoop() argument
494 const LocationContext *LCtx) { in removePendingInitLoop() argument
503 const LocationContext *LCtx, in setPendingInitLoop() argument
515 const LocationContext *LCtx) { in getIndexOfElementToConstruct() argument
524 removeIndexOfElementToConstruct(ProgramStateRef State,const CXXConstructExpr * E,const LocationContext * LCtx) removeIndexOfElementToConstruct() argument
533 getPendingArrayDestruction(ProgramStateRef State,const LocationContext * LCtx) getPendingArrayDestruction() argument
542 setPendingArrayDestruction(ProgramStateRef State,const LocationContext * LCtx,unsigned Idx) setPendingArrayDestruction() argument
552 removePendingArrayDestruction(ProgramStateRef State,const LocationContext * LCtx) removePendingArrayDestruction() argument
677 processRegionChanges(ProgramStateRef state,const InvalidatedSymbols * invalidated,ArrayRef<const MemRegion * > Explicits,ArrayRef<const MemRegion * > Regions,const LocationContext * LCtx,const CallEvent * Call) processRegionChanges() argument
686 printObjectsUnderConstructionJson(raw_ostream & Out,ProgramStateRef State,const char * NL,const LocationContext * LCtx,unsigned int Space=0,bool IsDot=false) printObjectsUnderConstructionJson() argument
733 printIndicesOfElementsToConstructJson(raw_ostream & Out,ProgramStateRef State,const char * NL,const LocationContext * LCtx,unsigned int Space=0,bool IsDot=false) printIndicesOfElementsToConstructJson() argument
795 printPendingInitLoopJson(raw_ostream & Out,ProgramStateRef State,const char * NL,const LocationContext * LCtx,unsigned int Space=0,bool IsDot=false) printPendingInitLoopJson() argument
855 printPendingArrayDestructionsJson(raw_ostream & Out,ProgramStateRef State,const char * NL,const LocationContext * LCtx,unsigned int Space=0,bool IsDot=false) printPendingArrayDestructionsJson() argument
911 printStateTraitWithLocationContextJson(raw_ostream & Out,ProgramStateRef State,const LocationContext * LCtx,const char * NL,unsigned int Space,bool IsDot,const char * jsonPropertyName,Printer printer,Args &&...args) printStateTraitWithLocationContextJson() argument
940 printJson(raw_ostream & Out,ProgramStateRef State,const LocationContext * LCtx,const char * NL,unsigned int Space,bool IsDot) const printJson() argument
1257 prepareStateForArrayDestruction(const ProgramStateRef State,const MemRegion * Region,const QualType & ElementTy,const LocationContext * LCtx,SVal * ElementCountVal) prepareStateForArrayDestruction() argument
1329 const LocationContext *LCtx = Pred->getLocationContext(); ProcessNewAllocator() local
1345 const LocationContext *LCtx = Pred->getLocationContext(); ProcessAutomaticObjDtor() local
1413 const LocationContext *LCtx = Pred->getLocationContext(); ProcessDeleteDtor() local
1487 const LocationContext *LCtx = Pred->getLocationContext(); ProcessBaseDtor() local
1511 const LocationContext *LCtx = Pred->getLocationContext(); ProcessMemberDtor() local
1992 const LocationContext *LCtx = Pred->getLocationContext(); Visit() local
2025 const LocationContext *LCtx = N->getLocationContext(); Visit() local
2130 const LocationContext *LCtx = Pred->getLocationContext(); Visit() local
2530 const LocationContext *LCtx = Pred->getLocationContext(); processCFGBlockEntrance() local
2579 RecoverCastedSymbol(ProgramStateRef state,const Stmt * Condition,const LocationContext * LCtx,ASTContext & Ctx) RecoverCastedSymbol() argument
2757 const LocationContext *LCtx = Pred->getLocationContext(); processBranch() local
3067 const LocationContext *LCtx = Pred->getLocationContext(); VisitCommonDeclRefExpr() local
3218 const LocationContext *LCtx = Node->getLocationContext(); VisitArrayInitLoopExpr() local
3320 const LocationContext *LCtx = Node->getLocationContext(); VisitArraySubscriptExpr() local
3370 const LocationContext *LCtx = I->getLocationContext(); VisitMemberExpr() local
3451 const LocationContext *LCtx = I->getLocationContext(); VisitAtomicExpr() local
3484 processPointerEscapedOnBind(ProgramStateRef State,ArrayRef<std::pair<SVal,SVal>> LocAndVals,const LocationContext * LCtx,PointerEscapeKind Kind,const CallEvent * Call) processPointerEscapedOnBind() argument
3525 processPointerEscapedOnBind(ProgramStateRef State,SVal Loc,SVal Val,const LocationContext * LCtx) processPointerEscapedOnBind() argument
3680 const LocationContext *LCtx = I->getLocationContext(); evalLoad() local
[all...] |
| H A D | ProgramState.cpp | 92 ProgramStateRef state, const StackFrameContext *LCtx, in removeDeadBindingsFromEnvironmentAndStore() argument
116 const LocationContext *LCtx, in bindLoc() argument
153 invalidateRegions(RegionList Regions,const Expr * E,unsigned Count,const LocationContext * LCtx,bool CausedByPointerEscape,InvalidatedSymbols * IS,const CallEvent * Call,RegionAndSymbolInvalidationTraits * ITraits) const invalidateRegions() argument
169 invalidateRegions(ValueList Values,const Expr * E,unsigned Count,const LocationContext * LCtx,bool CausedByPointerEscape,InvalidatedSymbols * IS,const CallEvent * Call,RegionAndSymbolInvalidationTraits * ITraits) const invalidateRegions() argument
182 invalidateRegionsImpl(ValueList Values,const Expr * E,unsigned Count,const LocationContext * LCtx,bool CausedByPointerEscape,InvalidatedSymbols * IS,RegionAndSymbolInvalidationTraits * ITraits,const CallEvent * Call) const invalidateRegionsImpl() argument
316 BindExpr(const Stmt * S,const LocationContext * LCtx,SVal V,bool Invalidate) const BindExpr() argument
490 printJson(raw_ostream & Out,const LocationContext * LCtx,const char * NL,unsigned int Space,bool IsDot) const printJson() argument
517 printDOT(raw_ostream & Out,const LocationContext * LCtx,unsigned int Space) const printDOT() argument
[all...] |
| H A D | Environment.cpp | 98 const LocationContext *LCtx = Entry.getLocationContext(); in getSVal() local
218 const LocationContext *LCtx, const char *NL, in printJson()
|
| H A D | LoopWidening.cpp | 47 const LocationContext *LCtx, in getWidenedLoopState()
|
| H A D | SValBuilder.cpp | 160 conjureSymbolVal(const void * SymbolTag,const Expr * Ex,const LocationContext * LCtx,unsigned Count) conjureSymbolVal() argument
178 conjureSymbolVal(const void * symbolTag,const Expr * expr,const LocationContext * LCtx,QualType type,unsigned count) conjureSymbolVal() argument
196 conjureSymbolVal(const Stmt * stmt,const LocationContext * LCtx,QualType type,unsigned visitCount) conjureSymbolVal() argument
215 getConjuredHeapSymbolVal(const Expr * E,const LocationContext * LCtx,unsigned VisitCount) getConjuredHeapSymbolVal() argument
223 getConjuredHeapSymbolVal(const Expr * E,const LocationContext * LCtx,QualType type,unsigned VisitCount) getConjuredHeapSymbolVal() argument
235 getAllocaRegionVal(const Expr * E,const LocationContext * LCtx,unsigned VisitCount) getAllocaRegionVal() argument
245 getMetadataSymbolVal(const void * symbolTag,const MemRegion * region,const Expr * expr,QualType type,const LocationContext * LCtx,unsigned count) getMetadataSymbolVal() argument
[all...] |
| H A D | ExprEngineCallAndReturn.cpp | 183 const LocationContext *LCtx = Pred->getLocationContext(); in removeDeadOnEndOfFunction() local
228 const LocationContext *LCtx) { in removeStateTraitsUsedForArrayEvaluation() argument
298 const LocationContext *LCtx = CEBNode->getLocationContext(); processCallExit() local
458 examineStackFrames(const Decl * D,const LocationContext * LCtx,bool & IsRecursive,unsigned & StackDepth) examineStackFrames() argument
741 bindReturnValue(const CallEvent & Call,const LocationContext * LCtx,ProgramStateRef State) bindReturnValue() argument
1145 shouldInlineArrayConstruction(const ProgramStateRef State,const CXXConstructExpr * CE,const LocationContext * LCtx) shouldInlineArrayConstruction() argument
1181 shouldRepeatCtorCall(ProgramStateRef State,const CXXConstructExpr * E,const LocationContext * LCtx) shouldRepeatCtorCall() argument
[all...] |
| H A D | ExprEngineObjC.cpp | 25 const LocationContext *LCtx = Pred->getLocationContext(); in VisitLvalObjCIvarRefExpr() local
54 const LocationContext *LCtx = Pred->getLocationContext(); in populateObjCForDestinationSet() local
|
| H A D | LoopUnrolling.cpp | 33 const LocationContext *LCtx; member
323 auto LCtx = Pred->getLocationContext(); in updateLoopStack() local
[all...] |
| H A D | BugReporterVisitors.cpp | 241 const LocationContext *LCtx = N->getLocationContext(); in getSValForVar() local
964 auto *LCtx = N->getLocationContext(); matchAssignment() local
1295 const LocationContext *LCtx = N->getLocationContext(); isInitializationOfVar() local
2884 const LocationContext *LCtx = N->getLocationContext(); VisitTrueTest() local
2988 const LocationContext *LCtx = N->getLocationContext(); patternMatch() local
3126 const LocationContext *LCtx = N->getLocationContext(); VisitTrueTest() local
3175 const LocationContext *LCtx = N->getLocationContext(); VisitConditionVariable() local
3205 const LocationContext *LCtx = N->getLocationContext(); VisitTrueTest() local
3238 const LocationContext *LCtx = N->getLocationContext(); VisitTrueTest() local
3354 for (const LocationContext *LCtx = N->getLocationContext(); LCtx; finalizeVisitor() local
[all...] |
| H A D | SymbolManager.cpp | 182 conjureSymbol(const Stmt * E,const LocationContext * LCtx,QualType T,unsigned Count,const void * SymbolTag) conjureSymbol() argument
232 getMetadataSymbol(const MemRegion * R,const Stmt * S,QualType T,const LocationContext * LCtx,unsigned Count,const void * SymbolTag) getMetadataSymbol() argument
|
| /llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CallEvent.h | 159 const LocationContext *LCtx; variable
502 const LocationContext *LCtx, in AnyFunctionCall() argument
506 const LocationContext *LCtx, in AnyFunctionCall() argument
541 SimpleFunctionCall(const CallExpr * CE,ProgramStateRef St,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) SimpleFunctionCall() argument
578 BlockCall(const CallExpr * CE,ProgramStateRef St,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) BlockCall() argument
680 CXXInstanceCall(const CallExpr * CE,ProgramStateRef St,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) CXXInstanceCall() argument
684 CXXInstanceCall(const FunctionDecl * D,ProgramStateRef St,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) CXXInstanceCall() argument
734 CXXStaticOperatorCall(const CXXOperatorCallExpr * CE,ProgramStateRef St,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) CXXStaticOperatorCall() argument
792 CXXMemberCall(const CXXMemberCallExpr * CE,ProgramStateRef St,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) CXXMemberCall() argument
835 CXXMemberOperatorCall(const CXXOperatorCallExpr * CE,ProgramStateRef St,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) CXXMemberOperatorCall() argument
911 CXXDestructorCall(const CXXDestructorDecl * DD,const Stmt * Trigger,const MemRegion * Target,bool IsBaseDestructor,ProgramStateRef St,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) CXXDestructorCall() argument
951 AnyCXXConstructorCall(const Expr * E,const MemRegion * Target,ProgramStateRef St,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) AnyCXXConstructorCall() argument
995 CXXConstructorCall(const CXXConstructExpr * CE,const MemRegion * Target,ProgramStateRef St,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) CXXConstructorCall() argument
1054 CXXInheritedConstructorCall(const CXXInheritedCtorInitExpr * CE,const MemRegion * Target,ProgramStateRef St,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) CXXInheritedConstructorCall() argument
1117 CXXAllocatorCall(const CXXNewExpr * E,ProgramStateRef St,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) CXXAllocatorCall() argument
1201 CXXDeallocatorCall(const CXXDeleteExpr * E,ProgramStateRef St,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) CXXDeallocatorCall() argument
1250 ObjCMethodCall(const ObjCMessageExpr * Msg,ProgramStateRef St,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) ObjCMethodCall() argument
1377 create(Arg A,ProgramStateRef St,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) create() argument
1385 create(Arg1 A1,Arg2 A2,ProgramStateRef St,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) create() argument
1394 create(Arg1 A1,Arg2 A2,Arg3 A3,ProgramStateRef St,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) create() argument
1403 create(Arg1 A1,Arg2 A2,Arg3 A3,Arg4 A4,ProgramStateRef St,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) create() argument
1428 getObjCMethodCall(const ObjCMessageExpr * E,ProgramStateRef State,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) getObjCMethodCall() argument
1435 getCXXConstructorCall(const CXXConstructExpr * E,const MemRegion * Target,ProgramStateRef State,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) getCXXConstructorCall() argument
1443 getCXXInheritedConstructorCall(const CXXInheritedCtorInitExpr * E,const MemRegion * Target,ProgramStateRef State,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) getCXXInheritedConstructorCall() argument
1451 getCXXDestructorCall(const CXXDestructorDecl * DD,const Stmt * Trigger,const MemRegion * Target,bool IsBase,ProgramStateRef State,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) getCXXDestructorCall() argument
1459 getCXXAllocatorCall(const CXXNewExpr * E,ProgramStateRef State,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) getCXXAllocatorCall() argument
1466 getCXXDeallocatorCall(const CXXDeleteExpr * E,ProgramStateRef State,const LocationContext * LCtx,CFGBlock::ConstCFGElementRef ElemRef) getCXXDeallocatorCall() argument
[all...] |
| H A D | SymbolManager.h | 226 const LocationContext *LCtx; in SymbolMetadata() argument
83 const LocationContext *LCtx; global() variable
113 Profile(llvm::FoldingSetNodeID & profile,const Stmt * S,QualType T,unsigned Count,const LocationContext * LCtx,const void * SymbolTag) Profile() argument
220 const LocationContext *LCtx; global() variable
257 Profile(llvm::FoldingSetNodeID & profile,const MemRegion * R,const Stmt * S,QualType T,const LocationContext * LCtx,unsigned Count,const void * Tag) Profile() argument
593 const StackFrameContext *LCtx; global() variable
[all...] |
| H A D | ProgramState.h | 751 bindLoc(SVal LV,SVal V,const LocationContext * LCtx) bindLoc() argument
794 getSVal(const Stmt * Ex,const LocationContext * LCtx) getSVal() argument
801 getSValAsScalarOrLoc(const Stmt * S,const LocationContext * LCtx) getSValAsScalarOrLoc() argument
[all...] |
| /llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | Taint.cpp | 46 addTaint(ProgramStateRef State,const Stmt * S,const LocationContext * LCtx,TaintTagType Kind) addTaint() argument
148 isTainted(ProgramStateRef State,const Stmt * S,const LocationContext * LCtx,TaintTagType Kind) isTainted() argument
171 getTaintedSymbols(ProgramStateRef State,const Stmt * S,const LocationContext * LCtx,TaintTagType Kind) getTaintedSymbols() argument
195 getTaintedSymbolsImpl(ProgramStateRef State,const Stmt * S,const LocationContext * LCtx,TaintTagType Kind,bool returnFirstOnly) getTaintedSymbolsImpl() argument
|
| H A D | BuiltinFunctionChecker.cpp | 44 const LocationContext *LCtx = C.getLocationContext(); evalCall() local
|
| H A D | CheckObjCDealloc.cpp | 270 const LocationContext *LCtx = C.getLocationContext(); in checkBeginFunction() local
503 const LocationContext *LCtx = C.getLocationContext(); in diagnoseMissingReleases() local
631 const LocationContext *LCtx = C.getLocationContext(); in findPropertyOnDeallocatingInstance() local
967 const LocationContext *LCtx, in isInInstanceDealloc()
986 const LocationContext *LCtx = C.getLocationContext(); in instanceDeallocIsOnStack() local
|
| H A D | CXXSelfAssignmentChecker.cpp | 41 const auto *LCtx = C.getLocationContext(); in checkBeginFunction() local
|
| H A D | UndefBranchChecker.cpp | 34 const LocationContext *LCtx; member
|
| H A D | STLAlgorithmModeling.cpp | 133 const auto *LCtx = C.getLocationContext(); in Find() local
|
| H A D | CStringChecker.cpp | 687 const LocationContext *LCtx = C.getLocationContext(); CheckOverlap() local
1291 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); invalidateBufferAux() local
1444 const LocationContext *LCtx = C.getLocationContext(); evalCopyCommon() local
1606 const LocationContext *LCtx = C.getLocationContext(); evalMemcmp() local
1686 const LocationContext *LCtx = C.getLocationContext(); evalstrLengthCommon() local
1877 const LocationContext *LCtx = C.getLocationContext(); evalStrcpyCommon() local
2294 const LocationContext *LCtx = C.getLocationContext(); evalStrcmpCommon() local
2433 const LocationContext *LCtx = C.getLocationContext(); evalStrsep() local
2498 const LocationContext *LCtx = C.getLocationContext(); evalStdCopyCommon() local
2534 const LocationContext *LCtx = C.getLocationContext(); evalMemset() local
2762 checkRegionChanges(ProgramStateRef state,const InvalidatedSymbols *,ArrayRef<const MemRegion * > ExplicitRegions,ArrayRef<const MemRegion * > Regions,const LocationContext * LCtx,const CallEvent * Call) const checkRegionChanges() argument
[all...] |
| H A D | ErrnoChecker.cpp | 221 checkRegionChanges(ProgramStateRef State,const InvalidatedSymbols * Invalidated,ArrayRef<const MemRegion * > ExplicitRegions,ArrayRef<const MemRegion * > Regions,const LocationContext * LCtx,const CallEvent * Call) const checkRegionChanges() argument
|
| H A D | VirtualCallChecker.cpp | 167 const auto *LCtx = C.getLocationContext(); in registerCtorDtorCallInState() local
|