Searched refs:frontModifiable (Results 1 – 1 of 1) sorted by relevance
326 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg);1303 if (hasSubscriptOperator(State, ContReg) && frontModifiable(State, ContReg)) { in handlePushBack()1445 if (frontModifiable(State, Cont)) { in handleInsert()1471 if (frontModifiable(State, Cont)) { in handleErase()1502 if (frontModifiable(State, Cont)) { in handleErase()1889 bool frontModifiable(ProgramStateRef State, const MemRegion *Reg) { in frontModifiable() function