[Bug ada/115917] New: GNAT fails to bootstrap with LTO and -Werror=lto-type-mismatch due to C_Version_String and gnat_version_string on x86_64-pc-linux-gnu

[Bug ada/115917] New: GNAT fails to bootstrap with LTO and -Werror=lto-type-mismatch due to C_Version_String and gnat_version_string on x86_64-pc-linux-gnu

[arsen at gcc dot gnu.org]

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

            Bug ID: 115917
           Summary: GNAT fails to bootstrap with LTO and
                    -Werror=lto-type-mismatch due to C_Version_String and
                    gnat_version_string on x86_64-pc-linux-gnu
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: arsen at gcc dot gnu.org
                CC: dkm at gcc dot gnu.org
  Target Milestone: ---
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu
             Build: x86_64-pc-linux-gnu

Created attachment 58657
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58657&action=edit
possible (regression untested, but build tested) fix

$summary

I've been using the attached patch as a workaround (or potentially a fix), but
I haven't regression tested it or sent it upstream yet.

../../gcc/gcc/ada/gnatvsn.adb:51:4: warning: type of
‘gnatvsn__c_version_string’ does not match original declaration
[-Wlto-type-mismatch]
   51 |    C_Version_String : char_array (0 .. Ver_Len_Max - 1);
      |    ^
../../gcc/gcc/ada/version.c:34:6: note: array types have different bounds
   34 | char gnat_version_string[] = version_string;
      |      ^
../../gcc/gcc/ada/version.c:34:6: note: ‘gnat_version_string’ was previously
declared here

[Bug ada/115917] GNAT fails to bootstrap with LTO and -Werror=lto-type-mismatch due to C_Version_String and gnat_version_string on x86_64-pc-linux-gnu

[sjames at gcc dot gnu.org]

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

Sam James <sjames at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sjames at gcc dot gnu.org
   Last reconfirmed|                            |2024-08-02
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #1 from Sam James <sjames at gcc dot gnu.org> ---
Seeing this too and the patch WFM. Not regtested.

[Bug ada/115917] GNAT fails to bootstrap with LTO and -Werror=lto-type-mismatch due to C_Version_String and gnat_version_string on x86_64-pc-linux-gnu

[sjames at gcc dot gnu.org]

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

Sam James <sjames at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch

--- Comment #2 from Sam James <sjames at gcc dot gnu.org> ---
Patch tested & posted:
https://inbox.sourceware.org/gcc-patches/20240815171753.1630083-1-arsen@aarsen.me/T/#u

[Bug ada/115917] GNAT fails to bootstrap with LTO and -Werror=lto-type-mismatch due to C_Version_String and gnat_version_string on x86_64-pc-linux-gnu

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Arsen Arsenovic <arsen@gcc.gnu.org>:

https://gcc.gnu.org/g:9cbcf8d1de159e6113fafb5dc2feb4a7e467a302

commit r15-3019-g9cbcf8d1de159e6113fafb5dc2feb4a7e467a302
Author: Arsen ArsenoviÄ <arsen@aarsen.me>
Date:   Thu Aug 15 19:17:41 2024 +0200

    gnat: fix lto-type-mismatch between C_Version_String and
gnat_version_string [PR115917]

    gcc/ada/ChangeLog:

            PR ada/115917
            * gnatvsn.ads: Add note about the duplication of this value in
            version.c.
            * version.c (VER_LEN_MAX): Define to the same value as
            Gnatvsn.Ver_Len_Max.
            (gnat_version_string): Use VER_LEN_MAX as bound.

[Bug ada/115917] GNAT fails to bootstrap with LTO and -Werror=lto-type-mismatch

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
            Summary|GNAT fails to bootstrap     |GNAT fails to bootstrap
                   |with LTO and                |with LTO and
                   |-Werror=lto-type-mismatch   |-Werror=lto-type-mismatch
                   |due to C_Version_String and |
                   |gnat_version_string on      |
                   |x86_64-pc-linux-gnu         |
   Target Milestone|---                         |15.0
         Resolution|---                         |FIXED
                 CC|                            |ebotcazou at gcc dot gnu.org

--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Fixed on mainline.