Author: jrose
Date: Mon Aug 16 18:25:19 2010
New Revision: 111205
URL: http://llvm.org/viewvc/llvm-project?rev=111205&view=rev
Log:
Allow the "size" of a buffer access check to be either signed or unsigned.
Fixes PR7925.
Modified:
cfe/trunk/lib/Checker/CStringChecker.cpp
Modified: cfe/trunk/lib/Checker/CStringChecker.cpp
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Checker/CStringChecker.cpp?rev=111205&r1=111204&r2=111205&view=diff
==============================================================================
--- cfe/trunk/lib/Checker/CStringChecker.cpp (original)
+++ cfe/trunk/lib/Checker/CStringChecker.cpp Mon Aug 16 18:25:19 2010
@@ -248,7 +248,7 @@
SValuator &SV = VM.getSValuator();
ASTContext &Ctx = C.getASTContext();
- QualType SizeTy = Ctx.getSizeType();
+ QualType SizeTy = Size->getType();
QualType PtrTy = Ctx.getPointerType(Ctx.CharTy);
// Check that the first buffer is non-null.
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
