HomeSort by relevance Sort by last modified time
    Searched refs:stateNull (Results 1 - 3 of 3) sorted by null

  /external/clang/lib/StaticAnalyzer/Checkers/
AttrNonNullChecker.cpp 89 ProgramStateRef stateNotNull, stateNull;
90 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
92 if (stateNull && !stateNotNull) {
95 if (ExplodedNode *errorNode = C.generateSink(stateNull)) {
StreamChecker.cpp 232 ProgramStateRef stateNotNull, stateNull;
233 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal);
239 stateNull =
240 stateNull->set<StreamState>(Sym, StreamState::getOpenFailed(CE));
243 C.addTransition(stateNull);
357 ProgramStateRef stateNotNull, stateNull;
358 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
360 if (!stateNotNull && stateNull) {
361 if (ExplodedNode *N = C.generateSink(stateNull)) {
CStringChecker.cpp 230 ProgramStateRef stateNull, stateNonNull;
231 llvm::tie(stateNull, stateNonNull) = assumeZero(C, state, l, S->getType());
233 if (stateNull && !stateNonNull) {
237 ExplodedNode *N = C.generateSink(stateNull);
    [all...]

Completed in 694 milliseconds