projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f4f841) | patch
re PR tree-optimization/79666 (wrong code (SIGFPE) at -O2 on x86_64-linux-gnu (in...
authorRichard Biener <rguenther@suse.de>
Wed, 22 Feb 2017 12:11:27 +0000 (12:11 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Wed, 22 Feb 2017 12:11:27 +0000 (12:11 +0000)
commita9c774d2ae7c0ae983aa33fd53d34ef054dbee5a
tree8a5ad3859902304523759d96288cf70c11359104tree
parent8f4f841a3e443d7de88fcb76075eb3003f280bd7commit | diff
re PR tree-optimization/79666 (wrong code (SIGFPE) at -O2 on x86_64-linux-gnu (in both 32-bit and 64-bit modes))

2017-02-22  Richard Biener  <rguenther@suse.de>

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.

From-SVN: r245648
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/torture/pr79666.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | history