Searched refs:frontModifiable (Results 1 – 1 of 1) sorted by relevance
153 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg);843 if (hasSubscriptOperator(State, ContReg) && frontModifiable(State, ContReg)) { in handlePushBack()986 if (frontModifiable(State, Cont)) { in handleInsert()1012 if (frontModifiable(State, Cont)) { in handleErase()1043 if (frontModifiable(State, Cont)) { in handleErase()1261 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg) { in frontModifiable() function