> Hmm, the point is of couse to not allow transitions that could form a > cycle, which is why the reverse transition is not allowed. > > Let me have a closer look here.
You can reproduce on your favorite platform by locally copying the system.ads from gcc/ada/rts in your build tree and turning ZCX_By_Default to False. -- Eric Botcazou