diff options
Diffstat (limited to 'lib/Checker/MemRegion.cpp')
| -rw-r--r-- | lib/Checker/MemRegion.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/Checker/MemRegion.cpp b/lib/Checker/MemRegion.cpp index 6a60a61bfa..b0e57fd251 100644 --- a/lib/Checker/MemRegion.cpp +++ b/lib/Checker/MemRegion.cpp @@ -179,8 +179,9 @@ DefinedOrUnknownSVal DeclRegion::getExtent(ValueManager& ValMgr) const { ASTContext& Ctx = ValMgr.getContext(); QualType T = getDesugaredValueType(Ctx); - // FIXME: Handle variable-length arrays. - if (isa<VariableArrayType>(T) || isa<IncompleteArrayType>(T)) + if (isa<VariableArrayType>(T)) + return nonloc::SymbolVal(ValMgr.getSymbolManager().getExtentSymbol(this)); + if (isa<IncompleteArrayType>(T)) return UnknownVal(); CharUnits Size = Ctx.getTypeSizeInChars(T); |