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,
333 State = setContainerData(State, ContReg, CData->newEnd(NewEndSym)); in handleAssignment()
335 State = setContainerData(State, ContReg, in handleAssignment()
352 setContainerData(State, ContReg, CData->newBegin(OldBeginSym)); in handleAssignment()
354 State = setContainerData(State, ContReg, in handleAssignment()
358 setContainerData(State, OldContReg, OldCData->newBegin(nullptr)); in handleAssignment()
448 State = setContainerData(State, ContReg, CData->newEnd(newEndSym)); in handlePushBack()
483 State = setContainerData(State, ContReg, CData->newEnd(nullptr)); in handlePopBack()
488 State = setContainerData(State, ContReg, CData->newEnd(newEndSym)); in handlePopBack()
522 State = setContainerData(State, ContReg, CData->newBegin(newBeginSym)); in handlePushFront()
[all …]
|