OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:notNullState
(Results
1 - 3
of
3
) sorted by null
/external/clang/lib/StaticAnalyzer/Checkers/
ObjCAtSyncChecker.cpp
62
const ProgramState *
notNullState
, *nullState;
63
llvm::tie(
notNullState
, nullState) = state->assume(cast<DefinedSVal>(V));
66
if (!
notNullState
) {
86
if (
notNullState
)
87
C.addTransition(
notNullState
);
MallocChecker.cpp
286
const ProgramState *
notNullState
, *nullState;
287
llvm::tie(
notNullState
, nullState) = state->assume(location);
290
if (nullState && !
notNullState
)
293
assert(
notNullState
);
298
return
notNullState
;
337
return
notNullState
;
346
return
notNullState
;
365
return
notNullState
->set<RegionState>(Sym, RefState::getRelinquished(CE));
366
return
notNullState
->set<RegionState>(Sym, RefState::getReleased(CE));
705
const ProgramState *
notNullState
, *nullState
[
all
...]
DereferenceChecker.cpp
93
const ProgramState *
notNullState
, *nullState;
94
llvm::tie(
notNullState
, nullState) = state->assume(location);
98
if (!
notNullState
) {
187
C.addTransition(
notNullState
);
Completed in 2808 milliseconds