[Bug tree-optimization/79666] [5/6/7 Regression] wrong code (SIGFPE) at -O2 on x86_64-linux-gnu (in both 32-bit and 64-bit modes)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79666 --- Comment #6 from Richard Biener --- Author: rguenth Date: Wed Feb 22 12:11:27 2017 New Revision: 245648 URL: https://gcc.gnu.org/viewcvs?rev=245648=gcc=rev Log: 2017-02-22 Richard BienerPR 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. Added: trunk/gcc/testsuite/gcc.dg/torture/pr79666.c Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-vrp.c
[Bug tree-optimization/79666] [5/6/7 Regression] wrong code (SIGFPE) at -O2 on x86_64-linux-gnu (in both 32-bit and 64-bit modes)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79666 Richard Biener changed: What|Removed |Added Target Milestone|7.0 |5.5 Summary|[7 Regression] wrong code |[5/6/7 Regression] wrong |(SIGFPE) at -O2 on |code (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 #5 from Richard Biener --- That symbolic expression building exists in GCC 5. Testing patch.