Lines Matching refs:SymbolRef

103 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
104 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont);
119                                      const MemRegion *Cont, SymbolRef Offset,
122                                             SymbolRef Offset,
125                                             SymbolRef Offset1,
127                                             SymbolRef Offset2,
135                                                    SymbolRef Offset,
138     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,
139     SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc);
140 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB, SymbolRef Expr,
141                         SymbolRef OldSym, SymbolRef NewSym);
822 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont) {  in getContainerBegin()
830 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont) {  in getContainerEnd()
934                                      const MemRegion *Cont, SymbolRef Offset,  in invalidateAllIteratorPositionsExcept()
947                                             SymbolRef Offset,  in invalidateIteratorPositions()
959                                             SymbolRef Offset1,  in invalidateIteratorPositions()
961                                             SymbolRef Offset2,  in invalidateIteratorPositions()
988                                                    SymbolRef Offset,  in reassignAllIteratorPositionsUnless()
1004     ProgramStateRef State, SValBuilder &SVB, SymbolRef OldSym,  in rebaseSymbolInIteratorPositionsIf()
1005     SymbolRef NewSym, SymbolRef CondSym, BinaryOperator::Opcode Opc) {  in rebaseSymbolInIteratorPositionsIf()
1019 SymbolRef rebaseSymbol(ProgramStateRef State, SValBuilder &SVB,  in rebaseSymbol()
1020                        SymbolRef OrigExpr, SymbolRef OldExpr,  in rebaseSymbol()
1021                        SymbolRef NewSym) {  in rebaseSymbol()