218   Optional<DefinedSVal> val = V.getAs<DefinedSVal>();  in REGISTER_MAP_WITH_PROGRAMSTATE()
378   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in CheckBufferAccess()
389   if (Optional<Loc> BufLoc = BufStart.getAs<Loc>()) {  in CheckBufferAccess()
409     if (Optional<Loc> BufLoc = BufStart.getAs<Loc>()) {  in CheckBufferAccess()
445   Optional<Loc> firstLoc = firstVal.getAs<Loc>();  in CheckOverlap()
449   Optional<Loc> secondLoc = secondVal.getAs<Loc>();  in CheckOverlap()
473       reverse.getAs<DefinedOrUnknownSVal>();  in CheckOverlap()
493   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in CheckOverlap()
503   Optional<Loc> FirstStartLoc = FirstStart.getAs<Loc>();  in CheckOverlap()
510   Optional<Loc> FirstEndLoc = FirstEnd.getAs<Loc>();  in CheckOverlap()
518       Overlap.getAs<DefinedOrUnknownSVal>();  in CheckOverlap()
574   if (right.getAs<nonloc::ConcreteInt>()) {  in checkAdditionOverflow()
585   if (Optional<NonLoc> maxMinusRightNL = maxMinusRight.getAs<NonLoc>()) {  in checkAdditionOverflow()
688     if (Optional<NonLoc> strLn = strLength.getAs<NonLoc>()) {  in getCStringLengthForRegion()
714     if (Optional<loc::GotoLabel> Label = Buf.getAs<loc::GotoLabel>()) {  in getCStringLength()
844   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in IsFirstBufInBound()
856   Optional<Loc> BufLoc = BufStart.getAs<Loc>();  in IsFirstBufInBound()
894   Optional<Loc> L = V.getAs<Loc>();  in InvalidateBuffer()
901   if (Optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) {  in InvalidateBuffer()
1051       if (Optional<NonLoc> lenValNonLoc = sizeVal.getAs<NonLoc>()) {  in evalCopyCommon()
1295     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalstrLengthCommon()
1296     Optional<NonLoc> maxlenValNL = maxlenVal.getAs<NonLoc>();  in evalstrLengthCommon()
1460     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalStrcpyCommon()
1461     Optional<NonLoc> lenValNL = lenVal.getAs<NonLoc>();  in evalStrcpyCommon()
1500         if (Optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()
1549       if (Optional<NonLoc> amountCopiedNL = amountCopied.getAs<NonLoc>()) {  in evalStrcpyCommon()
1599     Optional<NonLoc> srcStrLengthNL = amountCopied.getAs<NonLoc>();  in evalStrcpyCommon()
1600     Optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>();  in evalStrcpyCommon()
1621       if (Optional<NonLoc> finalStrLengthNL = finalStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()
1663           DstVal.getAs<loc::MemRegionVal>()) {  in evalStrcpyCommon()
1669       if (Optional<NonLoc> maxLastNL = maxLastElementIndex.getAs<NonLoc>()) {  in evalStrcpyCommon()
1680     if (Optional<NonLoc> knownStrLength = finalStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()
1928   if (Optional<Loc> SearchStrLoc = SearchStrVal.getAs<Loc>()) {  in evalStrsep()