https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100934
--- Comment #15 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-9 branch has been updated by Richard Biener <rgue...@gcc.gnu.org>: https://gcc.gnu.org/g:e89b09601907f3f3ba6c988ebef7b978af40b83a commit r9-9769-ge89b09601907f3f3ba6c988ebef7b978af40b83a Author: Richard Biener <rguent...@suse.de> Date: Mon Jun 14 14:57:26 2021 +0200 tree-optimization/100934 - properly mark irreducible regions for DOM The jump threading code requires marked irreducible regions for the purpose of validating jump threading paths but DOM fails to provide that resulting in mised number of iteration upper bounds clearing. 2021-06-14 Richard Biener <rguent...@suse.de> PR tree-optimization/100934 * tree-ssa-dom.c (pass_dominator::execute): Properly mark irreducible regions. * gcc.dg/torture/pr100934.c: New testcase. (cherry picked from commit 788bb7edb3975b80c4cb16323e7a5e55a2471e46)