https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109005
--- Comment #26 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Eric Botcazou <ebotca...@gcc.gnu.org>: https://gcc.gnu.org/g:67839c562779081936cb79ebca156ef43d70f65f commit r13-6660-g67839c562779081936cb79ebca156ef43d70f65f Author: Eric Botcazou <ebotca...@adacore.com> Date: Tue Mar 14 11:28:24 2023 +0100 Add testcase for ifcvt fix gcc/testsuite/ PR tree-optimization/109005 * gnat.dg/specs/opt6.ads: New test.