summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2008-11-24 02:30:48 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2008-11-24 02:30:48 +0000
commit8361d4c51bd191f29dca50f5320e9c36955887c4 (patch)
treed9759e7f06f59607861fed08511a7145c1c3a720 /clang/lib/Analysis
parentbf900755d01fa5e497fd918235c143a7801f436f (diff)
downloadbcm5719-llvm-8361d4c51bd191f29dca50f5320e9c36955887c4.tar.gz
bcm5719-llvm-8361d4c51bd191f29dca50f5320e9c36955887c4.zip
Add a comment about the signedness.
llvm-svn: 59932
Diffstat (limited to 'clang/lib/Analysis')
-rw-r--r--clang/lib/Analysis/RegionStore.cpp2
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);
}
OpenPOWER on IntegriCloud