Searched refs:nullState (Results 1 - 4 of 4) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DObjCAtSyncChecker.cpp62 ProgramStateRef notNullState, nullState;
63 llvm::tie(notNullState, nullState) = state->assume(cast<DefinedSVal>(V));
65 if (nullState) {
69 if (ExplodedNode *N = C.addTransition(nullState)) {
81 // Don't add a transition for 'nullState'. If the value is
H A DDereferenceChecker.cpp198 ProgramStateRef notNullState, nullState; local
199 llvm::tie(notNullState, nullState) = state->assume(location);
202 if (nullState) {
204 reportBug(nullState, S, C);
211 if (ExplodedNode *N = C.generateSink(nullState)) {
H A DMallocChecker.cpp641 ProgramStateRef notNullState, nullState;
642 llvm::tie(notNullState, nullState) = state->assume(location);
643 if (nullState && !notNullState)
/external/qemu/distrib/sdl-1.2.15/src/joystick/darwin/
H A DSDL_sysjoystick.c66 Boolean nullState; /* does element have null state */
274 pElement->nullState = CFBooleanGetValue (refType);

Completed in 871 milliseconds