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

/external/clang/lib/StaticAnalyzer/Core/
H A DBugReporterVisitors.cpp219 ProgramStateRef StNonZero, StZero; local
220 llvm::tie(StNonZero, StZero) = State->assume(cast<DefinedSVal>(V));
221 if (StZero && !StNonZero) {

Completed in 70 milliseconds