Summary: | [4.3 Regression] Type checking error with negation | ||
---|---|---|---|
Product: | gcc | Reporter: | Richard Biener <rguenth> |
Component: | middle-end | Assignee: | Richard Biener <rguenth> |
Status: | RESOLVED FIXED | ||
Severity: | normal | CC: | gcc-bugs |
Priority: | P3 | Keywords: | ice-checking, ice-on-valid-code |
Version: | 4.3.0 | ||
Target Milestone: | 4.3.0 | ||
Host: | Target: | ||
Build: | Known to work: | ||
Known to fail: | Last reconfirmed: | 2007-10-08 12:22:21 |
Description
Richard Biener
2007-10-08 12:22:11 UTC
Mine. 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 Fixed. |