https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111600
--- Comment #11 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:f194c684a28a5d449bd034a2c604d04ba465e4fe commit r14-4308-gf194c684a28a5d449bd034a2c604d04ba465e4fe Author: Richard Biener <rguent...@suse.de> Date: Thu Sep 28 11:51:30 2023 +0200 target/111600 - avoid deep recursion in access diagnostics pass_waccess::check_dangling_stores uses recursion to traverse the CFG. The following changes this to use a heap allocated worklist to avoid blowing the stack. Instead of using a better iteration order it tries hard to preserve the current iteration order to avoid new false positives to pop up since the set of stores we keep track isn't properly modeling flow, so what is diagnosed and what not is quite random. We are also lacking the ideal RPO compute on the inverted graph that would just ignore reverse unreachable code (as the current iteration scheme does). PR target/111600 * gimple-ssa-warn-access.cc (pass_waccess::check_dangling_stores): Use a heap allocated worklist for CFG traversal instead of recursion.