[Bug tree-optimization/79666] [5/6 Regression] wrong code (SIGFPE) at -O2 on x86_64-linux-gnu (in both 32-bit and 64-bit modes)

[rguenth at gcc dot gnu.org]

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

--- Comment #8 from Richard Biener  ---
Author: rguenth
Date: Tue Mar 14 12:57:08 2017
New Revision: 246122

URL: https://gcc.gnu.org/viewcvs?rev=246122=gcc=rev
Log:
2017-03-14  Richard Biener  

Backport from mainline
2016-05-02  Jakub Jelinek  

PR middle-end/80004
PR target/49244
* gimple.c (gimple_builtin_call_types_compatible_p): Allow
char/short arguments promoted to int because of promote_prototypes.

2017-03-09  Richard Biener  

PR tree-optimization/79977
* graphite-scop-detection.c (scop_detection::merge_sese):
Handle the case of extra exits to blocks dominating the entry.

* gcc.dg/graphite/pr79977.c: New testcase.

2017-03-09  Richard Biener  

PR middle-end/79971
* gimple-expr.c (useless_type_conversion_p): Preserve
TYPE_SATURATING for fixed-point types.

* gcc.dg/fixed-point/pr79971.c: New testcase.

2017-03-06  Richard Biener  

PR fortran/79894
* trans.c (gfc_add_modify_loc): Weaken assert.

2017-03-02  Richard Biener  

PR c/79756
* c-common.c (c_common_mark_addressable_vec): Look through
C_MAYBE_CONST_EXPR.

* gcc.dg/vector-1.c: New testcase.

2017-02-22  Richard Biener  

PR tree-optimization/79666
* tree-vrp.c (extract_range_from_binary_expr_1): Make sure
to not symbolically negate if that may introduce undefined
overflow.

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

2017-02-17  Richard Biener  

PR middle-end/79576
* params.def (max-ssa-name-query-depth): Limit to 10.

Added:
branches/gcc-6-branch/gcc/testsuite/gcc.dg/fixed-point/pr79971.c
branches/gcc-6-branch/gcc/testsuite/gcc.dg/graphite/pr79977.c
branches/gcc-6-branch/gcc/testsuite/gcc.dg/torture/pr79666.c
branches/gcc-6-branch/gcc/testsuite/gcc.dg/vector-1.c
Modified:
branches/gcc-6-branch/gcc/ChangeLog
branches/gcc-6-branch/gcc/c-family/ChangeLog
branches/gcc-6-branch/gcc/c-family/c-common.c
branches/gcc-6-branch/gcc/fortran/ChangeLog
branches/gcc-6-branch/gcc/fortran/trans.c
branches/gcc-6-branch/gcc/gimple-expr.c
branches/gcc-6-branch/gcc/gimple.c
branches/gcc-6-branch/gcc/graphite-scop-detection.c
branches/gcc-6-branch/gcc/params.def
branches/gcc-6-branch/gcc/testsuite/ChangeLog
branches/gcc-6-branch/gcc/tree-vrp.c

[Bug tree-optimization/79666] [5/6 Regression] wrong code (SIGFPE) at -O2 on x86_64-linux-gnu (in both 32-bit and 64-bit modes)

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

   Priority|P1  |P2
  Known to work||7.0
Summary|[5/6/7 Regression] wrong|[5/6 Regression] wrong code
   |code (SIGFPE) at -O2 on |(SIGFPE) at -O2 on
   |x86_64-linux-gnu (in both   |x86_64-linux-gnu (in both
   |32-bit and 64-bit modes)|32-bit and 64-bit modes)

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