Searched refs:upperbound (Results 1 – 4 of 4) sorted by relevance
194 SVal upperbound = svalBuilder.evalBinOpNN(state, BO_GE, rawOffsetVal, in checkLocation() local198 Optional<NonLoc> upperboundToCheck = upperbound.getAs<NonLoc>(); in checkLocation()
3843 dinteger_t upperbound; in interpretAssignToSlice() local3886 upperbound = (size_t)(upr ? upr->toInteger() : dim); in interpretAssignToSlice()3888 if ((int)lowerbound < 0 || dim < upperbound) in interpretAssignToSlice()3891 dim, lowerbound, upperbound); in interpretAssignToSlice()3902 if (oldse->upr->toInteger() < upperbound + oldse->lwr->toInteger()) in interpretAssignToSlice()3905 lowerbound, upperbound, in interpretAssignToSlice()3918 upperbound = ((ArrayLiteralExp *)e1)->elements->dim; in interpretAssignToSlice()3923 upperbound = ((StringExp *)e1)->len; in interpretAssignToSlice()3928 upperbound = 0; in interpretAssignToSlice()3936 if (upperbound == lowerbound) in interpretAssignToSlice()[all …]
3997 dinteger_t upperbound; in interpretAssignToSlice() local4010 upperbound = se.upr ? se.upr.toInteger() : resolveArrayLength(aggregate); in interpretAssignToSlice()4026 upperbound = ale.elements.dim; in interpretAssignToSlice()4031 upperbound = se.len; in interpretAssignToSlice()4036 upperbound = 0; in interpretAssignToSlice()4043 upperbound = ve.dim; in interpretAssignToSlice()4051 if (upperbound == lowerbound) in interpretAssignToSlice()4058 if (srclen != (upperbound - lowerbound)) in interpretAssignToSlice()4061 ulong(srclen), ulong(lowerbound), ulong(upperbound)); in interpretAssignToSlice()4081 lowerbound < srcupper && srclower < upperbound) in interpretAssignToSlice()[all …]
3238 - cache-max-ttl also defines upperbound of initial TTL in response.