https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89786
--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Eric Botcazou <[email protected]>: https://gcc.gnu.org/g:e19652b295165894ec37c8c41db1d8e42ca043f2 commit r17-5676-ge19652b295165894ec37c8c41db1d8e42ca043f2 Author: Eric Botcazou <[email protected]> Date: Wed Oct 28 19:45:06 2026 +0100 Ada: Fix assertion checking failure on pathological code The pathological code is from gnat.dg/slice7.adb and involves a slice of an array, which is fabricated by subtracting two integers and interpreting the result as an array... gcc/ada/ PR ada/89786 * gcc-interface/utils.cc (unchecked_convert): Deal specially with the conversion of the result of a binary operation to an array. gcc/testsuite/ * gnat.dg/slice11.adb: New test.
