Searched refs:frontModifiable (Results 1 – 1 of 1) sorted by relevance
106 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg);423 if (hasSubscriptOperator(State, ContReg) && frontModifiable(State, ContReg)) { in handlePushBack()580 if (frontModifiable(State, ContReg)) { in handleInsert()612 if (frontModifiable(State, ContReg)) { in handleErase()647 if (frontModifiable(State, ContReg)) { in handleErase()801 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg) { in frontModifiable() function