OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:StNonNull
(Results
1 - 3
of
3
) sorted by null
/external/clang/lib/StaticAnalyzer/Checkers/
ReturnUndefChecker.cpp
105
ProgramStateRef
StNonNull
, StNull;
106
std::tie(
StNonNull
, StNull) = C.getState()->assume(RetVal);
108
if (
StNonNull
) {
110
C.addTransition(
StNonNull
);
CallAndMessageChecker.cpp
314
ProgramStateRef
StNonNull
, StNull;
315
std::tie(
StNonNull
, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>());
317
if (StNull && !
StNonNull
) {
325
C.addTransition(
StNonNull
);
369
ProgramStateRef
StNonNull
, StNull;
370
std::tie(
StNonNull
, StNull) =
373
if (StNull && !
StNonNull
) {
381
State =
StNonNull
;
DereferenceChecker.cpp
242
ProgramStateRef
StNonNull
, StNull;
243
std::tie(
StNonNull
, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());
246
if (!
StNonNull
) {
Completed in 239 milliseconds