[Bug other/111288] New: formatting mistake in HTML documentation

[Bug other/111288] New: formatting mistake in HTML documentation

[bruno at clisp dot org]

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

            Bug ID: 111288
           Summary: formatting mistake in HTML documentation
           Product: gcc
           Version: 13.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: other
          Assignee: unassigned at gcc dot gnu.org
          Reporter: bruno at clisp dot org
  Target Milestone: ---

Created attachment 55839
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55839&action=edit
proposed fix

In https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html the
declarations of the last 6 functions are not well formatted: the highlighted
token is "int" or "long", not the name of the built-in.

The attached patch fixes it. I'm also attaching the rendering before and after
the patch is applied.

[Bug other/111288] formatting mistake in HTML documentation

[bruno at clisp dot org]

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

--- Comment #1 from Bruno Haible <bruno at clisp dot org> ---
Created attachment 55840
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55840&action=edit
Rendering before applying the fix

[Bug other/111288] formatting mistake in HTML documentation

[bruno at clisp dot org]

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

--- Comment #2 from Bruno Haible <bruno at clisp dot org> ---
Created attachment 55841
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=55841&action=edit
Rendering after applying the fix

[Bug other/111288] formatting mistake in HTML documentation

[pinskia at gcc dot gnu.org]

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

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
patches should be posted to gcc-patches@ after reading
https://gcc.gnu.org/contribute.html

[Bug other/111288] formatting mistake in HTML documentation

[bruno at clisp dot org]

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

--- Comment #4 from Bruno Haible <bruno at clisp dot org> ---
My proposed patch is a correction to commit
2b4e0415ad664cdb3ce87d1f7eee5ca26911a05b by Jakub Jelinek.

> patches should be posted to gcc-patches@ after reading https://gcc.gnu.org/contribute.html

I do have a copyright assigment for GCC in place. But I don't have time to
follow the entire procedure. Maybe someone else can take over, from this point?

[Bug other/111288] formatting mistake in HTML documentation

[redi at gcc dot gnu.org]

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

Jonathan Wakely <redi at gcc dot gnu.org> changed:

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

--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> ---
If you have an assignment in place then all you need to do is send the patch to
the gcc-patches list.

[Bug other/111288] formatting mistake in HTML documentation

[bruno at clisp dot org]

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

Bruno Haible <bruno at clisp dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #6 from Bruno Haible <bruno at clisp dot org> ---
A fix that includes my patch has been applied by Jakub Jelinek on 2023-12-01:
https://gcc.gnu.org/git/?p=gcc.git;a=commitdiff;h=ff99671ac3ea583a9d65c8c3cd3ff4aad1d68592

This bug report is therefore FIXED.

[Bug other/111288] formatting mistake in HTML documentation

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |14.0