https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107060
--- Comment #4 from David Malcolm <dmalcolm at gcc dot gnu.org> --- (In reply to David Malcolm from comment #3) > perf shows that 64% of the time is taken by this ctor: > shortest_paths<ana::eg_traits, ana::exploded_path>::shortest_paths This is in the "find shortest feasible path for a diagnostic" code. FWIW, adding -fno-analyzer-feasibility reduces the time for me from 10 minutes to about 4.5 minutes (better, but still far too slow), and makes it emit a false positive. I'm investigating where the slowdowns are.