https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104355
Bug ID: 104355
Summary: Misleading -Warray-bounds documentation says "always
out of bounds"
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Keywords: documentation
Severity: normal
Priority: P3
Component: middle-end
Assignee: unassigned at gcc dot gnu.org
Reporter: redi at gcc dot gnu.org
Target Milestone: ---
-Warray-bounds
-Warray-bounds=n
This option is only active when -ftree-vrp is active
(default for -O2 and above). It warns about subscripts
to arrays that are always out of bounds. This warning
is enabled by -Wall.
It's not true that it warns for "always out of bounds", as that implies no
false positives.
