http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60174
--- Comment #8 from Bernd Edlinger <bernd.edlinger at hotmail dot de> --- (In reply to Richard Biener from comment #7) > Ok, I believe this is caused by some jump-threading threading over a copy of > an SSA name used in abnormal context. You can try verifying if > -fno-tree-dominator-opts fixes this (maybe you also need -fno-tree-vrp, not > sure) Yes, if I add -fno-tree-dominator-opts (_before_ -largs) to the gnatmake command line, the ICE is gone, and the test case PASSES.
