https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93212
David Malcolm <dmalcolm at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2020-01-09 Ever confirmed|0 |1 --- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Confirmed. make_region_for_type doesn't know how to handle a METHOD_TYPE and hits a gcc_unreachable. Note that C++ support is out-of-scope for the analyzer for GCC 10.