[Bug middle-end/91977] missing -Wstringop-overflow on memcpy into a pointer plus offset

2019-10-04 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91977

Martin Sebor  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED
   Target Milestone|--- |10.0

--- Comment #3 from Martin Sebor  ---
Patch committed in r276603.

[Bug middle-end/91977] missing -Wstringop-overflow on memcpy into a pointer plus offset

2019-10-04 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91977

--- Comment #2 from Martin Sebor  ---
Author: msebor
Date: Fri Oct  4 21:29:41 2019
New Revision: 276603

URL: https://gcc.gnu.org/viewcvs?rev=276603=gcc=rev
Log:
PR middle-end/91977 - missing -Wstringop-overflow on memcpy into a pointer plus
offset

gcc/ChangeLog:

PR middle-end/91977
* tree-ssa-strlen.c (count_nonzero_bytes): Handle assignments with
MEM_REF right operand.  Avoid failing for MEM_REF assignments from
uninitialized objects.

gcc/testsuite/ChangeLog:

PR middle-end/91977
* gcc.dg/Wstringop-overflow-18.c: New test.


Added:
trunk/gcc/testsuite/gcc.dg/Wstringop-overflow-18.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/gcc.dg/Warray-bounds-18.c
trunk/gcc/tree-ssa-strlen.c

[Bug middle-end/91977] missing -Wstringop-overflow on memcpy into a pointer plus offset

2019-10-03 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91977

Martin Sebor  changed:

   What|Removed |Added

   Keywords||patch

--- Comment #1 from Martin Sebor  ---
Patch: https://gcc.gnu.org/ml/gcc-patches/2019-10/msg00258.html

[Bug middle-end/91977] missing -Wstringop-overflow on memcpy into a pointer plus offset

2019-10-02 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91977

Martin Sebor  changed:

   What|Removed |Added

   Keywords||diagnostic
 Status|UNCONFIRMED |ASSIGNED
   Last reconfirmed||2019-10-02
   Assignee|unassigned at gcc dot gnu.org  |msebor at gcc dot 
gnu.org
 Ever confirmed|0   |1