[Bug middle-end/33694] [4.3 Regression] Type checking error with negation
rguenth at gcc dot gnu dot org
gcc-bugzilla@gcc.gnu.org
Mon Oct 8 14:45:00 GMT 2007
------- Comment #2 from rguenth at gcc dot gnu dot org 2007-10-08 14:44 -------
Subject: Bug 33694
Author: rguenth
Date: Mon Oct 8 14:44:14 2007
New Revision: 129128
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129128
Log:
2007-10-08 Richard Guenther <rguenther@suse.de>
PR middle-end/33691
PR middle-end/33694
PR middle-end/33696
* fold-const.c (fold_binary): Use the correct types when
folding (A | CST1) & CST2 to (A & CST2) | (CST1 & CST2).
(fold_binary): Use the correct types when folding
(-A) - B to (-B) - A.
(fold_unary): Use the correct types when folding ~(X).
* gcc.dg/pr33691.c: New testcase.
* gcc.dg/pr33694.c: Likewise.
* gcc.dg/pr33696.c: Likewise.
Added:
trunk/gcc/testsuite/gcc.dg/pr33691.c
trunk/gcc/testsuite/gcc.dg/pr33694.c
trunk/gcc/testsuite/gcc.dg/pr33696.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/fold-const.c
trunk/gcc/testsuite/ChangeLog
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33694
More information about the Gcc-bugs
mailing list