OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:stateNull
(Results
1 - 3
of
3
) sorted by null
/external/clang/lib/StaticAnalyzer/Checkers/
NonNullParamChecker.cpp
139
ProgramStateRef stateNotNull,
stateNull
;
140
std::tie(stateNotNull,
stateNull
) = CM.assumeDual(state, *DV);
142
if (
stateNull
) {
146
if (ExplodedNode *errorNode = C.generateErrorNode(
stateNull
)) {
164
if (ExplodedNode *N = C.generateSink(
stateNull
, C.getPredecessor())) {
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
);
348
ProgramStateRef stateNotNull,
stateNull
;
349
std::tie(stateNotNull,
stateNull
) = CM.assumeDual(state, *DV);
351
if (!stateNotNull &&
stateNull
) {
352
if (ExplodedNode *N = C.generateErrorNode(
stateNull
)) {
CStringChecker.cpp
238
ProgramStateRef
stateNull
, stateNonNull;
239
std::tie(
stateNull
, stateNonNull) = assumeZero(C, state, l, S->getType());
241
if (
stateNull
&& !stateNonNull) {
245
ExplodedNode *N = C.generateErrorNode(
stateNull
);
[
all
...]
Completed in 156 milliseconds