Lines Matching refs:SymbolRef

36   const SymbolRef Offset;
38   IteratorPosition(const MemRegion *C, bool V, SymbolRef Of)  in IteratorPosition()
44   SymbolRef getOffset() const { return Offset; }  in getOffset()
50   static IteratorPosition getPosition(const MemRegion *C, SymbolRef Of) {  in getPosition()
54   IteratorPosition setTo(SymbolRef NewOf) const {  in setTo()
78   const SymbolRef Begin, End;
80   ContainerData(SymbolRef B, SymbolRef E) : Begin(B), End(E) {}  in ContainerData()
83   static ContainerData fromBegin(SymbolRef B) {  in fromBegin()
87   static ContainerData fromEnd(SymbolRef E) {  in fromEnd()
91   SymbolRef getBegin() const { return Begin; }  in getBegin()
92   SymbolRef getEnd() const { return End; }  in getEnd()
94   ContainerData newBegin(SymbolRef B) const { return ContainerData(B, End); }  in newBegin()
96   ContainerData newEnd(SymbolRef E) const { return ContainerData(Begin, E); }  in newEnd()
115   CLANG_ENTO_PROGRAMSTATE_MAP(SymbolRef, IteratorPosition);
176 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,
178 bool compare(ProgramStateRef State, SymbolRef Sym1, SymbolRef Sym2,