https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107876
Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |fxcoudert at gcc dot gnu.org --- Comment #7 from Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> --- The test case (g++.dg/tree-ssa/pr107876.C) fails on aarch64-darwin. FAIL: g++.dg/tree-ssa/pr107876.C -std=gnu++14 scan-tree-dump unswitch "unswitching loop 1 on .switch. with condition: i_[0-9]+\\(D\\) == 2" FAIL: g++.dg/tree-ssa/pr107876.C -std=gnu++17 scan-tree-dump unswitch "unswitching loop 1 on .switch. with condition: i_[0-9]+\\(D\\) == 2" FAIL: g++.dg/tree-ssa/pr107876.C -std=gnu++20 scan-tree-dump unswitch "unswitching loop 1 on .switch. with condition: i_[0-9]+\\(D\\) == 2" The output says: ;; Function test17 (_Z6test17i, funcdef_no=0, decl_uid=4194, cgraph_uid=1, symbol_order=0) Estimating # of iterations of loop 1 g++.dg/tree-ssa/pr107876.C:21:7: optimized: unswitching loop 1 on 'if' with condition: i_7(D) == 0 g++.dg/tree-ssa/pr107876.C:21:7: note: optimized sizes estimated to 0 (true) and 0 (false) from original size 16