[Bug analyzer/124375] [14/15/16 Regression] ICE when compiling glibc with -fanalyzer

[arjun at shankar dot eu via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124375

--- Comment #2 from Arjun Shankar <arjun at shankar dot eu> ---
Here's another reproducer:

int __wcslen_spec, __wcslen_offset;
void *__wcslen_ptr;
long __wcslen() {
  &&do_form_binary;
  __wcslen_offset =
      __wcslen_spec ? &&do_form_unknown - &&do_form_unknown : L' ';
  __wcslen_ptr = &&do_form_unknown + __wcslen_offset;
  goto *__wcslen_ptr;
do_form_binary:
do_form_unknown:
}