Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DTestAfterDivZeroChecker.cpp29 SymbolRef ZeroSymbol; member in __anon74a9d57a0111::ZeroState
35 : ZeroSymbol(S), BlockID(B), SFC(SFC) {} in ZeroState()
40 return BlockID == X.BlockID && SFC == X.SFC && ZeroSymbol == X.ZeroSymbol; in operator ==()
48 return ZeroSymbol < X.ZeroSymbol; in operator <()
54 ID.AddPointer(ZeroSymbol); in Profile()
60 SymbolRef ZeroSymbol; member in __anon74a9d57a0111::DivisionBRVisitor
65 DivisionBRVisitor(SymbolRef ZeroSymbol, const StackFrameContext *SFC) in DivisionBRVisitor() argument
66 : ZeroSymbol(ZeroSymbol), SFC(SFC), Satisfied(false) {} in DivisionBRVisitor()
69 ID.Add(ZeroSymbol); in Profile()
120 if (ZeroSymbol == S.getAsSymbol() && SFC == Succ->getStackFrame()) { in REGISTER_SET_WITH_PROGRAMSTATE()