https://bugs.llvm.org/show_bug.cgi?id=44343
Bug ID: 44343
Summary: -Warray-bounds false negative when casting an
out-of-bounds array item
Product: clang
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: Frontend
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected],
[email protected]
For the following code in array-bounds.cpp
unsigned int arr[2] = {0, 1};
int i1 = arr[4];
int i2 = (int)(arr[4]);
int i3 = static_cast<int>(arr[4]);
Clang warns only for `i1`'s assignment. When the array item is casted, no out
of bounds warning is presented.
$ clang -cc1 -Warray-bounds array-bounds.cpp
array-bounds.cpp:2:10: warning: array index 4 is past the end of the array
(which contains 2 elements)
int i1 = arr[4];
^ ~
array-bounds.cpp:1:1: note: array 'arr' declared here
unsigned int arr[2] = {0, 1};
^
1 warning generated.
This is not a duplicate of PR10771, as in the latter the subscript operator is
applied on the casted array, whereas in this case, the subscript operator is
applied first and then casting applied on the result.
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
