StaticAnalyzer/Checkers/CStringChecker.cpp

268   Optional<DefinedSVal> val = V.getAs<DefinedSVal>();
401   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();
414   if (Optional<Loc> BufLoc = BufStart.getAs<Loc>()) {
434     if (Optional<Loc> BufLoc = BufStart.getAs<Loc>()) {
470   Optional<Loc> firstLoc = firstVal.getAs<Loc>();
474   Optional<Loc> secondLoc = secondVal.getAs<Loc>();
497   Optional<DefinedOrUnknownSVal> reverseTest =
518   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();
528   Optional<Loc> FirstStartLoc = FirstStart.getAs<Loc>();
535   Optional<Loc> FirstEndLoc = FirstEnd.getAs<Loc>();
542   Optional<DefinedOrUnknownSVal> OverlapTest =
687   if (Optional<NonLoc> maxMinusRightNL = maxMinusRight.getAs<NonLoc>()) {
772     if (Optional<NonLoc> strLn = strLength.getAs<NonLoc>()) {
798     if (Optional<loc::GotoLabel> Label = Buf.getAs<loc::GotoLabel>()) {
902   Optional<NonLoc> Length = LengthVal.getAs<NonLoc>();
915   Optional<Loc> BufLoc = BufStart.getAs<Loc>();
955   Optional<Loc> L = V.getAs<Loc>();
962   if (Optional<loc::MemRegionVal> MR = L->getAs<loc::MemRegionVal>()) {
1061   Optional<NonLoc> SizeNL = SizeVal.getAs<NonLoc>();
1414     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();
1415     Optional<NonLoc> maxlenValNL = maxlenVal.getAs<NonLoc>();
1563   Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();
1567   Optional<NonLoc> dstStrLengthNL = dstStrLength.getAs<NonLoc>();
1599     Optional<NonLoc> lenValNL = lenVal.getAs<NonLoc>();
1641         Optional<NonLoc> freeSpaceNL = freeSpace.getAs<NonLoc>();
1766     Optional<NonLoc> amountCopiedNL = amountCopied.getAs<NonLoc>();
1787       if (Optional<NonLoc> finalStrLengthNL = finalStrLength.getAs<NonLoc>()) {
1838   if (Optional<loc::MemRegionVal> dstRegVal =
1845       if (Optional<NonLoc> maxLastNL = maxLastElementIndex.getAs<NonLoc>()) {
1856     if (Optional<NonLoc> knownStrLength = finalStrLength.getAs<NonLoc>()) {
2093   if (Optional<Loc> SearchStrLoc = SearchStrVal.getAs<Loc>()) {