diff options
| -rw-r--r-- | clang/lib/Analysis/RegionStore.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp index cdc8b2723d1..73b25955c14 100644 --- a/clang/lib/Analysis/RegionStore.cpp +++ b/clang/lib/Analysis/RegionStore.cpp @@ -273,6 +273,8 @@ SVal RegionStoreManager::getSizeInElements(const GRState* St, if (const StringRegion* SR = dyn_cast<StringRegion>(R)) { const StringLiteral* Str = SR->getStringLiteral(); + // We intentionally made the size value signed because it participates in + // operations with signed indices. return NonLoc::MakeVal(getBasicVals(), Str->getByteLength(), false); } |
