Lines Matching defs:State
28 DefinedOrUnknownSVal getDynamicExtent(ProgramStateRef State,
32 if (const DefinedOrUnknownSVal *Size = State->get<DynamicExtentMap>(MR))
61 getDynamicElementCount(ProgramStateRef State, SVal Size,
63 SValBuilder &SVB = State->getStateManager().getSValBuilder();
66 SVB.evalBinOp(State, BO_Div, Size, ElementSize, SVB.getArrayIndexType())
71 DefinedOrUnknownSVal getDynamicElementCount(ProgramStateRef State,
82 return getDynamicElementCount(State, getDynamicExtent(State, MR, SVB),
86 SVal getDynamicExtentWithOffset(ProgramStateRef State, SVal BufV) {
87 SValBuilder &SVB = State->getStateManager().getSValBuilder();
100 DefinedOrUnknownSVal ExtentInBytes = getDynamicExtent(State, BaseRegion, SVB);
102 return SVB.evalBinOp(State, BinaryOperator::Opcode::BO_Sub, ExtentInBytes,
106 DefinedOrUnknownSVal getDynamicElementCountWithOffset(ProgramStateRef State,
113 SValBuilder &SVB = State->getStateManager().getSValBuilder();
118 return getDynamicElementCount(State, getDynamicExtentWithOffset(State, BufV),
122 ProgramStateRef setDynamicExtent(ProgramStateRef State, const MemRegion *MR,
127 return State;
129 return State->set<DynamicExtentMap>(MR->StripCasts(), Size);