204   Optional<DefinedSVal> val = V.getAs<DefinedSVal>();  in REGISTER_MAP_WITH_PROGRAMSTATE()
362   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in CheckBufferAccess()
373   if (Optional<Loc> BufLoc = BufStart.getAs<Loc>()) {  in CheckBufferAccess()
393     if (Optional<Loc> BufLoc = BufStart.getAs<Loc>()) {  in CheckBufferAccess()
429   Optional<Loc> firstLoc = firstVal.getAs<Loc>();  in CheckOverlap()
433   Optional<Loc> secondLoc = secondVal.getAs<Loc>();  in CheckOverlap()
457       reverse.getAs<DefinedOrUnknownSVal>();  in CheckOverlap()
477   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();  in CheckOverlap()
487   Optional<Loc> FirstStartLoc = FirstStart.getAs<Loc>();  in CheckOverlap()
494   Optional<Loc> FirstEndLoc = FirstEnd.getAs<Loc>();  in CheckOverlap()
502       Overlap.getAs<DefinedOrUnknownSVal>();  in CheckOverlap()
558   if (right.getAs<nonloc::ConcreteInt>()) {  in checkAdditionOverflow()
569   if (Optional<NonLoc> maxMinusRightNL = maxMinusRight.getAs<NonLoc>()) {  in checkAdditionOverflow()
684     if (Optional<loc::GotoLabel> Label = Buf.getAs<loc::GotoLabel>()) {  in getCStringLength()
799   Optional<Loc> L = V.getAs<Loc>();  in InvalidateBuffer()
806   if (Optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) {  in InvalidateBuffer()
933       if (Optional<NonLoc> lenValNonLoc = sizeVal.getAs<NonLoc>()) {  in evalCopyCommon()
1164     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalstrLengthCommon()
1165     Optional<NonLoc> maxlenValNL = maxlenVal.getAs<NonLoc>();  in evalstrLengthCommon()
1327     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalStrcpyCommon()
1328     Optional<NonLoc> lenValNL = lenVal.getAs<NonLoc>();  in evalStrcpyCommon()
1367         if (Optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()
1416       if (Optional<NonLoc> amountCopiedNL = amountCopied.getAs<NonLoc>()) {  in evalStrcpyCommon()
1466     Optional<NonLoc> srcStrLengthNL = amountCopied.getAs<NonLoc>();  in evalStrcpyCommon()
1467     Optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>();  in evalStrcpyCommon()
1488       if (Optional<NonLoc> finalStrLengthNL = finalStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()
1530           DstVal.getAs<loc::MemRegionVal>()) {  in evalStrcpyCommon()
1536       if (Optional<NonLoc> maxLastNL = maxLastElementIndex.getAs<NonLoc>()) {  in evalStrcpyCommon()
1547     if (Optional<NonLoc> knownStrLength = finalStrLength.getAs<NonLoc>()) {  in evalStrcpyCommon()