Cross Reference: /external/clang/lib/StaticAnalyzer/Core/MemRegion.cpp

Lines Matching refs:svalBuilder
24 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
179 DefinedOrUnknownSVal TypedValueRegion::getExtent(SValBuilder &svalBuilder) const {
180   ASTContext &Ctx = svalBuilder.getContext();
184     return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this));
189   QualType sizeTy = svalBuilder.getArrayIndexType();
190   return svalBuilder.makeIntVal(size.getQuantity(), sizeTy);
193 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const {
198   DefinedOrUnknownSVal Extent = DeclRegion::getExtent(svalBuilder);
203     QualType T = getDesugaredValueType(svalBuilder.getContext());
212 DefinedOrUnknownSVal AllocaRegion::getExtent(SValBuilder &svalBuilder) const {
213   return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this));
216 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const {
217   return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this));
220 DefinedOrUnknownSVal StringRegion::getExtent(SValBuilder &svalBuilder) const {
221   return svalBuilder.makeIntVal(getStringLiteral()->getByteLength()+1,
222                                 svalBuilder.getArrayIndexType());
OpenGrok
