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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DNullabilityChecker.cpp394 ProgramStateRef OriginalState = N->getState(); local
396 if (checkPreconditionViolation(OriginalState, N, C))
399 OriginalState = OriginalState->set<PreconditionViolated>(true);
400 N = C.addTransition(OriginalState, N);

Completed in 44 milliseconds