https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116483
--- Comment #11 from Alexander Monakov <amonakov at gcc dot gnu.org> --- > It only handles switch statements, not computed gotos. Oh, right, apologies for misunderstanding your question like that. For computed gotos it is indeed not so easy, especially if there is more than one computed goto in a function.