------- Comment #6 from ebotcazou at gcc dot gnu dot org 2008-07-02 20:20 ------- > The fix would be to not propagate the comparisons if they can throw.
OK, thanks for the tip. The patch to convert Ada to a canonical boolean type is written though (and eliminates the ICE as expected), I'm just waiting for the GDB people to adjust the Ada module. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36554
