Lines Matching refs:SymbolRef

108 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
109 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont);
124                                      const MemRegion *Cont, SymbolRef Offset,
127                                             SymbolRef Offset,
130                                             SymbolRef Offset1,
132                                             SymbolRef Offset2,
140                                                    SymbolRef Offset,
143     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
144     SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc);
145 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
146                         SymbolRef OldSym, SymbolRef NewSym);
831 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont) {  in getContainerBegin()
839 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont) {  in getContainerEnd()
943                                      const MemRegion *Cont, SymbolRef Offset,  in invalidateAllIteratorPositionsExcept()
956                                             SymbolRef Offset,  in invalidateIteratorPositions()
968                                             SymbolRef Offset1,  in invalidateIteratorPositions()
970                                             SymbolRef Offset2,  in invalidateIteratorPositions()
997                                                    SymbolRef Offset,  in reassignAllIteratorPositionsUnless()
1013     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,  in rebaseSymbolInIteratorPositionsIf()
1014     SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc) {  in rebaseSymbolInIteratorPositionsIf()
1028 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB,  in rebaseSymbol()
1029                        SymbolRef OrigExpr, SymbolRef OldExpr,  in rebaseSymbol()
1030                        SymbolRef NewSym) {  in rebaseSymbol()