GCC PR 114127 refers.
Using GCC 14.0.1 prerelease, building for STM32F4291, we get a bug box in framebuffer_ili9341.ads because ili9341-device.adb has pragma Ada_2022.
Putting the pragma in the spec (ili9341-device.ads) doesn’t help. Building with -gnat2022 does.