GCC has a noreturn pragma for this sort of thing. It lets you mark functions as never returning, which can in turn help the optimizer generate code leading up to that function's call sites.