Searched refs:frontModifiable (Results 1 – 1 of 1) sorted by relevance
101 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg);418 if (hasSubscriptOperator(State, ContReg) && frontModifiable(State, ContReg)) { in handlePushBack()575 if (frontModifiable(State, ContReg)) { in handleInsert()607 if (frontModifiable(State, ContReg)) { in handleErase()642 if (frontModifiable(State, ContReg)) { in handleErase()792 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg) { in frontModifiable() function