public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug middle-end/104355] New: Misleading -Warray-bounds documentation says "always out of bounds"
@ 2022-02-02 20:44 redi at gcc dot gnu.org
2022-02-02 21:21 ` [Bug middle-end/104355] " pinskia at gcc dot gnu.org
` (6 more replies)
0 siblings, 7 replies; 8+ messages in thread
From: redi at gcc dot gnu.org @ 2022-02-02 20:44 UTC (permalink / raw)
To: gcc-bugs
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.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug middle-end/104355] Misleading -Warray-bounds documentation says "always out of bounds"
2022-02-02 20:44 [Bug middle-end/104355] New: Misleading -Warray-bounds documentation says "always out of bounds" redi at gcc dot gnu.org
@ 2022-02-02 21:21 ` pinskia at gcc dot gnu.org
2022-02-08 22:17 ` msebor at gcc dot gnu.org
` (5 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: pinskia at gcc dot gnu.org @ 2022-02-02 21:21 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104355
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Last reconfirmed| |2022-02-02
Ever confirmed|0 |1
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug middle-end/104355] Misleading -Warray-bounds documentation says "always out of bounds"
2022-02-02 20:44 [Bug middle-end/104355] New: Misleading -Warray-bounds documentation says "always out of bounds" redi at gcc dot gnu.org
2022-02-02 21:21 ` [Bug middle-end/104355] " pinskia at gcc dot gnu.org
@ 2022-02-08 22:17 ` msebor at gcc dot gnu.org
2022-02-08 22:17 ` msebor at gcc dot gnu.org
` (4 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: msebor at gcc dot gnu.org @ 2022-02-08 22:17 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104355
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |msebor at gcc dot gnu.org
--- Comment #2 from Martin Sebor <msebor at gcc dot gnu.org> ---
The documentation is also incorrect about the warning being only active with
-ftree-vrp. A small subset of -Warray-bounds is issued even without
optimization. For example the following warning(s) have been issued since GCC
4.1:
$ cat a.c && gcc -S -Wall a.c
int f (void)
{
return __builtin_strlen ("123" + 5);
}
a.c: In function ‘f’:
a.c:3:34: warning: offset ‘5’ outside bounds of constant string
[-Warray-bounds]
3 | return __builtin_strlen ("123" + 5);
| ~~~~~~^~~
a.c:3:10: warning: offset ‘5’ outside bounds of constant string
[-Warray-bounds]
3 | return __builtin_strlen ("123" + 5);
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug middle-end/104355] Misleading -Warray-bounds documentation says "always out of bounds"
2022-02-02 20:44 [Bug middle-end/104355] New: Misleading -Warray-bounds documentation says "always out of bounds" redi at gcc dot gnu.org
2022-02-02 21:21 ` [Bug middle-end/104355] " pinskia at gcc dot gnu.org
2022-02-08 22:17 ` msebor at gcc dot gnu.org
@ 2022-02-08 22:17 ` msebor at gcc dot gnu.org
2022-02-11 0:00 ` msebor at gcc dot gnu.org
` (3 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: msebor at gcc dot gnu.org @ 2022-02-08 22:17 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104355
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org
Status|NEW |ASSIGNED
--- Comment #3 from Martin Sebor <msebor at gcc dot gnu.org> ---
Let me update the manual.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug middle-end/104355] Misleading -Warray-bounds documentation says "always out of bounds"
2022-02-02 20:44 [Bug middle-end/104355] New: Misleading -Warray-bounds documentation says "always out of bounds" redi at gcc dot gnu.org
` (2 preceding siblings ...)
2022-02-08 22:17 ` msebor at gcc dot gnu.org
@ 2022-02-11 0:00 ` msebor at gcc dot gnu.org
2022-02-14 22:55 ` cvs-commit at gcc dot gnu.org
` (2 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: msebor at gcc dot gnu.org @ 2022-02-11 0:00 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104355
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |patch
--- Comment #4 from Martin Sebor <msebor at gcc dot gnu.org> ---
Patch: https://gcc.gnu.org/pipermail/gcc-patches/2022-February/590233.html
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug middle-end/104355] Misleading -Warray-bounds documentation says "always out of bounds"
2022-02-02 20:44 [Bug middle-end/104355] New: Misleading -Warray-bounds documentation says "always out of bounds" redi at gcc dot gnu.org
` (3 preceding siblings ...)
2022-02-11 0:00 ` msebor at gcc dot gnu.org
@ 2022-02-14 22:55 ` cvs-commit at gcc dot gnu.org
2024-01-19 4:34 ` sandra at gcc dot gnu.org
2024-01-20 17:18 ` pinskia at gcc dot gnu.org
6 siblings, 0 replies; 8+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2022-02-14 22:55 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104355
--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Martin Sebor <msebor@gcc.gnu.org>:
https://gcc.gnu.org/g:7a1b179b08bc802280ca90ed4c6c8d8b25503e66
commit r12-7234-g7a1b179b08bc802280ca90ed4c6c8d8b25503e66
Author: Martin Sebor <msebor@redhat.com>
Date: Mon Feb 14 15:40:25 2022 -0700
Update -Warray-bounds documentation [PR104355].
Resolves:
PR middle-end/104355 - Misleading and outdated -Warray-bounds documentation
gcc/ChangeLog:
PR middle-end/104355
* doc/invoke.texi (-Warray-bounds): Update documentation.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug middle-end/104355] Misleading -Warray-bounds documentation says "always out of bounds"
2022-02-02 20:44 [Bug middle-end/104355] New: Misleading -Warray-bounds documentation says "always out of bounds" redi at gcc dot gnu.org
` (4 preceding siblings ...)
2022-02-14 22:55 ` cvs-commit at gcc dot gnu.org
@ 2024-01-19 4:34 ` sandra at gcc dot gnu.org
2024-01-20 17:18 ` pinskia at gcc dot gnu.org
6 siblings, 0 replies; 8+ messages in thread
From: sandra at gcc dot gnu.org @ 2024-01-19 4:34 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104355
sandra at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|ASSIGNED |RESOLVED
CC| |sandra at gcc dot gnu.org
--- Comment #6 from sandra at gcc dot gnu.org ---
Looks like this was fixed by Martin's commit 2 years ago, closing now.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug middle-end/104355] Misleading -Warray-bounds documentation says "always out of bounds"
2022-02-02 20:44 [Bug middle-end/104355] New: Misleading -Warray-bounds documentation says "always out of bounds" redi at gcc dot gnu.org
` (5 preceding siblings ...)
2024-01-19 4:34 ` sandra at gcc dot gnu.org
@ 2024-01-20 17:18 ` pinskia at gcc dot gnu.org
6 siblings, 0 replies; 8+ messages in thread
From: pinskia at gcc dot gnu.org @ 2024-01-20 17:18 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104355
Andrew Pinski <pinskia at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |12.0
^ permalink raw reply [flat|nested] 8+ messages in thread
end of thread, other threads:[~2024-01-20 17:18 UTC | newest]
Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-02-02 20:44 [Bug middle-end/104355] New: Misleading -Warray-bounds documentation says "always out of bounds" redi at gcc dot gnu.org
2022-02-02 21:21 ` [Bug middle-end/104355] " pinskia at gcc dot gnu.org
2022-02-08 22:17 ` msebor at gcc dot gnu.org
2022-02-08 22:17 ` msebor at gcc dot gnu.org
2022-02-11 0:00 ` msebor at gcc dot gnu.org
2022-02-14 22:55 ` cvs-commit at gcc dot gnu.org
2024-01-19 4:34 ` sandra at gcc dot gnu.org
2024-01-20 17:18 ` pinskia at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).