https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114708
--- Comment #4 from GCC 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:e29af8de31ba4b73dcee82917c8cec60d53dfa82 commit r15-1162-ge29af8de31ba4b73dcee82917c8cec60d53dfa82 Author: Eric Botcazou <ebotca...@adacore.com> Date: Mon Jun 10 12:12:21 2024 +0200 Add testcase for PR ada/114708 gcc/testsuite/ PR ada/114708 * gnat.dg/incomplete8.adb: New test.