https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85420
--- Comment #4 from Jakub Jelinek ---
(In reply to Franz Sirl from comment #3)
> Hmm, this maybe creduce'd too much, the original source reads more like
>
>strcpy(b, b + a + 10);
>
> which would be only UB for sure if strlen(b + a + 10) >=
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85420
--- Comment #3 from Franz Sirl ---
Hmm, this maybe creduce'd too much, the original source reads more like
strcpy(b, b + a + 10);
which would be only UB for sure if strlen(b + a + 10) >= 9, or?
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85420
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org
--- Comment #2
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85420
--- Comment #1 from Franz Sirl ---
Created attachment 43951
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=43951&action=edit
C++ testcase
