> The exception generating routine will never return but does > the current GCC knows about that fact? That is it knows for sure > that after the "end if" X in [bound1 ..bound2] is true? Yes, the routine is marked as "noreturn". -- Eric Botcazou