Home
last modified time | relevance | path

Searched refs:ZeroState (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DTestAfterDivZeroChecker.cpp27 class ZeroState { class
34 ZeroState(SymbolRef S, unsigned B, const StackFrameContext *SFC) in ZeroState() function in __anon74a9d57a0111::ZeroState
39 bool operator==(const ZeroState &X) const { in operator ==()
43 bool operator<(const ZeroState &X) const { in operator <()
95 REGISTER_SET_WITH_PROGRAMSTATE(DivZeroMap, ZeroState) in REGISTER_SET_WITH_PROGRAMSTATE() argument
155 State->add<DivZeroMap>(ZeroState(SR, C.getBlockID(), C.getStackFrame())); in setDivZeroMap()
165 ZeroState ZS(SR, C.getBlockID(), C.getStackFrame()); in hasDivZeroMap()
193 for (llvm::ImmutableSet<ZeroState>::iterator I = DivZeroes.begin(), in checkEndFunction()
196 ZeroState ZS = *I; in checkEndFunction()