Searched refs:ZeroSymbol (Results 1 – 2 of 2) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | TestAfterDivZeroChecker.cpp | 29 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()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | TestAfterDivZeroChecker.cpp | 28 SymbolRef ZeroSymbol; member in __anon5f8cc9880111::ZeroState
34 : ZeroSymbol(S), BlockID(B), SFC(SFC) {} in ZeroState()
39 return BlockID == X.BlockID && SFC == X.SFC && ZeroSymbol == X.ZeroSymbol; in operator ==()
47 return ZeroSymbol < X.ZeroSymbol; in operator <()
53 ID.AddPointer(ZeroSymbol); in Profile()
59 SymbolRef ZeroSymbol; member in __anon5f8cc9880111::DivisionBRVisitor
64 DivisionBRVisitor(SymbolRef ZeroSymbol, const StackFrameContext *SFC) in DivisionBRVisitor() argument
65 : ZeroSymbol(ZeroSymbol), SFC(SFC), Satisfied(false) {} in DivisionBRVisitor()
68 ID.Add(ZeroSymbol); in Profile()
116 if (ZeroSymbol == S.getAsSymbol() && SFC == Succ->getStackFrame()) { in REGISTER_SET_WITH_PROGRAMSTATE()
|