Searched refs:makeArrayIndex (Results 1 – 12 of 12) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CheckPlacementNew.cpp | 87 SvalBuilder.makeArrayIndex(TypeSize.getQuantity()), in getExtentSizeOfNewTarget()
97 return SvalBuilder.makeArrayIndex(I.getZExtValue()); in getExtentSizeOfNewTarget()
|
| H A D | ArrayBoundChecker.cpp | 214 NonLoc Size = SVB.makeArrayIndex( in computeOffset()
|
| H A D | IteratorModeling.cpp | 261 SVB.makeArrayIndex(1)); in checkPostStmt()
|
| H A D | StreamChecker.cpp | 854 NonLoc Index = SVB.makeArrayIndex(Idx); in escapeByStartIndexAndCount()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | DynamicExtent.cpp | 98 SVB.makeArrayIndex(Offset.getOffset() / SVB.getContext().getCharWidth()); in getDynamicExtentWithOffset()
|
| H A D | ExprEngineCXX.cpp | 120 LValue = State->getLValue(Ty, SVB.makeArrayIndex(Idx), LValue); in makeElementRegion()
199 auto R = MRMgr.getElementRegion(Ty, svalBuilder.makeArrayIndex(Idx), in computeObjectUnderConstruction()
332 Base = State->getLValue(E->getType(), svalBuilder.makeArrayIndex(Idx), in computeObjectUnderConstruction()
626 State, AILE, LCtx, svalBuilder.makeArrayIndex(Idx)); in handleConstructor()
1043 MRMgr.getElementRegion(ObjTy, svalBuilder.makeArrayIndex(0), NewReg, in VisitCXXNewExpr()
|
| H A D | Store.cpp | 65 NonLoc idx = svalBuilder.makeArrayIndex(index); in MakeElementRegion()
|
| H A D | RegionStore.cpp | 2622 auto Idx = svalBuilder.makeArrayIndex(i); in tryBindSmallArray()
2682 NonLoc Idx = svalBuilder.makeArrayIndex(i); in bindArray()
2737 NonLoc Idx = svalBuilder.makeArrayIndex(index); in bindVector()
|
| H A D | ExprEngineC.cpp | 1145 RHS = svalBuilder.makeArrayIndex(1); in VisitIncrementDecrementOperator()
|
| H A D | ExprEngine.cpp | 1467 ArgR = State->getLValue(DTy, svalBuilder.makeArrayIndex(Idx), ArgVal) in ProcessDeleteDtor()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.cpp | 169 const NonLoc Idx = Ctx.getSValBuilder().makeArrayIndex(i); in allRegionsUsedByWait()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 271 NonLoc makeArrayIndex(uint64_t idx) { in makeArrayIndex() function
|