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.
A fix is up for review: https://reviews.llvm.org/D71714
Landed the following commit commit e48f444751cf781c42934b242b81f549da77bad0 Author: Ilya Mirsky <ilya.mirsky@ericsson.com> Date: Sun Jan 17 18:02:44 2021 -0600 [Sema] Fix -Warray-bounds false negative when casting an out-of-bounds array item Patch by Ilya Mirsky! Fixes: http://llvm.org/PR44343 Reviewed By: rsmith Differential Revision: https://reviews.llvm.org/D71714 rsmith requested to carefully watch this change, and be prepared to revert if necessary. Closing this ticket for now.