https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118707
--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Note that -fno-analyzer-state-merge is intended as a debugging feature, to turn off -fanalyzer's state merging logic, to help troubleshoot bugs in -fanalyzer. Without state merging, analysis is likely to "explode" in terms of CPU and memory usage. Ideally we'd eventually hit one of the safety limits on the graph exploration, but for non-trivial code this could take a very long time.
