Lines Matching refs:SymbolRef

117 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
118 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont);
133                                      const MemRegion *Cont, SymbolRef Offset,
136                                             SymbolRef Offset,
139                                             SymbolRef Offset1,
141                                             SymbolRef Offset2,
149                                                    SymbolRef Offset,
152     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
153     SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc);
154 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
155                         SymbolRef OldSym, SymbolRef NewSym);
836 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont) {  in getContainerBegin()
844 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont) {  in getContainerEnd()
948                                      const MemRegion *Cont, SymbolRef Offset,  in invalidateAllIteratorPositionsExcept()
961                                             SymbolRef Offset,  in invalidateIteratorPositions()
973                                             SymbolRef Offset1,  in invalidateIteratorPositions()
975                                             SymbolRef Offset2,  in invalidateIteratorPositions()
1002                                                    SymbolRef Offset,  in reassignAllIteratorPositionsUnless()
1018     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,  in rebaseSymbolInIteratorPositionsIf()
1019     SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc) {  in rebaseSymbolInIteratorPositionsIf()
1033 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB,  in rebaseSymbol()
1034                        SymbolRef OrigExpr, SymbolRef OldExpr,  in rebaseSymbol()
1035                        SymbolRef NewSym) {  in rebaseSymbol()