[Bug ada/113815] New: error: there is no applicable operator "*" for a string type (possible regression)

[Bug ada/113815] New: error: there is no applicable operator "*" for a string type (possible regression)

[p.p11 at orange dot fr]

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

            Bug ID: 113815
           Summary: error: there is no applicable operator "*" for a
                    string type (possible regression)
           Product: gcc
           Version: 13.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: p.p11 at orange dot fr
                CC: dkm at gcc dot gnu.org
  Target Milestone: ---

Created attachment 57351
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57351&action=edit
Reproducer.

Result with GCC 13.2:

$ gcc -v -c -gnatX test_20200613_decl.adb 
...
gcc version 13.2.0 (GCC) 
...
test_20200613_decl.adb:30:40: warning: value not in range of type
"Roman_Number" defined at line 15 [enabled by default]
test_20200613_decl.adb:30:40: warning: Constraint_Error will be raised at run
time [enabled by default]
test_20200613_decl.adb:35:33: error: there is no applicable operator "*" for a
string type


Expected result with GCC 12:
$ gcc -v -c -gnatX test_20200613_decl.adb 
...
gcc version 12.2.0 (GCC) 
...

No error nor warning.

See test_20200613_decl.adb in attached file.

[Bug ada/113815] error: there is no applicable operator "*" for a string type

[ebotcazou at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
            Summary|error: there is no          |error: there is no
                   |applicable operator "*" for |applicable operator "*" for
                   |a string type (possible     |a string type
                   |regression)                 |
             Status|UNCONFIRMED                 |RESOLVED
   Target Milestone|---                         |13.3
                 CC|                            |ebotcazou at gcc dot gnu.org

--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Yes, but already fixed on 13 branch and mainline.  Note that I get the warning
with all the compilers (GCC 12.x, GCC 13.x and mainline).