[Bug tree-optimization/83075] [8 Regression] Invalid strncpy optimization

2017-12-07 Thread jakub at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83075

--- Comment #6 from Jakub Jelinek  ---
Author: jakub
Date: Thu Dec  7 23:55:18 2017
New Revision: 255485

URL: https://gcc.gnu.org/viewcvs?rev=255485=gcc=rev
Log:
PR tree-optimization/83075
* gcc.dg/tree-ssa/strncpy-2.c: Use size_t instead of unsigned, add
separate function with noipa attribute to also verify behavior when
optimizers don't know the sizes and aliasing, verify resulting sizes
and array content.  Add -Wstringop-overflow to dg-options.
* gcc.dg/tree-ssa/strncat.c: Likewise.

Modified:
trunk/gcc/testsuite/ChangeLog
trunk/gcc/testsuite/gcc.dg/tree-ssa/strncat.c
trunk/gcc/testsuite/gcc.dg/tree-ssa/strncpy-2.c

[Bug tree-optimization/83075] [8 Regression] Invalid strncpy optimization

2017-12-06 Thread msebor at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83075

Martin Sebor  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #5 from Martin Sebor  ---
Fixed.

[Bug tree-optimization/83075] [8 Regression] Invalid strncpy optimization

2017-12-06 Thread msebor at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83075

--- Comment #4 from Martin Sebor  ---
Fixed in r255446.

[Bug tree-optimization/83075] [8 Regression] Invalid strncpy optimization

2017-12-06 Thread msebor at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83075

--- Comment #3 from Martin Sebor  ---
Author: msebor
Date: Wed Dec  6 17:47:45 2017
New Revision: 255446

URL: https://gcc.gnu.org/viewcvs?rev=255446=gcc=rev
Log:
PR tree-optimization/83075 - Invalid strncpy optimization

gcc/ChangeLog:

PR tree-optimization/83075
* tree-ssa-strlen.c (handle_builtin_stxncpy): Avoid assuming
strncat/strncpy don't change length of source string.

gcc/testsuite/ChangeLog:

PR tree-optimization/83075
* gcc.dg/tree-ssa/strncat.c: New test.
* gcc.dg/tree-ssa/strncpy-2.c: Same.

Added:
trunk/gcc/testsuite/gcc.dg/tree-ssa/strncat.c
trunk/gcc/testsuite/gcc.dg/tree-ssa/strncpy-2.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-strlen.c

[Bug tree-optimization/83075] [8 Regression] Invalid strncpy optimization

2017-11-20 Thread msebor at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83075

Martin Sebor  changed:

   What|Removed |Added

   Keywords||patch

--- Comment #2 from Martin Sebor  ---
Fix: https://gcc.gnu.org/ml/gcc-patches/2017-11/msg01800.html

[Bug tree-optimization/83075] [8 Regression] Invalid strncpy optimization

2017-11-20 Thread msebor at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83075

Martin Sebor  changed:

   What|Removed |Added

   Keywords||wrong-code
 Status|UNCONFIRMED |ASSIGNED
   Last reconfirmed||2017-11-20
   Assignee|unassigned at gcc dot gnu.org  |msebor at gcc dot 
gnu.org
 Ever confirmed|0   |1

--- Comment #1 from Martin Sebor  ---
Good catch!

[Bug tree-optimization/83075] [8 Regression] Invalid strncpy optimization

2017-11-20 Thread jakub at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83075

Jakub Jelinek  changed:

   What|Removed |Added

   Priority|P3  |P1
 CC||msebor at gcc dot gnu.org
   Target Milestone|--- |8.0