[Bug ada/29781] -O3 -gnatVa triggers a bug box on working Dragonchess code

[laurent at guerby dot net]

------- Comment #1 from laurent at guerby dot net  2006-11-10 19:21 -------
Confirmed on 4.1.1, 4.1.2 and 4.0.3:

$ gcc -c -O3 -gnatVa iterate_moves.adb
+===========================GNAT BUG DETECTED==============================+
| 4.1.1 (x86_64-unknown-linux-gnu) GCC error:                              |
| in simplify_cond_and_lookup_avail_expr, at tree-ssa-dom.c:2111           |

$ gcc -c -O3 -gnatVa iterate_moves.adb
+===========================GNAT BUG DETECTED==============================+
| 4.1.2 20060928 (prerelease) (Ubuntu 4.1.1-15ubuntu1) (x86_64-pc-linux-gnu)
GCC error:|
| in simplify_cond_and_lookup_avail_expr, at tree-ssa-dom.c:2111           |


$ gcc -c -O3 -gnatVa iterate_moves.adb
+===========================GNAT BUG DETECTED==============================+
| 4.0.3 (x86_64-unknown-linux-gnu) GCC error:                              |
| in simplify_cond_and_lookup_avail_expr, at tree-ssa-dom.c:2119           |

I don't have earlier versions handy, with what version did it work?

But this compiles fine on 4.2.0 20061102 (prerelease) and 4.3.0 20061102
(experimental).


-- 

laurent at guerby dot net changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2006-11-10 19:21:45
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29781