Searched refs:frontModifiable (Results 1 – 1 of 1) sorted by relevance
115 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg);432 if (hasSubscriptOperator(State, ContReg) && frontModifiable(State, ContReg)) { in handlePushBack()589 if (frontModifiable(State, ContReg)) { in handleInsert()621 if (frontModifiable(State, ContReg)) { in handleErase()656 if (frontModifiable(State, ContReg)) { in handleErase()806 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg) { in frontModifiable() function