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

/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DTestAfterDivZeroChecker.cpp161 ZeroState ZS(SR, C.getBlockID(), C.getStackFrame());
162 return C.getState()->contains<DivZeroMap>(ZS);
193 ZeroState ZS = *I; local
194 if (ZS.getStackFrameContext() == C.getStackFrame())
195 DivZeroes = F.remove(DivZeroes, ZS);
/freebsd-12-stable/contrib/llvm-project/llvm/lib/Support/
H A DZ3Solver.cpp75 Z3Sort(Z3Context &C, Z3_sort ZS) : Context(C), Sort(ZS) { argument

Completed in 103 milliseconds