[Bug ada/82813] New: warning: '.builtin_memcpy' writing between 2 and 6 bytes into a region of size 0 overflows the destination [-Wstringop-overflow=]

[marxin at gcc dot gnu.org]

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

            Bug ID: 82813
           Summary: warning: '.builtin_memcpy' writing between 2 and 6
                    bytes into a region of size 0 overflows the
                    destination [-Wstringop-overflow=]
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: charlet at gcc dot gnu.org, msebor at gcc dot gnu.org
  Target Milestone: ---

Created attachment 42536
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42536&action=edit
optimized tree dump

Hello.

Not being sure whether it's real issue or false positive:

   214                    elsif Including_RTS then
   215                       for J in Start .. Sw'Last loop
   216                          if Sw (J) = Directory_Separator then
   217                             Switch :=
   218                               new String'
   219                                 (Sw (1 .. Start - 1)
   220                                  & Parent
   221                                  & Directory_Separator
   222                                  & Sw (Start .. Sw'Last));
   223                             return;
   224                          end if;
   225                       end loop;

Optimized dump is in attachment.