Searched refs:makeArrayIndex (Results 1 – 9 of 9) sorted by relevance
87 SvalBuilder.makeArrayIndex(TypeSize.getQuantity()), in getExtentSizeOfNewTarget()97 return SvalBuilder.makeArrayIndex(I.getZExtValue()); in getExtentSizeOfNewTarget()
278 return val.getAs<UndefinedVal>() ? svalBuilder.makeArrayIndex(0) : val; in getValue()287 sb.makeArrayIndex(scaling.getQuantity()), in scaleValue()
260 SVB.makeArrayIndex(1)); in checkPostStmt()
70 NonLoc OffsetInBytes = SvalBuilder.makeArrayIndex( in getDynamicExtentWithOffset()
63 NonLoc idx = svalBuilder.makeArrayIndex(index); in MakeElementRegion()
2227 const NonLoc &Idx = svalBuilder.makeArrayIndex(i); in bindArray()2274 NonLoc Idx = svalBuilder.makeArrayIndex(index); in bindVector()
1125 RHS = svalBuilder.makeArrayIndex(1); in VisitIncrementDecrementOperator()
171 const NonLoc Idx = Ctx.getSValBuilder().makeArrayIndex(i); in allRegionsUsedByWait()
286 NonLoc makeArrayIndex(uint64_t idx) { in makeArrayIndex() function