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
157
ProgramStateRef
notNilState
, nilState;
158
llvm::tie(
notNilState
, nilState) = state->assume(receiverVal);
162
if (nilState && !
notNilState
) {
167
assert(
notNilState
);
174
evalObjCMessage(Bldr, msg, Pred,
notNilState
, RaisesException);
/external/clang/lib/StaticAnalyzer/Checkers/
CallAndMessageChecker.cpp
275
ProgramStateRef
notNilState
, nilState;
276
llvm::tie(
notNilState
, nilState) = state->assume(receiverVal);
279
if (nilState && !
notNilState
) {
Completed in 53 milliseconds