OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:stateNull
(Results
1 - 2
of
2
) sorted by null
/external/clang/lib/StaticAnalyzer/Checkers/
NonNullParamChecker.cpp
125
ProgramStateRef stateNotNull,
stateNull
;
126
std::tie(stateNotNull,
stateNull
) = CM.assumeDual(state, *DV);
128
if (
stateNull
&& !stateNotNull) {
131
if (ExplodedNode *errorNode = C.generateSink(
stateNull
)) {
StreamChecker.cpp
223
ProgramStateRef stateNotNull,
stateNull
;
224
std::tie(stateNotNull,
stateNull
) = CM.assumeDual(state, RetVal);
230
stateNull
=
231
stateNull
->set<StreamMap>(Sym, StreamState::getOpenFailed(CE));
234
C.addTransition(
stateNull
);
349
ProgramStateRef stateNotNull,
stateNull
;
350
std::tie(stateNotNull,
stateNull
) = CM.assumeDual(state, *DV);
352
if (!stateNotNull &&
stateNull
) {
353
if (ExplodedNode *N = C.generateSink(
stateNull
)) {
Completed in 62 milliseconds