[Bug middle-end/78228] [6 Regression] fstrict-overflow breaks code without overflow?

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
  Known to work||6.2.1
 Resolution|--- |FIXED

--- Comment #6 from Richard Biener  ---
Fixed.

[Bug middle-end/78228] [6 Regression] fstrict-overflow breaks code without overflow?

[rguenth at gcc dot gnu.org]

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

--- Comment #5 from Richard Biener  ---
Author: rguenth
Date: Wed Nov 23 14:31:16 2016
New Revision: 242756

URL: https://gcc.gnu.org/viewcvs?rev=242756=gcc=rev
Log:
2016-11-23  Richard Biener  

Backport from mainline
2016-11-23  Richard Biener  

PR lto/78472
* tree.c (gimple_canonical_types_compatible_p): Ignore zero-sized
fields.

lto/
* lto.c (hash_canonical_type): Ignore zero-sized fields.

* g++.dg/lto/pr78472_0.c: New testcase.
* g++.dg/lto/pr78472_1.C: Likewise.

2016-11-17  Richard Biener  

PR middle-end/78305
* fold-const.c (negate_expr_p): Fix multiplication case.

* gcc.dg/torture/pr78305.c: New testcase.

2016-11-16  Richard Biener  

PR middle-end/78333
* gimplify.c (gimplify_function_tree): Do not instrument
GNU extern inline functions.

* gcc.dg/pr78333.c: New testcase.

2016-11-07  Richard Biener  

PR tree-optimization/78228
* tree-ssa-phiopt.c (abs_replacement): Avoid introducing
undefined behavior.

* gcc.dg/tree-ssa/phi-opt-15.c: New testcase.

2016-11-04  Richard Biener  

PR middle-end/78185
* loop-invariant.c (find_exits): Record entering inner
loops as possibly exiting to handle infinite sub-loops.
* tree-ssa-loop-im.c: Include tree-ssa-loop-niter.h.
(fill_always_executed_in_1): Honor infinite child loops.

* gcc.dg/pr78185.c: New testcase.

2016-10-06  Richard Biener  

PR tree-optimization/77855
* tree-ssa-pre.c (prune_clobbered_mems): Queue exprs to remove
instead of removing the current item while iterating over the set
which is not safe.

* gcc.dg/torture/pr77855.c: New testcase.

Added:
branches/gcc-6-branch/gcc/testsuite/g++.dg/lto/pr78472_0.c
branches/gcc-6-branch/gcc/testsuite/g++.dg/lto/pr78472_1.C
branches/gcc-6-branch/gcc/testsuite/gcc.dg/pr78185.c
branches/gcc-6-branch/gcc/testsuite/gcc.dg/pr78333.c
branches/gcc-6-branch/gcc/testsuite/gcc.dg/torture/pr77855.c
branches/gcc-6-branch/gcc/testsuite/gcc.dg/torture/pr78305.c
branches/gcc-6-branch/gcc/testsuite/gcc.dg/tree-ssa/phi-opt-15.c
Modified:
branches/gcc-6-branch/gcc/ChangeLog
branches/gcc-6-branch/gcc/fold-const.c
branches/gcc-6-branch/gcc/gimplify.c
branches/gcc-6-branch/gcc/loop-invariant.c
branches/gcc-6-branch/gcc/lto/ChangeLog
branches/gcc-6-branch/gcc/lto/lto.c
branches/gcc-6-branch/gcc/testsuite/ChangeLog
branches/gcc-6-branch/gcc/tree-ssa-loop-im.c
branches/gcc-6-branch/gcc/tree-ssa-phiopt.c
branches/gcc-6-branch/gcc/tree-ssa-pre.c
branches/gcc-6-branch/gcc/tree.c

[Bug middle-end/78228] [6 Regression] fstrict-overflow breaks code without overflow?

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

  Known to work||7.0
Summary|[6/7 Regression]|[6 Regression]
   |fstrict-overflow breaks |fstrict-overflow breaks
   |code without overflow?  |code without overflow?

--- Comment #4 from Richard Biener  ---
Fixed on trunk sofar.