Extended Description

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(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 #11143 , 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.