https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115178
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- So for this warning GCC does not keep track of what the possible values can be done for the computed gotos. GCC thinks all labels which have their address can be taken are targets for a computed goto as a simple way to implement this warning (it is also done that way for the CFG later on too).