GNU C / Clang support an extension where the address of a label can be taken as a value and assigned to a variable, and then jumped to using goto.
https://gcc.gnu.org/onlinedocs/gcc/Labels-as-Values.html

For example, this small test program:

int main(void)
{
int r;
foo:
r = 4;

void *f = &&foo;

goto *f;

return 0;

}

causes the following errors from FlexeLint:

--- Module: main.c (C)
_
void *f = &&foo;
main.c 8 Error 24: Expected an expression, found '&&'
main.c 8 Error 40: Undeclared identifier 'foo'
_
goto *f;
main.c 11 Error 10: Expecting identifier

Is there some combination of flags that can be used to check code using this extension, or does lint support it somehow?