OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:notNilState
(Results
1 - 2
of
2
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
ExprEngineObjC.cpp
167
ProgramStateRef
notNilState
, nilState;
168
llvm::tie(
notNilState
, nilState) = State->assume(receiverVal);
174
if (nilState && !
notNilState
) {
179
assert(
notNilState
);
188
if (
notNilState
!= State) {
189
Pred = Bldr.generateNode(ME, Pred,
notNilState
);
/external/clang/lib/StaticAnalyzer/Checkers/
CallAndMessageChecker.cpp
375
ProgramStateRef
notNilState
, nilState;
376
llvm::tie(
notNilState
, nilState) = state->assume(receiverVal);
379
if (nilState && !
notNilState
) {
Completed in 502 milliseconds