Searched refs:getExtent (Results 1 – 10 of 10) sorted by relevance
453 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { in getExtent() function494 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;555 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;788 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;823 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;1027 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override;
167 DefinedOrUnknownSVal TypedValueRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent() function in TypedValueRegion181 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent() function in FieldRegion186 DefinedOrUnknownSVal Extent = DeclRegion::getExtent(svalBuilder); in getExtent()200 DefinedOrUnknownSVal AllocaRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent() function in AllocaRegion204 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent() function in SymbolicRegion208 DefinedOrUnknownSVal StringRegion::getExtent(SValBuilder &svalBuilder) const { in getExtent() function in StringRegion
833 SVal Extent = Top->getExtent(SVB); in collectSubRegionBindings()1351 SVal Size = cast<SubRegion>(R)->getExtent(svalBuilder); in getSizeInElements()
89 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); in evalCall()
113 SVal extent = SR->getExtent(svalBuilder); in checkPreStmt()
170 state->getRegion(VD, LC)->getExtent(svalBuilder); in checkPreStmt()
180 rawOffset.getRegion()->getExtent(svalBuilder); in checkLocation()
234 MR->getExtent(C.getSValBuilder())); in analyzerGetExtent()
299 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder)); in CheckLocation()904 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder)); in IsFirstBufInBound()1038 DefinedOrUnknownSVal Extent = SubReg->getExtent(svalBuilder); in memsetAux()
1140 DefinedOrUnknownSVal Extent = Region->getExtent(svalBuilder); in addExtentSize()1277 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); in MallocMemAux()