intel/llvm
1
0
Fork 0
mirror of https://github.com/intel/llvm.git synced 2026-01-26 21:53:12 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fix assertion failure on -Warray-bounds for 32-bit builds of Clang.

Browse Source 
llvm-svn: 125821
This commit is contained in:
Ted Kremenek
2011-02-18 02:27:00 +00:00
parent 14a552b2d7
commit a7ced2cb4c
2 changed files with 10 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
clang/lib/Sema/SemaChecking.cpp
View File

@@ -3109,11 +3109,14 @@ void Sema::CheckArrayAccess(const clang::ArraySubscriptExpr *E) {
return;
if (!index.isNegative()) {
const llvm::APInt &size = ArrayTy->getSize();
llvm::APInt size = ArrayTy->getSize();
if (!size.isStrictlyPositive())
return;
if (size.getBitWidth() > index.getBitWidth())
index = index.sext(size.getBitWidth());
else if (size.getBitWidth() < index.getBitWidth())
size = size.sext(index.getBitWidth());
if (index.slt(size))
return;

6
clang/test/SemaCXX/array-bounds.cpp
View File

@@ -85,3 +85,9 @@ int test_no_warn_macro_unreachable() {
ARR_IN_MACRO(1, arr, SIZE); // expected-warning{{array index of '10' indexes past the end of an array (that contains 10 elements)}}
}
// This exhibited an assertion failure for a 32-bit build of Clang.
int test_pr9240() {
short array[100]; // expected-note {{array 'array' declared here}}
return array[(unsigned long long) 100]; // expected-warning {{array index of '100' indexes past the end of an array (that contains 100 elements)}}
}