http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49189
--- Comment #7 from William J. Schmidt 2011-05-27
13:30:03 UTC ---
Author: wschmidt
Date: Fri May 27 13:29:57 2011
New Revision: 174331
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=174331
Log:
Index: gcc/ChangeLog
==
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49189
--- Comment #5 from Richard Guenther 2011-05-27
13:13:34 UTC ---
Author: rguenth
Date: Fri May 27 13:13:28 2011
New Revision: 174330
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=174330
Log:
2011-05-27 Richard Guenther
PR middle-
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49189
Richard Guenther changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49189
--- Comment #4 from Richard Guenther 2011-05-27
11:21:09 UTC ---
The old code did not re-fold in
/* If we have (type) (a CMP b) and type is an integral type, return
new expression involving the new type. */
if (COMPARISON_C
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49189
--- Comment #3 from Richard Guenther 2011-05-27
11:13:11 UTC ---
fold_truth_not_expr canonicalizes !(A & 1) to (A & 1) == 0 but fold_binary
canonicalizes bool == 0 to !bool. A recipie for recursion.
fold_truth_not_expr
doesn't re-fold its resul
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49189
Richard Guenther changed:
What|Removed |Added
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed|
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49189
--- Comment #1 from Eric Botcazou 2011-05-27
10:56:33 UTC ---
Created attachment 24367
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24367
Concatenated testcase
Run gnatchop on the file. Suitable for inclusion in the gnat.dg testsuite.
