Lines Matching refs:MemRegion

55                               const MemRegion *ContReg,
105 bool hasSubscriptOperator(ProgramStateRef State, const MemRegion *Reg);
106 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg);
107 bool backModifiable(ProgramStateRef State, const MemRegion *Reg);
108 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont);
109 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont);
111                                      const MemRegion *Cont, const Expr *E,
114 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont,
118 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,
121                                                const MemRegion *Cont);
124                                      const MemRegion *Cont, SymbolRef Offset,
135                                              const MemRegion *Cont,
136                                              const MemRegion *NewCont);
138                                                    const MemRegion *Cont,
139                                                    const MemRegion *NewCont,
147 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont);
702                                                const MemRegion *ContReg,  in getChangeTag()
768                                       const MemRegion *Reg) {  in getCXXRecordDecl()
785 bool hasSubscriptOperator(ProgramStateRef State, const MemRegion *Reg) {  in hasSubscriptOperator()
801 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg) {  in frontModifiable()
816 bool backModifiable(ProgramStateRef State, const MemRegion *Reg) {  in backModifiable()
831 SymbolRef getContainerBegin(ProgramStateRef State, const MemRegion *Cont) {  in getContainerBegin()
839 SymbolRef getContainerEnd(ProgramStateRef State, const MemRegion *Cont) {  in getContainerEnd()
848                                      const MemRegion *Cont, const Expr *E,  in createContainerBegin()
870 ProgramStateRef createContainerEnd(ProgramStateRef State, const MemRegion *Cont,  in createContainerEnd()
893 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,  in setContainerData()
931                                                const MemRegion *Cont) {  in invalidateAllIteratorPositions()
943                                      const MemRegion *Cont, SymbolRef Offset,  in invalidateAllIteratorPositionsExcept()
983                                              const MemRegion *Cont,  in reassignAllIteratorPositions()
984                                              const MemRegion *NewCont) {  in reassignAllIteratorPositions()
995                                                    const MemRegion *Cont,  in reassignAllIteratorPositionsUnless()
996                                                    const MemRegion *NewCont,  in reassignAllIteratorPositionsUnless()
1044 bool hasLiveIterators(ProgramStateRef State, const MemRegion *Cont) {  in hasLiveIterators()