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/
AttrNonNullChecker.cpp
88
const ProgramState *stateNotNull, *
stateNull
;
89
llvm::tie(stateNotNull,
stateNull
) = CM.assumeDual(state, *DV);
91
if (
stateNull
&& !stateNotNull) {
94
if (ExplodedNode *errorNode = C.generateSink(
stateNull
)) {
StreamChecker.cpp
234
const ProgramState *stateNotNull, *
stateNull
;
235
llvm::tie(stateNotNull,
stateNull
) = CM.assumeDual(state, RetVal);
241
stateNull
=
242
stateNull
->set<StreamState>(Sym, StreamState::getOpenFailed(CE));
245
C.addTransition(
stateNull
);
348
const ProgramState *stateNotNull, *
stateNull
;
349
llvm::tie(stateNotNull,
stateNull
) = CM.assumeDual(state, *DV);
351
if (!stateNotNull &&
stateNull
) {
352
if (ExplodedNode *N = C.generateSink(
stateNull
)) {
CStringChecker.cpp
212
const ProgramState *
stateNull
, *stateNonNull;
213
llvm::tie(
stateNull
, stateNonNull) = assumeZero(C, state, l, S->getType());
215
if (
stateNull
&& !stateNonNull) {
216
ExplodedNode *N = C.generateSink(
stateNull
);
[
all
...]
Completed in 45 milliseconds