Lines Matching refs:NonLoc
262 NonLoc left,
263 NonLoc right) const;
404 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();
409 NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>();
413 NonLoc LastOffset = Offset.castAs<NonLoc>();
504 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();
644 NonLoc left,
645 NonLoc right) const {
659 NonLoc maxVal = svalBuilder.makeIntVal(maxValInt);
662 if (right.getAs<nonloc::ConcreteInt>()) {
673 if (Optional<NonLoc> maxMinusRightNL = maxMinusRight.getAs<NonLoc>()) {
759 if (Optional<NonLoc> strLn = strLength.getAs<NonLoc>()) {
766 NonLoc maxLength = svalBuilder.makeIntVal(*maxLengthInt);
890 Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();
895 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
899 NonLoc LastOffset = Offset.castAs<NonLoc>();
1051 Optional<NonLoc> SizeNL = SizeVal.getAs<NonLoc>();
1416 Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();
1417 Optional<NonLoc> maxlenValNL = maxlenVal.getAs<NonLoc>();
1444 NonLoc resultNL = result.castAs<NonLoc>();
1565 Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();
1569 Optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>();
1607 Optional<NonLoc> lenValNL = lenVal.getAs<NonLoc>();
1644 if (!freeSpace.getAs<NonLoc>())
1649 Optional<NonLoc> freeSpaceNL = freeSpace.getAs<NonLoc>();
1733 NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
1774 Optional<NonLoc> amountCopiedNL = amountCopied.getAs<NonLoc>();
1795 if (Optional<NonLoc> finalStrLengthNL = finalStrLength.getAs<NonLoc>()) {
1852 if (Optional<NonLoc> maxLastNL = maxLastElementIndex.getAs<NonLoc>()) {
1862 if (Optional<NonLoc> knownStrLength = finalStrLength.getAs<NonLoc>()) {