Searched refs:backModifiable (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ContainerModeling.cpp | 106 bool backModifiable(ProgramStateRef State, const MemRegion *Reg);
400 !backModifiable(State, ContReg)) { in handleClear()
485 backModifiable(State, ContReg)) { in handlePopBack()
583 if (hasSubscriptOperator(State, ContReg) && backModifiable(State, ContReg)) { in handleInsert()
615 if (hasSubscriptOperator(State, ContReg) && backModifiable(State, ContReg)) { in handleErase()
650 if (hasSubscriptOperator(State, ContReg) && backModifiable(State, ContReg)) { in handleErase()
820 bool backModifiable(ProgramStateRef State, const MemRegion *Reg) { in backModifiable() function
|