------- Additional Comments From laurent at guerby dot net 2005-06-17 17:05 ------- For reference ACATS FAIL with the same ICE are cxg1003 and cxg2007.
/home/guerby/work/gcc/build/build-20050617T085204/gcc/xgcc -c -B/home/guerby/work/gcc/build/build-20050617T085204/gcc/ -gnatws -O2 -I/home/guerby/work/gcc/build/build-20050617T085204/gcc/testsuite/ada/acats/support cxg1003.adb cxg1003.adb: In function 'CXG1003': cxg1003.adb:63: error: Statement makes a memory store, but has no V_MAY_DEFS nor V_MUST_DEFS IMAGPART_EXPR <tc_complex_507> = SR.373_64; +===========================GNAT BUG DETECTED==============================+ | 4.1.0 20050617 (experimental) (x86_64-unknown-linux-gnu) GCC error: | | verify_ssa failed. | | Error detected at cxg1003.adb:478:5 | /home/guerby/work/gcc/build/build-20050617T085204/gcc/xgcc -c -B/home/guerby/work/gcc/build/build-20050617T085204/gcc/ -gnatws -O2 -I/home/guerby/work/gcc/build/build-20050617T085204/gcc/testsuite/ada/acats/support cxg2007.adb cxg2007.adb: In function 'CXG2007': cxg2007.adb:68: error: Statement makes a memory store, but has no V_MAY_DEFS nor V_MUST_DEFS IMAGPART_EXPR <z_523> = SR.460_62; +===========================GNAT BUG DETECTED==============================+ | 4.1.0 20050617 (experimental) (x86_64-unknown-linux-gnu) GCC error: | | verify_ssa failed. | | Error detected at cxg2007.adb:291:5 | -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22103
