Searched refs:KnownSVal (Results 1 - 3 of 3) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSVals.h255 class KnownSVal : public SVal { class in namespace:clang::ento
256 KnownSVal() {} function in class:clang::ento::KnownSVal
262 KnownSVal(const DefinedSVal &V) : SVal(V) {} function in class:clang::ento::KnownSVal
263 KnownSVal(const UndefinedVal &V) : SVal(V) {} function in class:clang::ento::KnownSVal
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporterVisitor.h114 FindLastStoreBRVisitor(KnownSVal V, const MemRegion *R,
/external/clang/lib/StaticAnalyzer/Core/
H A DBugReporterVisitors.cpp570 if (Optional<KnownSVal> KV =
571 State->getSVal(OriginalR).getAs<KnownSVal>())
981 if (Optional<KnownSVal> KV = LVal.getAs<KnownSVal>())
1014 if (Optional<KnownSVal> KV = V.getAs<KnownSVal>())
1135 BR.addVisitor(new FindLastStoreBRVisitor(V.castAs<KnownSVal>(), R,

Completed in 114 milliseconds