Searched refs:setContainerData (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ContainerModeling.cpp | 118 ProgramStateRef setContainerData(ProgramStateRef State, const MemRegion *Cont,
337 State = setContainerData(State, ContReg, CData->newEnd(NewEndSym)); in handleAssignment()
339 State = setContainerData(State, ContReg, in handleAssignment()
356 setContainerData(State, ContReg, CData->newBegin(OldBeginSym)); in handleAssignment()
358 State = setContainerData(State, ContReg, in handleAssignment()
362 setContainerData(State, OldContReg, OldCData->newBegin(nullptr)); in handleAssignment()
452 State = setContainerData(State, ContReg, CData->newEnd(newEndSym)); in handlePushBack()
487 State = setContainerData(State, ContReg, CData->newEnd(nullptr)); in handlePopBack()
492 State = setContainerData(State, ContReg, CData->newEnd(newEndSym)); in handlePopBack()
526 State = setContainerData(State, ContReg, CData->newBegin(newBeginSym)); in handlePushFront()
[all …]
|