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.

Reply via email to