Lines Matching refs:MemRegion
90 const MemRegion *Cont;
98 IteratorPosition(const MemRegion *C, bool V, SymbolRef Of) in IteratorPosition()
102 const MemRegion *getContainer() const { return Cont; } in getContainer()
110 static IteratorPosition getPosition(const MemRegion *C, SymbolRef Of) { in getPosition()
118 IteratorPosition reAssign(const MemRegion *NewCont) const { in reAssign()
137 typedef llvm::PointerUnion<const MemRegion *, SymbolRef> RegionOrSymbol;
225 const MemRegion *Cont) const;
246 const MemRegion *Cont) const;
258 const MemRegion *Reg, CheckerContext &C,
291 REGISTER_MAP_WITH_PROGRAMSTATE(IteratorRegionMap, const MemRegion *,
294 REGISTER_MAP_WITH_PROGRAMSTATE(ContainerMap, const MemRegion *, ContainerData)
325 bool hasSubscriptOperator(ProgramStateRef State, const MemRegion *Reg);
326 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg);
327 bool backModifiable(ProgramStateRef State, const MemRegion *Reg);
338 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
339 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont);
341 const MemRegion *Cont,
343 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont,
363 const MemRegion *Cont);
366 const MemRegion *Cont, SymbolRef Offset,
377 const MemRegion *Cont,
378 const MemRegion *NewCont);
380 const MemRegion *Cont,
381 const MemRegion *NewCont,
388 const MemRegion *Cont);
389 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,
391 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont);
393 const MemRegion *Reg);
1098 const MemRegion *Cont) const { in verifyMatch()
1178 const MemRegion *Cont) const { in assignToContainer()
1603 const SVal &Val, const MemRegion *Reg, in reportMismatchedBug()
1630 const MemRegion *Reg);
1873 bool hasSubscriptOperator(ProgramStateRef State, const MemRegion *Reg) { in hasSubscriptOperator()
1889 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg) { in frontModifiable()
1904 bool backModifiable(ProgramStateRef State, const MemRegion *Reg) { in backModifiable()
1920 const MemRegion *Reg) { in getCXXRecordDecl()
1975 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont) { in getContainerBegin()
1983 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont) { in getContainerEnd()
1992 const MemRegion *Cont, in createContainerBegin()
2007 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont, in createContainerEnd()
2023 const MemRegion *Cont) { in getContainerData()
2027 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont, in setContainerData()
2047 if (RegOrSym.is<const MemRegion *>()) { in getIteratorPosition()
2048 auto Reg = RegOrSym.get<const MemRegion *>()->getMostDerivedObjectRegion(); in getIteratorPosition()
2072 if (RegOrSym.is<const MemRegion *>()) { in setIteratorPosition()
2073 auto Reg = RegOrSym.get<const MemRegion *>()->getMostDerivedObjectRegion(); in setIteratorPosition()
2136 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont) { in hasLiveIterators()
2153 const MemRegion *Reg) { in isBoundThroughLazyCompoundVal()
2197 const MemRegion *Cont) { in invalidateAllIteratorPositions()
2209 const MemRegion *Cont, SymbolRef Offset, in invalidateAllIteratorPositionsExcept()
2249 const MemRegion *Cont, in reassignAllIteratorPositions()
2250 const MemRegion *NewCont) { in reassignAllIteratorPositions()
2261 const MemRegion *Cont, in reassignAllIteratorPositionsUnless()
2262 const MemRegion *NewCont, in reassignAllIteratorPositionsUnless()