From: "François Dumont" <frs.dumont@gmail.com>
To: Jonathan Wakely <jwakely@redhat.com>
Cc: libstdc++ <libstdc++@gcc.gnu.org>
Subject: Re: PR 108846 regression
Date: Wed, 5 Apr 2023 19:03:07 +0200 [thread overview]
Message-ID: <dc9aed06-dad2-44fc-82b3-94a2ca591189@gmail.com> (raw)
In-Reply-To: <CACb0b4niT5JJqztD3pM1ALbgmk1SETomCs4Nkc52B0TOK55p+A@mail.gmail.com>
On 03/04/2023 22:06, Jonathan Wakely wrote:
> On Mon, 3 Apr 2023 at 21:00, François Dumont via Libstdc++
> <libstdc++@gcc.gnu.org> wrote:
>> After a full rebuild and run of testsuite based on master I have this
>> regression:
>>
>> FAIL: 23_containers/vector/bool/allocator/copy.cc (test for excess errors)
>> Excess errors:
>> /home/fdumont/dev/gcc/build/x86_64-pc-linux-gnu/libstdc++-v3/include/bits/stl_algobase.h:437:
>> warning: 'void* __builtin_memmove(void*, const void*, long unsigned
>> int)' writing between 9 and 9223372036854775807 bytes into a region of
>> size 8 overflows the destination [-Wstringop-overflow=]
>>
>> It comes from the change related to PR 108846, revision
>> 822a11a1e642e0abe92a996e7033a5066905a447
>>
>> The compiler seems to have enough info to find out that destination
>> memory area is 8 bytes large but not enough to see that _Num is 1 and so
>> never going to call the __builtin_memmove. Maybe a compiler bug.
> Yes, it's a compiler bug:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109353
>
>> I'm working on a patch to restore previous code when src and dst pointer
>> types are the same.
> How will that avoid the PR 108846 problem of overwriting tail padding?
Indeed, test cases have shown me that copy was called with pointers on
the same type. No way to find out that the fix is not necessary in this
case.
We just need to wait for the compiler to be fixed then.
Bests
prev parent reply other threads:[~2023-04-05 17:03 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-04-03 19:59 François Dumont
2023-04-03 20:06 ` Jonathan Wakely
2023-04-05 17:03 ` François Dumont [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=dc9aed06-dad2-44fc-82b3-94a2ca591189@gmail.com \
--to=frs.dumont@gmail.com \
--cc=jwakely@redhat.com \
--cc=libstdc++@gcc.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).