Lines Matching full:dyn_cast
168 DefinedSVal *val = dyn_cast<DefinedSVal>(&V);
230 const ElementRegion *ER = dyn_cast<ElementRegion>(R);
318 NonLoc *Length = dyn_cast<NonLoc>(&LengthVal);
329 if (Loc *BufLoc = dyn_cast<Loc>(&BufStart)) {
349 if (Loc *BufLoc = dyn_cast<Loc>(&BufStart)) {
381 Loc *firstLoc = dyn_cast<Loc>(&firstVal);
385 Loc *secondLoc = dyn_cast<Loc>(&secondVal);
408 DefinedOrUnknownSVal *reverseTest = dyn_cast<DefinedOrUnknownSVal>(&reverse);
432 NonLoc *Length = dyn_cast<NonLoc>(&LengthVal);
442 Loc *FirstStartLoc = dyn_cast<Loc>(&FirstStart);
449 Loc *FirstEndLoc = dyn_cast<Loc>(&FirstEnd);
456 DefinedOrUnknownSVal *OverlapTest = dyn_cast<DefinedOrUnknownSVal>(&Overlap);
518 if (NonLoc *maxMinusRightNL = dyn_cast<NonLoc>(&maxMinusRight)) {
633 if (loc::GotoLabel *Label = dyn_cast<loc::GotoLabel>(&Buf)) {
731 const StringRegion *strRegion= dyn_cast<StringRegion>(bufRegion);
742 Loc *L = dyn_cast<Loc>(&V);
749 if (loc::MemRegionVal* MR = dyn_cast<loc::MemRegionVal>(L)) {
754 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) {
772 const TypedRegion *TR = dyn_cast<TypedRegion>(MR);
872 loc::MemRegionVal *destRegVal = dyn_cast<loc::MemRegionVal>(&destVal);
876 NonLoc *lenValNonLoc = dyn_cast<NonLoc>(&sizeVal);
1083 NonLoc *strLengthNL = dyn_cast<NonLoc>(&strLength);
1084 NonLoc *maxlenValNL = dyn_cast<NonLoc>(&maxlenVal);
1238 NonLoc *strLengthNL = dyn_cast<NonLoc>(&strLength);
1239 NonLoc *lenValNL = dyn_cast<NonLoc>(&lenVal);
1279 if (NonLoc *dstStrLengthNL = dyn_cast<NonLoc>(&dstStrLength)) {
1310 if (NonLoc *amountCopiedNL = dyn_cast<NonLoc>(&amountCopied)) {
1360 NonLoc *srcStrLengthNL = dyn_cast<NonLoc>(&amountCopied);
1361 NonLoc *dstStrLengthNL = dyn_cast<NonLoc>(&dstStrLength);
1382 if (NonLoc *finalStrLengthNL = dyn_cast<NonLoc>(&finalStrLength)) {
1423 if (loc::MemRegionVal *dstRegVal = dyn_cast<loc::MemRegionVal>(&DstVal)) {
1429 if (NonLoc *maxLastNL = dyn_cast<NonLoc>(&maxLastElementIndex)) {
1440 if (NonLoc *knownStrLength = dyn_cast<NonLoc>(&finalStrLength)) {
1696 const VarDecl *D = dyn_cast<VarDecl>(*I);
1749 while (const SubRegion *SR = dyn_cast<SubRegion>(MR)) {
1770 while (const SubRegion *SR = dyn_cast<SubRegion>(Super)) {
