OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:KnownSVal
(Results
1 - 3
of
3
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SVals.h
255
class
KnownSVal
: public SVal {
256
KnownSVal
() {}
262
KnownSVal
(const DefinedSVal &V) : SVal(V) {}
263
KnownSVal
(const UndefinedVal &V) : SVal(V) {}
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
BugReporterVisitor.h
115
FindLastStoreBRVisitor(
KnownSVal
V, const MemRegion *R,
/external/clang/lib/StaticAnalyzer/Core/
BugReporterVisitors.cpp
570
if (Optional<
KnownSVal
> KV =
571
State->getSVal(OriginalR).getAs<
KnownSVal
>())
[
all
...]
Completed in 121 milliseconds