public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug other/110253] New: The documentation for -ftrapv seems to have an incomplete list of operations
@ 2023-06-14 14:57 gennaro.prota+gccbugzilla at gmail dot com
  2023-06-15  1:44 ` [Bug other/110253] Documentation: possibly incomplete list in the docs of -ftrapv pinskia at gcc dot gnu.org
  2023-06-15  6:29 ` rguenth at gcc dot gnu.org
  0 siblings, 2 replies; 3+ messages in thread
From: gennaro.prota+gccbugzilla at gmail dot com @ 2023-06-14 14:57 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110253

            Bug ID: 110253
           Summary: The documentation for -ftrapv seems to have an
                    incomplete list of operations
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: other
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gennaro.prota+gccbugzilla at gmail dot com
  Target Milestone: ---

The documentation
(<https://gcc.gnu.org/onlinedocs/gcc-13.1.0/gcc/Code-Gen-Options.html>) for
`-ftrapv` states:

-ftrapv

    This option generates traps for signed overflow on addition, subtraction,
multiplication operations.

Is there any reason why division and negation (unary minus) are not mentioned?
If the intent is to check for any signed overflow, I'd suggest not listing the
operations at all, and simply say something like this, instead:

    This option generates traps for signed overflow.

^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug other/110253] Documentation: possibly incomplete list in the docs of -ftrapv
  2023-06-14 14:57 [Bug other/110253] New: The documentation for -ftrapv seems to have an incomplete list of operations gennaro.prota+gccbugzilla at gmail dot com
@ 2023-06-15  1:44 ` pinskia at gcc dot gnu.org
  2023-06-15  6:29 ` rguenth at gcc dot gnu.org
  1 sibling, 0 replies; 3+ messages in thread
From: pinskia at gcc dot gnu.org @ 2023-06-15  1:44 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110253

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
ftrapv also does not always work either ...

^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug other/110253] Documentation: possibly incomplete list in the docs of -ftrapv
  2023-06-14 14:57 [Bug other/110253] New: The documentation for -ftrapv seems to have an incomplete list of operations gennaro.prota+gccbugzilla at gmail dot com
  2023-06-15  1:44 ` [Bug other/110253] Documentation: possibly incomplete list in the docs of -ftrapv pinskia at gcc dot gnu.org
@ 2023-06-15  6:29 ` rguenth at gcc dot gnu.org
  1 sibling, 0 replies; 3+ messages in thread
From: rguenth at gcc dot gnu.org @ 2023-06-15  6:29 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110253

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2023-06-15
     Ever confirmed|0                           |1

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
There's at least a negv optab, there's also [us]divv but that optab isn't
documented.  There's also absv.  There isn't a divv libgcc function.

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2023-06-15  6:29 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-06-14 14:57 [Bug other/110253] New: The documentation for -ftrapv seems to have an incomplete list of operations gennaro.prota+gccbugzilla at gmail dot com
2023-06-15  1:44 ` [Bug other/110253] Documentation: possibly incomplete list in the docs of -ftrapv pinskia at gcc dot gnu.org
2023-06-15  6:29 ` rguenth 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).