re PR tree-optimization/67953 (match.pd: X - (X / Y) * Y wrong on change of sign)
authorMarek Polacek <polacek@redhat.com>
Thu, 15 Oct 2015 09:39:35 +0000 (09:39 +0000)
committerMarek Polacek <mpolacek@gcc.gnu.org>
Thu, 15 Oct 2015 09:39:35 +0000 (09:39 +0000)
commit64da3a9a3f6f01f59be701b3ec55428abb563941
tree5d133cead2c9e7b1ecb400268f2bfd649af8bcdc
parent269ca76f4b95b196558ee8b93828a722ee395196
re PR tree-optimization/67953 (match.pd: X - (X / Y) * Y wrong on change of sign)

PR tree-optimization/67953
* match.pd (X - (X / Y) * Y): Don't change signedness of @0.

* gcc.dg/fold-minus-6.c (fn4): Change the type of A to
unsigned.
* gcc.dg/torture/pr67953.c: New test.

From-SVN: r228839
gcc/ChangeLog
gcc/match.pd
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/fold-minus-6.c
gcc/testsuite/gcc.dg/torture/pr67953.c [new file with mode: 0644]