Lines Matching refs:KV
570 if (Optional<KnownSVal> KV =
572 BR.addVisitor(new FindLastStoreBRVisitor(*KV, OriginalR,
981 if (Optional<KnownSVal> KV = LVal.getAs<KnownSVal>())
982 report.addVisitor(new FindLastStoreBRVisitor(*KV, RR,
1014 if (Optional<KnownSVal> KV = V.getAs<KnownSVal>())
1015 report.addVisitor(new FindLastStoreBRVisitor(*KV, R,