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

/freebsd-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DTestAfterDivZeroChecker.cpp165 ZeroState ZS(SR, C.getBlockID(), C.getStackFrame());
166 return C.getState()->contains<DivZeroMap>(ZS);
196 ZeroState ZS = *I; local
197 if (ZS.getStackFrameContext() == C.getStackFrame())
198 DivZeroes = F.remove(DivZeroes, ZS);

Completed in 52 milliseconds