[Bug ada/60174] ICE on ACATS cc3305a

[bernd.edlinger at hotmail dot de]

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.