Allow the "size" of a buffer access check to be either signed or unsigned. Fixes PR7925.

llvm-svn: 111205
This commit is contained in:
Jordy Rose 2010-08-16 23:25:19 +00:00
parent 40a5a7de1d
commit 5ccde8593f
1 changed files with 1 additions and 1 deletions

View File

@ -248,7 +248,7 @@ const GRState *CStringChecker::CheckBufferAccess(CheckerContext &C,
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.