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);