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(V.castAs<DefinedSVal>());
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.cpp202 ProgramStateRef notNullState, nullState; local
203 llvm::tie(notNullState, nullState) = state->assume(location);
206 if (nullState) {
208 reportBug(nullState, S, C);
215 if (ExplodedNode *N = C.generateSink(nullState)) {
H A DMallocChecker.cpp694 ProgramStateRef notNullState, nullState;
695 llvm::tie(notNullState, nullState) = State->assume(location);
696 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 660 milliseconds