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 88 const ProgramState *stateNotNull, *stateNull;
89 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
91 if (stateNull && !stateNotNull) {
94 if (ExplodedNode *errorNode = C.generateSink(stateNull)) {
StreamChecker.cpp 234 const ProgramState *stateNotNull, *stateNull;
235 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal);
241 stateNull =
242 stateNull->set<StreamState>(Sym, StreamState::getOpenFailed(CE));
245 C.addTransition(stateNull);
348 const ProgramState *stateNotNull, *stateNull;
349 llvm::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);
351 if (!stateNotNull && stateNull) {
352 if (ExplodedNode *N = C.generateSink(stateNull)) {
CStringChecker.cpp 212 const ProgramState *stateNull, *stateNonNull;
213 llvm::tie(stateNull, stateNonNull) = assumeZero(C, state, l, S->getType());
215 if (stateNull && !stateNonNull) {
216 ExplodedNode *N = C.generateSink(stateNull);
    [all...]

Completed in 45 milliseconds