OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:nullState
(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));
65
if (
nullState
) {
69
if (ExplodedNode *N = C.generateNode(
nullState
)) {
81
// Don't add a transition for '
nullState
'. If the value is
DereferenceChecker.cpp
93
const ProgramState *notNullState, *
nullState
;
94
llvm::tie(notNullState,
nullState
) = state->assume(location);
97
if (
nullState
) {
100
ExplodedNode *N = C.generateSink(
nullState
);
179
if (ExplodedNode *N = C.generateSink(
nullState
)) {
MallocChecker.cpp
286
const ProgramState *notNullState, *
nullState
;
287
llvm::tie(notNullState,
nullState
) = state->assume(location);
290
if (
nullState
&& !notNullState)
291
return
nullState
;
705
const ProgramState *notNullState, *
nullState
;
706
llvm::tie(notNullState,
nullState
) = state->assume(l);
708
// Generate a transition for '
nullState
' to record the assumption
710
if (
nullState
)
711
C.addTransition(
nullState
);
Completed in 227 milliseconds