Searched refs:makeArrayIndex (Results 1 – 5 of 5) sorted by relevance
226 return val.getAs<UndefinedVal>() ? svalBuilder.makeArrayIndex(0) : val; in getValue()235 sb.makeArrayIndex(scaling.getQuantity()), in scaleValue()
226 NonLoc makeArrayIndex(uint64_t idx) { in makeArrayIndex() function
47 NonLoc idx = svalBuilder.makeArrayIndex(index); in MakeElementRegion()
1996 const NonLoc &Idx = svalBuilder.makeArrayIndex(i); in bindArray()2043 NonLoc Idx = svalBuilder.makeArrayIndex(index); in bindVector()
929 RHS = svalBuilder.makeArrayIndex(1); in VisitIncrementDecrementOperator()